Math 2.0

statement proposition

Totient of a prime

Statement

Let pp be a prime number. Then φ(p)=p−1\varphi(p) = p - 1, where φ\varphi is Euler's totient function.

Remarks

The proof: the only divisors of pp are 11 and pp. So each of 1,…,p−11, \dots, p - 1 is coprime to pp, and pp is not. The converse holds: if n>1n > 1 and φ(n)=n−1\varphi(n) = n - 1, then nn is prime. The result is the case k=1k = 1 of the totient of a prime power.

Explanations

L1 human

For a prime pp, each number from 11 to p−1p - 1 has no common factor with pp. For example, φ(7)=6\varphi(7) = 6, because 1,2,3,4,5,61, 2, 3, 4, 5, 6 are all coprime to 77.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 6 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Divisibility definition
  2. Greatest common divisor definition
  3. Prime number definition
  4. Coprime integers definition
  5. Euler's totient function definition
  6. Totient of a prime statement

Sources

  1. Web https://en.wikipedia.org/wiki/Euler%27s_totient_function, Value of phi for a prime power argument