statement proposition
Extensions of solvable groups are solvable
Statement
Let be a group and let be a normal subgroup of . If and are solvable, then is solvable.
Remarks
If is trivial, then , so for each . Choose with ; then . With subgroups and quotients, this gives: is solvable if and only if and are solvable. In particular, direct products and semidirect products of solvable groups are solvable.
Explanations
L1 human
If the bottom part and the top part of a group can both be built from abelian layers, then so can the whole group. You stack the layers of the top part on the layers of the bottom part. For example, is built from , and .
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 23 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Binary operation definition
- Group concept
- Commutativity definition
- Commutator of two elements definition
- Conjugate elements definition
- Subgroup definition
- Abelian group definition
- Conjugate subgroup definition
- Left coset definition
- Right coset definition
- Subgroup criterion statement
- Normal subgroup definition
- Intersection of subgroups is a subgroup statement
- Normality via left and right cosets statement
- Subgroup generated by a subset definition
- Quotient group definition
- Commutator subgroup definition
- Subnormal series definition
- Derived series definition
- Solvable group definition
- Quotients of solvable groups are solvable statement
- Subgroups of solvable groups are solvable statement
- Extensions of solvable groups are solvable statement
Sources
- Web https://en.wikipedia.org/wiki/Solvable_group, Properties
What links here
No node links to this node yet.