Minimal normal implies powering-invariant in solvable group
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a solvable group. That is, it states that in a Solvable group (?), every subgroup satisfying the first subgroup property (i.e., Minimal normal subgroup (?)) must also satisfy the second subgroup property (i.e., Powering-invariant subgroup (?)). In other words, every minimal normal subgroup of solvable group is a powering-invariant subgroup of solvable group.
View all subgroup property implications in solvable groups View all subgroup property non-implications in solvable groups View all subgroup property implications View all subgroup property non-implications
- Minimal normal implies additive group of a field in solvable group
- The additive group of a field must be either finite or a rational vector space.
- Finite implies powering-invariant
- Any rational vector space is rationally powered, hence powering-invariant in any group containing it.
The proof follows directy by combining Facts (1)-(4).