Definition of "succession of central extensions of abelian groups"

269 Views Asked by At

What is the meaning of the phrase: "A group $G$ can be realized as a succession of central extensions of abelian groups"?

1

There are 1 best solutions below

2
On

A group $G$ is an extension of $K$ by $H$ (where $K$ and $H$ are groups) if and only if there is a normal subgroup $N\triangleleft G$ such that $N\cong K$ and $G/N\cong H$.

We summarize this by writing $$1 \to K \to G \to H \to 1$$ and saying that the sequence is "exact" (that means that the image of each morphism indicated by an arrow is equal to the kernel of the morphism indicated by the next arrow).

We say that $G$ is a central extension of $K$ by $H$ if and only if there is a central subgroup $N\subseteq Z(G)$ (which is therefore necessarily normal) such that $N\cong K$ and $G/N\cong H$. Necessarily, $K$ must be abelian, but $H$ need not be abelian.

We say that $G$ is a **central extension of abelian groups if $G$ is a central extension of $K$ by $H$, and both $K$ and $H$ are abelian. $G$ may or may not be abelian when it is a central extension of abelian groups. For example, $C_2\otimes C_2$ is a central extension of $C_2$ by $C_2$; and the nonabelian group of order $p^3$ is a central extension of $C_p$ by $C_p\times C_p$ (and is not abelian).

The phrase you suggest is a bit odd, I think; because reading it literally, being a "succession of central extensions of abelian groups" seems to me to be exactly the same as "a central extension of abelian groups". Could you give a citation and context?