The group of units of Z/pZ is cyclic
Builds on Group of units of Z/nZCyclic groupOrder of the group of units of Z/nZ is Euler's totient
Statement
Let be a prime number. Then the group is cyclic of order .
Remarks
So is isomorphic to the additive group , but no simple general formula for a generator is known. A generator is a primitive root modulo , and there are of them. For , the powers of modulo are , so is a primitive root modulo . More generally, is cyclic if and only if is , , , or for an odd prime . Gauss first proved this.
Reading path
To understand this page from the ground up, read these 17 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Binary operation definition
- Group concept
- Group of units of Z/nZ object
- Associativity definition
- Identity element definition
- Laws of exponents in a group statement
- Order of a group definition
- Subgroup definition
- Semigroup definition
- Inverse element definition
- Cyclic subgroup generated by an element definition
- Monoid definition
- Cyclic group definition
- Group of units of a monoid definition
- Units of Z/nZ are the residues coprime to n statement
- Order of the group of units of Z/nZ is Euler's totient statement
- The group of units of Z/pZ is cyclic statement
Further reading
About this page
| Tag | 0QTHB6PE52 |
|---|---|
| URI | m2://0QTHB6PE52 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 11A07, 20K01 |
| Status | This copy of the site has no build data. Run m2 status 0QTHB6PE52. |
| Uses | Group of units of Z/nZ, Cyclic group, Order of the group of units of Z/nZ is Euler's totient |
Markdown · JSON · Edit on GitHub
What this page 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 page is. They do not measure its truth.
What links here
No page links to this page yet.