statement corollary
Groups of prime order are cyclic
Statement
Let be a prime number and let be a group of order . Then is cyclic, and each element of other than the identity generates .
Remarks
If , then the order of is greater than and divides by Lagrange's theorem, so it is . Thus each group of order is isomorphic to . A group of prime order has no subgroups except and itself.
Explanations
L1 human
When the size of a group is a prime, there is no room for proper subgroups other than the trivial one. Any element other than the identity generates a subgroup larger than , so it generates everything. Thus, for example, each group with elements is a clock with hours.
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 11 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Group concept
- Lagrange's theorem statement
- Laws of exponents in a group statement
- Order of a group definition
- Subgroup definition
- Order of an element definition
- Cyclic subgroup generated by an element definition
- g to the n equals 1 iff the order divides n statement
- Cyclic group definition
- Order of a cyclic subgroup equals the order of its generator statement
- Groups of prime order are cyclic statement
Sources
What links here
No node links to this node yet.