Group theory and generalizations Definition
Cyclic group
Builds on Cyclic subgroup generated by an element
Definition
A group is cyclic when there is an element with , where is the cyclic subgroup generated by . Such an element is called a generator of .
Remarks
The group is cyclic, and its generators are and . The integers modulo under addition form a cyclic group of order , generated by . A cyclic group can have many generators: in the integers modulo , the generators are the residues coprime to . The circle group is not cyclic, because it is uncountable.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Laws of exponents in a group statement
- Subgroup definition
- Cyclic subgroup generated by an element definition
- Cyclic group definition
Where this leads
31 pages build on this one.
- Infinite cyclic group
- Subgroups of a finite cyclic group correspond to divisors of its order
- Cyclic groups are abelian
- Groups of prime order are cyclic
- Classification of finite simple groups
- Cyclic groups of the same order are isomorphic
- Classification of finite abelian groups
- Product of cyclic groups is cyclic iff the orders are coprime
- Groups of order p squared are abelian
- If G modulo its centre is cyclic then G is abelian
- Cyclic group of order n
- Automorphism group of a cyclic group
- Abelian simple groups have prime order
- Subgroups of cyclic groups are cyclic
- A finite abelian group is cyclic iff its exponent equals its order
- The group of units of Z/pZ is cyclic
- Structure theorem for finitely generated abelian groups
- Subgroups of the integers
- Number of elements of each order in a cyclic group
- Groups of order pq
- Integers modulo n as a quotient group
- Proof that cyclic groups are abelian
- Integers modulo n form a cyclic group
- Lattice-ordered group
- Proof that groups of prime order are cyclic
- Galois group of a finite field extension
- Cyclic extension
- Structure theorem for compactly generated LCA groups
- Left-orderable group
- Torsion-free group
- Orderable group
Further reading
- Web https://en.wikipedia.org/wiki/Cyclic_group, Definition and notation
About this page
| Tag | 0B85Q41RP6 |
|---|---|
| URI | m2://0B85Q41RP6 |
| Kind | definition |
| Writing | W2 usable |
| MSC | 20A05 |
| Defines | Cyclic group |
| Uses | Cyclic subgroup generated by an element |
Markdown · JSON · Edit on GitHub
What this page needs for W3
- explanations for the audience (1 of 3)
- a person confirmed each agent-written section: rule P04 (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Infinite cyclic group
- Subgroups of a finite cyclic group correspond to divisors of its order
- Cyclic groups are abelian
- Groups of prime order are cyclic
- Classification of finite simple groups
- Cyclic groups of the same order are isomorphic
- Classification of finite abelian groups
- Product of cyclic groups is cyclic iff the orders are coprime
- If G modulo its centre is cyclic then G is abelian
- Cyclic group of order n
- Automorphism group of a cyclic group
- Abelian simple groups have prime order
- Subgroups of cyclic groups are cyclic
- A finite abelian group is cyclic iff its exponent equals its order
- The group of units of Z/pZ is cyclic
- Number of elements of each order in a cyclic group
- Proof that cyclic groups are abelian
- Integers modulo n form a cyclic group
- Proof that groups of prime order are cyclic
- Galois group of a finite field extension
- Cyclic extension