The Group Properties Wiki (pre-alpha)

TIP: Having trouble locating the wiki page for a term/definition? Get tips

ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki

ALSO CHECK OUT: Commalg: The Commutative Algebra Wiki

From Groupprops

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof.
View a complete list of subgroup properties|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | | Subgroup metaproperty satisfactions | | |
RANDOM SUBGROUP PROPERTY: Permutable subgroup: A subgroup that commutes with every other subgroup. May not be normal.

This is a variation of normality
View a complete list of variations of normality OR read a survey article on varying normality

Contents 1 Definition 1.1 Definition with symbols 2 Relation with other properties 2.1 Stronger properties 2.2 Weaker properties 3 Metaproperties 3.1 Intermediate subgroup condition 3.2 Trimness 3.3 Join-closedness 4 Testing 4.1 GAP code 5 References

Definition

Definition with symbols

A subgroup H of a group G is termed polynormal if given any , H is a contranormal subgroup in the subgroup , i.e., the closure of H under the action by conjugation of the cyclic subgroup generated by g.

Relation with other properties

Stronger properties

• Normal subgroup
• Maximal subgroup
• Abnormal subgroup
• Pronormal subgroup
• Weakly abnormal subgroup
• Weakly pronormal subgroup
• Strongly paranormal subgroup
• Paranormal subgroup
• Strongly polynormal subgroup
• Sylow subgroup in a finite group

Weaker properties

• Fan subgroup
• Intermediately subnormal-to-normal subgroup: For full proof, refer: Polynormal implies intermediately subnormal-to-normal

Metaproperties

Intermediate subgroup condition

This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup
View all subgroup properties satisfying the intermediate subgroup condition|View facts related to the intermediate subgroup condition

If H is polynormal in G, H is also polynormal in any intermediate subgroup K. For full proof, refer: Polynormality satisfies intermediate subgroup condition

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself)
View all trim subgroup properties OR view trivially true subgroup properties OR view identity-true subgroup properties

The whole group and the trivial subgroup are polynormal; in fact they are normal.

Join-closedness

This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property
View a complete list of join-closed subgroup properties

In fact, an arbitrary, possibly empty, join of polynormal subgroups is polynormal. For full proof, refer: Polynormality is strongly join-closed

Testing

GAP code

One can write code to test this subgroup property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View the GAP code for testing this subgroup property at: IsPolynormal
View other GAP-codable subgroup properties | View subgroup properties with in-built commands

References

• On the arrangement of intermediate subgroups by M. S. Ba and Z. I. Borevich
• On the arrangement of subgroups by Z. I. Borevich, Zap. Nauchn. Semin. tOMI, 94, 5-12 (1979)
• On the lattice of subgroups by Z. I. Borevich and O. N. Macedonska, Zap. Nauchn. Semin. LOMI, 103, 13-19, 1980
• Testing of subgroups of a finite group for some embedding properties like pronormality by V. I. Mysovskikh