(solvable group)
A group is solvable if it is a finite iterated group extension of an abelian group by abelian groups.
In other words, a group $G$ is solvable if and only if there exists a finite sequence
in which
$G_{j-1}$ is normal in $G_j$
the quotient groups $G_j/G_{j-1}$ are abelian.
Solvability can equivalently be expressed in terms of breaking a group down rather than building it up.
(solvable group)
Given elements $g,h$ of a group $G$, the commutator is $[g,h] := g^{-1} h^{-1} g h$. The commutator subgroup of $G$ is the subgroup of $G$ generated by the commutators $[g,h]$ for all $g, h \in G$. A group is solvable if the series of groups produced by repeatedly taking the commutator subgroup, the derived series, terminates with the trivial group after finitely many steps.
(Galois groups)
The terminology “solvable groups” comes from elementary Galois theory: every polynomial equation $\phi$ over an integral domain $K$ has a corresponding Galois group $Gal(\phi/K)$, and $Gal(\phi/K)$ is a solvable group if and only if $\phi$ is a solvable equation (meaning that all its solutions in an algebraic closure of $K$ are expressible using the elements of $K$, the field operations, and extraction of roots).
Informally, this can be thought of as each step in the derived series of the Galois group requiring an additional level of nesting of radicals. If the derived series does not terminate, then the solutions of the polynomial equation cannot be expressed by radicals, no matter how deeply nested.
(nilpotent groups) A nilpotent group is a solvable group given by central group extensions.
Textbooks:
Articles:
See also:
Wikipedia, Solvable group
Last revised on April 23, 2021 at 17:16:27. See the history of this page for a list of all contributions to it.