Math 2.0

statement proposition

If G modulo its centre is cyclic then G is abelian

Statement

Let GG be a group with centre Z(G)Z(G). If the quotient group G/Z(G)G/Z(G) is cyclic, then GG is abelian.

Remarks

Let gZ(G)gZ(G) generate G/Z(G)G/Z(G); then each element of GG is gkzg^k z with k∈Zk \in \mathbb{Z} and z∈Z(G)z \in Z(G), and two such elements commute. In that case G=Z(G)G = Z(G), so in fact G/Z(G)G/Z(G) is trivial. A consequence is that G/Z(G)G/Z(G) is never cyclic of order greater than 11. For example, the centre of a group never has prime index.

Explanations

L1 human

If the elements of GG 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.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Group concept
  2. Centre of a group definition
  3. Conjugate elements definition
  4. Laws of exponents in a group statement
  5. Subgroup definition
  6. Conjugate subgroup definition
  7. Cyclic subgroup generated by an element definition
  8. Left coset definition
  9. Right coset definition
  10. Cyclic group definition
  11. Normal subgroup definition
  12. Normality via left and right cosets statement
  13. Quotient group definition
  14. 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.

Sources

  1. Web https://en.wikipedia.org/wiki/Center_(group_theory), Examples