2
$\begingroup$

I was toying with solvable Lie algebras when I stumbled upon a fact that I can't make sense out of, and I suspect I made an error.

I will be talking about groups here, because this is a category that's more familiar to most people.

We know that abelianization has universal property: let $f: G \to A$ be a morphism from a group $G$ to an abelian group $A$. Then it factors through the abelianization G' := G / [G, G] of the group $G$.: f: G \ \xrightarrow{\mathrm{ab}_G} \ G' \ \xrightarrow{f'} \ A. Now let's consider a normal subgroup $H \lhd G$ (with the embedding $i: H \to G$) such that $G/H$ is abelian. Then the projection $p: G \to G/H$ factors through G': p: G \ \xrightarrow{\mathrm{ab}_G} \ G' \ \xrightarrow{p'} \ G/H. Then what can we say about relation between $H$ and G'? My intuition is that we should reverse arrows and then we get $H \leq [G, G]$, but because p = p' \circ \mathrm{ab}_G we actually have $[G, G] = \ker \mathrm{ab}_G \leq \ker p = H.$ Did I make a mistake or is this all correct? If it's the latter, then how to make sense out of it?

  • 0
    If you have a map from $G/M$ onto $G/N$, and you "reverse the arrows", you get a map from $N$ onto $M$, so you expect $N$ to contain $M$, no?2011-07-07

2 Answers 2

1

One definition (the "top down definition") of "commutator subgroup of $G$" is that it is the smallest normal subgroup $N$ of $G$ such that $G/N$ is abelian; that is, it is the intersection of all normal subgroups $M$ such that $G/M$ is abelian. Under that definition, the fact that if $G/H$ is abelian then $H$ must contain the commutator subgroup is immediate.

The other definition of "commutator subgroup of $G$" (the "bottoms-up definition") is as the verbal subgroup corresponding to the word $[x,y]$; that is, the subgroup of $G$ generated by all values of the word $[x,y]=x^{-1}y^{-1}xy$, as $x$ and $y$ range over all possible elements of the group. In particular, this verbal subgroup is contained in the kernel of any map from $G$ into a group that satisfies the word, that is, any group for which $[a,b]=1$ for all $a,b$; this is exactly the abelian groups as well, so again you get the result.

These arguments hold for any normal subgroup with the desired property: pick a family $\mathcal{F}$ of groups which is closed under subgroups, isomorphic copies, and arbitrary direct products (i.e., a quasivariety); if $N_i$ is a family of normal subgroups of $G$ such that $G/N_i$ is in $\mathcal{F}$ for each $i$, then so is $N=\cap N_i$; so $N$ is normal in $G$ and has the "universal property relative to $\mathcal{F}$": for any homomorphism $f\colon G\to F$ with $F\in\mathcal{F}$, we have that $N\lt \mathrm{ker}(f)$.

Quasivarieties of groups are also defined via quasi-identities: conditions of the form saying that if a certain finite family $s_i$ of words are trivial, then so is a particular word $s$; i.e., statements of the form $s_1=1\land s_2=1\land\cdots\land s_n=1\Longrightarrow s=1.$ They have a corresponding "quasiverbal subgroups", which becomes the verbal subgroup when $n=0$ (and we are dealing with a variety).

0

Alexei, for the general case, if $N \lhd G$, then (G/N)' $=$ G'N/N being isomorphic to G'/(N \cap G').