Group satisfying subnormal join property

From Groupprops
Revision as of 22:00, 23 October 2008 by Vipul (talk | contribs)

This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Group satisfying subnormal join property, all facts related to Group satisfying subnormal join property) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions

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

Definition

A group is said to satisfy the subnormal join property if it satisfies the following equivalent conditions:

  1. The join (i.e., subgroup generated) of two Subnormal subgroup (?)s of the group is again subnormal.
  2. The join of a finite collection of subnormal subgroups of the group is again subnormal.
  3. The commutator of any two subnormal subgroups of the group is again subnormal.

Relation with other properties

Stronger properties

References

Textbook references