7
$\begingroup$

I frequently see the notation

$1\to N\to G\to Q\to 1$.

Wikipedia explains that this is the notation to describe situation where there is an injective map from $N$ to $G$ called $i$ and $G/i(N)\cong Q$. It says that if $N\subset Z(G)$ then it is called central extension and if $N$ is cyclic, then this is called successive cyclic extension.

Why is there $1$ on the end in this notation and why is this notation important? I was just learning about supersolvable group and nilpotent group, and this notation seems out of context. Can you explain a little bit of context with simple terms without using Galois extension?

$\endgroup$
3
  • 9
    $\begingroup$ The key word here is "short exact sequence". $\endgroup$
    – cqfd
    Commented Nov 26, 2020 at 1:44
  • $\begingroup$ The context is that it happens frequently that $G$ is very complicated but there is a (non-complicated) normal subgroup $N$ such that $Q=G/N$ is affordable. So the question is what does $N$ and $G/N$ tell us about $G$, and can we construct all the possible $G$, which leads to the cohomology stuffs. The two simplest cases are when $N$ is in the center and when $Q$ is isomorphic to subgroup $Q'\le G$ such that $Q'\cap N= \{1\}$. $\endgroup$
    – reuns
    Commented Nov 26, 2020 at 1:50
  • $\begingroup$ @reuns: I am quite sure that by "$Q=G/N$ is affordable", you just mean "$Q$ is not too complicated to consider"; but given the sheer number of adjectives that can apply to groups, I wouldn't be surprised if there was a serious technical answer to the question, "what is an affordable group?". $\endgroup$
    – Will R
    Commented Nov 26, 2020 at 11:36

2 Answers 2

24
$\begingroup$

Short exact sequences

That's what's called a "short exact sequence", and the notation only really makes sense in light of exact sequences more generally. We say a sequence of groups and homomorphisms between them like

$$ \dots \to G_{-1} \to G_{0} \to G_{1} \to G_{2} \to \dots $$

is exact if the kernel of the map from $G_k$ to $G_{k+1}$ is the image of the map from $G_{k-1}$ to $G_k$ for each $k$. This turns out to be a useful concept, but explaining why it's useful is, I think, out of scope.

A special case of this is an exact sequence like the one in your question

$$ 1 \to N \xrightarrow{f} G \xrightarrow {g} Q \to 1.$$

The claim that this sequence is exact tells you three things:

(1) The image of the map $1 \to N$ is the kernel of the map $N \xrightarrow{f} G$. Since the image is trivial that means $f$ is injective.

(2) The image of the map $N \xrightarrow{f} G$ is the kernel of the map $G \xrightarrow {g} Q.$ That is, $\operatorname{im} f$ (which is a copy of $N$ in $G$) inside $G$ is $\ker g$.

(3) The image of the map $G \xrightarrow {g} Q$ is the kernel of the map $Q \to 1$. Since the kernel is all of $Q$, that means $g$ is surjective.

So this can be summarized as follows: The sequence

$$ 1 \to N \xrightarrow{f} G \xrightarrow {g} Q \to 1.$$

is said to be a short exact sequence if $f$ is injective, $g$ is surjective, and $\operatorname{im} f = \ker g$. The only special role that the $1$'s play in this is that they are convenient ways to indicate that $f$ is injective and that $g$ is surjective, given that we are talking in terms of exact sequences anyway. The fact that these claims fit nicely into the framework of exact sequences is part of what makes the framework useful, but it's not useful in an obvious way until you've worked with it a bit, especially if you're only touching short exact sequences.

Special examples of this:

  • If $g:G \to H$ is any surjective map, then $1 \to \ker g \xrightarrow{f} G \xrightarrow {g} H \to 1$ is a short exact sequence, where $f: \ker g \to G$ is the inclusion map.

  • If $N$ is a normal subgroup of $G$, then $1 \to N \xrightarrow{f} G \xrightarrow {g} G/N \to 1$ is a short exact sequence, where $f$ is the inclusion map and $g$ is the obvious projection map.

But you don't have to use short exact sequences to talk about group extensions.

Group extensions

A group extension of a group $H$ is a group $G$ together with a surjective map $\pi: G \to H$. The extension is said to be central if $\ker \pi \subseteq Z(G)$. It's said to be cyclic if $\ker \pi$ is cyclic, etc.

The basic idea is that elements of $G$ are elements of $H$, but "with some extra information attached". If you started with $G$, you could reconstruct $H$ as a quotient: $H \cong G/\ker \pi.$

The nature of the extra information is, of course, related to what information you forget when you map elements of $G$ down to elements of $H$, i.e. information about the kernel $\ker \pi$. That's why a lot of data about the extension is stated in terms of the kernel: roughly the messier the kernel (and its relationship to $G$), the messier the information you're attaching. The simpler the kernel (and its relationship to $G$), the simpler the information you're attaching.

Group extensions are a basic way of building more complicated groups out of simpler ones. In that sense they're a bit like products of groups, but messier and richer.

$\endgroup$
7
$\begingroup$

The first $1$ indicates that the map $i:N\to G$ is injective. The last that the map from $G$ to $Q$ is surjective. This is because the sequence is exact. That's the kernel of each map is the image of the previous one.

The sequence is called a short exact sequence, and an extension is a super-group, or a group that contains another as a subgroup.

We get $G/i(N)\cong Q$ by the first isomorphism theorem.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .