Order of an element
Definition
Let be a group with identity element , and let . When there is a positive integer with , the order of is the smallest such . When there is no such , the element has infinite order. The notation for the order of is or .
Remarks
The identity element is the only element of order . In , each nonzero element has infinite order. In the multiplicative group , the element has order and the element has order . In a finite group, each element has finite order, and the order of equals the order of the subgroup that generates.
Explanations
L1 human
Take an element and multiply it by itself again and again. The order is the number of steps that you need to come back to the identity for the first time. For a rotation by degrees, you need steps, so its order is .
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 3 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Group concept
- Laws of exponents in a group statement
- Order of an element definition
What depends on this
34 nodes use this node, directly or through other nodes.
- A finite group is nilpotent iff it is the product of its Sylow subgroups 00Y9N80VSS
- Order of a cyclic subgroup equals the order of its generator 031M8HX7DA
- Subgroups of a finite cyclic group correspond to divisors of its order 0423TXR9AN
- Groups of prime order are cyclic 05MM4EK4SA
- P-group 06DAH3VS6M
- Cyclic groups of the same order are isomorphic 0736AXH2ME
- Classification of finite abelian groups 07CQR9BW3R
- Finite p-groups are nilpotent 081WTKYX6C
- Product of cyclic groups is cyclic iff the orders are coprime 08FDFEF8D1
- Order of an element divides the order of the group 08V7JHS3QZ
- Fixed points of a p-group action 098D2E7DEH
- Second Sylow theorem 09GCQ5STVJ
- Groups of order p squared are abelian 09JZ9P4899
- The number of Sylow subgroups is the index of the normaliser 09ZJ6CAK7S
- Order of a permutation is the lcm of its cycle lengths 0DH7HMXP9F
- g to the n equals 1 iff the order divides n 0F5QC101Q7
- Exponent of a group 0FCCTFA275
- Automorphism group of a cyclic group 0G4C8SJ6PV
- Abelian simple groups have prime order 0JJV80RXHD
- Cauchy's theorem 0JM7PA288B
- Sylow p-subgroup 0JWZX6FKSH
- The number of Sylow subgroups divides the index 0M3PYJ3TSE
- A finite abelian group is cyclic iff its exponent equals its order 0MC0AQZSHE
- Order of an inverse 0PMT9YJZVW
- Third Sylow theorem 0Q8DGAZSJ4
- Frattini argument 0QTZDKJEDV
- Torsion subgroup 0RH1TPDGCQ
- Structure theorem for finitely generated abelian groups 0RY0B72XAS
- A nontrivial finite p-group has nontrivial centre 0RZCTT30H5
- First Sylow theorem 0V98WY94B8
- Order of a power 0VVPQNVM8S
- Number of elements of each order in a cyclic group 0XCYGCCX8V
- Groups of order pq 0YBR6QPY4Y
- g to the order of the group is the identity 0ZEPNS9BXK
Sources
- Web https://en.wikipedia.org/wiki/Order_(group_theory), lead section
What links here
Used by
- Order of a cyclic subgroup equals the order of its generator 031M8HX7DA
- P-group 06DAH3VS6M
- Product of cyclic groups is cyclic iff the orders are coprime 08FDFEF8D1
- Order of a permutation is the lcm of its cycle lengths 0DH7HMXP9F
- g to the n equals 1 iff the order divides n 0F5QC101Q7
- Exponent of a group 0FCCTFA275
- Cauchy's theorem 0JM7PA288B
- A finite abelian group is cyclic iff its exponent equals its order 0MC0AQZSHE
- Order of an inverse 0PMT9YJZVW
- Torsion subgroup 0RH1TPDGCQ
- Order of a power 0VVPQNVM8S