Hypoabelian group: Difference between revisions

Latest revision as of 05:35, 27 December 2021

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This is a variation of solvable group|Find other variations of solvable group |

This is an opposite of perfect group

Definition

Symbol-free definition

A group is termed hypoabelian if the following equivalent conditions are satisfied:

The perfect core is trivial
The hypoabelianization is the quotient by the trivial subgroup, and hence, isomorphic to the whole group.
The transfinite derived series terminates at the identity. (Note that this is the transfinite derived series, where the successor of a given subgroup is its derived subgroup and subgroups at limit ordinals are given by intersecting all previous subgroups.)
There is no nontrivial perfect subgroup.
There is a descending transfinite normal series where all the successive quotients are abelian

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
solvable group	derived series terminates at identity in finitely many steps	solvable implies hypoabelian	hypoabelian not implies solvable	\|FULL LIST, MORE INFO
hypocentral group	transfinite lower central series terminates at identity	hypocentral implies hypoabelian	hypoabelian not implies hypocentral	\|FULL LIST, MORE INFO
residually solvable group	intersection of all finite members of derived series is identity	residually solvable implies hypoabelian	hypoabelian not implies residually solvable	\|FULL LIST, MORE INFO
free group	Free on a given generating set	(via residually solvable)	(via residually solvable)	\|FULL LIST, MORE INFO

@@ Line 1: / Line 1: @@
 {{group property}}
-{{variationof|solvability}}
+{{variation of|solvable group}}
+{{opposite of|perfect group}}
-{{oppositeof|perfectness}}
 ==Definition==
 ===Symbol-free definition===
-A [[group]] is termed '''hypoAbelian''' if the following equivalent conditions are satisfied:
+A [[group]] is termed '''hypoabelian''' if the following equivalent conditions are satisfied:
-* The [[perfect core]] is [[trivial group|trivial]]
+# The [[defining ingredient::perfect core]] is [[trivial group|trivial]]
-* The [[hypoAbelianization]] is the whole group
+# The [[defining ingredient::hypoabelianization]] is the quotient by the trivial subgroup, and hence, isomorphic to the whole group.
-* The [[derived series]] terminates at the identity
+# The transfinite [[derived series]] terminates at the identity. (Note that this is the ''transfinite'' derived series, where the successor of a given subgroup is its [[defining ingredient::derived subgroup]] and subgroups at limit ordinals are given by intersecting all previous subgroups.)
-* There is no nontrivial [[perfect group|perfect]] subgroup.
+# There is no nontrivial [[perfect group|perfect]] subgroup.
-* There is a descending [[strongly normal series]] where all the successive quotients are Abelian
+# There is a descending transfinite [[normal series]] where all the successive quotients are abelian
 ==Relation with other properties==
@@ Line 21: / Line 19: @@
 ===Stronger properties===
-* [[Solvable group]]
+{| class="sortable" border="1"
-* [[Hypocentral group]]
+! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
+|-
-===Weaker properties===
+| [[Weaker than::solvable group]] || [[derived series]] terminates at identity in finitely many steps || [[solvable implies hypoabelian]] || [[hypoabelian not implies solvable]] || {{intermediate notions short|hypoabelian group|solvable group}}
+|-
-* [[Locally solvable group]]
+| [[Weaker than::hypocentral group]] || transfinite [[lower central series]] terminates at identity || [[hypocentral implies hypoabelian]] || [[hypoabelian not implies hypocentral]] || {{intermediate notions short|hypoabelian group|hypocentral group}}
+|-
+| [[Weaker than::residually solvable group]] || intersection of all finite members of [[derived series]] is identity || [[residually solvable implies hypoabelian]] || [[hypoabelian not implies residually solvable]] || {{intermediate notions short|hypoabelian group|residually solvable group}}
+|-
+| [[Weaker than::free group]] || Free on a given generating set || (via residually solvable) || (via residually solvable) || {{intermediate notions short|hypoabelian group|free group}}
+|}