statement proposition
If G modulo its centre is cyclic then G is abelian
Statement
Let be a group with centre . If the quotient group is cyclic, then is abelian.
Remarks
Let generate ; then each element of is with and , and two such elements commute. In that case , so in fact is trivial. A consequence is that is never cyclic of order greater than . For example, the centre of a group never has prime index.
Explanations
L1 human
If the elements of are powers of one element, up to central elements, then all elements commute. Powers of one element commute with each other, and central elements commute with everything. So the quotient by the centre cannot be a nontrivial cyclic group.
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 14 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Group concept
- Centre of a group definition
- Conjugate elements definition
- Laws of exponents in a group statement
- Subgroup definition
- Conjugate subgroup definition
- Cyclic subgroup generated by an element definition
- Left coset definition
- Right coset definition
- Cyclic group definition
- Normal subgroup definition
- Normality via left and right cosets statement
- Quotient group definition
- If G modulo its centre is cyclic then G is abelian statement
What depends on this
1 node uses this node, directly or through other nodes.
- Groups of order p squared are abelian 09JZ9P4899
Sources
What links here
Used by
- Groups of order p squared are abelian 09JZ9P4899