Join of all abelian normal subgroups

From Groupprops
Revision as of 00:44, 2 February 2012 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines a subgroup-defining function, viz., a rule that takes a group and outputs a unique subgroup
View a complete list of subgroup-defining functions OR View a complete list of quotient-defining functions


Suppose G is a group. The join of all abelian normal subgroups of G is the subgroup of G defined as the join of all the abelian normal subgroups of G.

If G is a finite group (or more generally a group satisfying ascending chain condition on normal subgroups) then this is equivalent to the join of all subgroups that are maximal among abelian normal subgroups.