Central and Cyclic Sources of Normal Subgroups

OVERVIEW

Some normal subgroups arise from special locations inside the group . The centre is the most important source, because elements of the centre commute with every element of the group . Cyclic subgroups also require careful treatment: a cyclic subgroup need not be normal merely because it is cyclic, but it is normal when its generator lies in the centre. In this lesson we separate valid central arguments from invalid cyclic shortcuts. This distinction is important because students often overgeneralise from abelian groups and assume that cyclic subgroups are automatically normal.

THEOREM

(G,\circ)

PROOF

(G,\circ)

COROLLARY

(G,\circ)

PROOF

(G,\circ)

EXAMPLE

G

THEOREM

(G,\circ)

PROOF

\langle a\rangle

LEMMA

C

PROOF

C

THEOREM

(G,\circ)

PROOF

(G,\circ)

THEOREM

(G,\circ)

PROOF

(G,\circ)

SOLVED PROBLEM

G

SOLUTION

x\in G

We compare three different reasons a cyclic subgroup might be normal. A central generator gives a guaranteed normal subgroup, while a cyclic subgroup with a noncentral generator may fail normality. If a cyclic subgroup is already known to be normal, then all of its subgroups inherit normality. Use the choices to keep the central argument distinct from the invalid shortcut that every cyclic subgroup must be normal.

Dynamic Sandbox

Initializing Workspace

The safe conclusion depends on the hypothesis. A central generator proves normality immediately, while a merely cyclic subgroup still requires a separate normality check.

G

Initializing Workspace

EXERCISE

Z(G)

ANSWER

H\leq Z(G)

3 Questions

S_3

One useful condition is that the generator lies in the centre of the group.

Conjugation acts as an automorphism of the cyclic subgroup, and cyclic subgroups have automorphism-invariant subgroups.

Learn how normal subgroups behave under intersections and products.