The Group Properties Wiki (pre-alpha)

TIP: Beware of terminology local to the wiki

ABOUT US: We use a Creative Commons license. All our content is free to reuse, with attribution. Learn more

ALSO CHECK OUT: Topospaces: The Topology Wiki

From Groupprops

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 2 Formalisms 2.1 Monadic second-order description 3 Relation with other properties 3.1 Stronger properties 3.2 Weaker properties 4 Metaproperties 4.1 Transitivity 4.2 Intersection-closedness 4.3 Join-closedness 4.4 Intermediate subgroup condition 4.5 Trimness 4.6 Image condition 4.7 Quotient-transitivity 5 Testing 5.1 GAP code

This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of semi-basic definitions on this wiki

This article defines a subgroup property that is pivotal (viz important) among existing subgroup properties
View a list of pivotal subgroup properties | View a complete list of subgroup properties|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: | Subgroup property non-implications | Subgroup metaproperty satisfactions | | |

Definition

Symbol-free definition

A direct factor of a group is a subgroup whose internal direct product with another subgroup is the whole group. In other words, a direct factor is a normal subgroup that has a normal complement.

Definition with symbols

A subgroup H of a group G is termed a direct factor if it is normal there is another normal subgroup K such that is trivial and HK = G, or equivalently, if G is the internal direct product of H and K.

Formalisms

BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)

Monadic second-order description

This subgroup property is a monadic second-order subgroup property, viz., it has a monadic second-order description in the theory of groups
View other monadic second-order subgroup properties

Fill this in later

Relation with other properties

Stronger properties

• Fully characteristic direct factor
• Characteristic direct factor

Weaker properties

• Central factor
• Retract
• Complemented normal subgroup
• Permutably complemented subgroup
• Lattice-complemented subgroup
• Intersection of direct factors
• Direct factor of characteristic subgroup
• Base of a wreath product
• Normal subgroup: For proof of the implication, refer Direct factor implies normal and for proof of its strictness (i.e. the reverse implication being false) refer normal not implies direct factor. View a survey article comparing and contrasting these terms, at: Direct factor versus normal

Metaproperties

Transitivity

This subgroup property is transitive: a subgroup with this property in a subgroup with this property, also has this property.
View a complete list of transitive subgroup properties|View a complete list of facts related to transitivity of subgroup properties

A direct factor of a direct factor is a direct factor. In fact, the normal complement is the product of the two normal complements.

In symbols, if H is a direct factor of G with complement K and M is a direct factor of H with complement N then M is a direct factor of G with complement NK.

For full proof, refer: Direct factor is transitive

Intersection-closedness

This subgroup property is not intersection-closed, viz., it is not true that an intersection of subgroups with this property must have this property
Read an article on methods to prove that a subgroup property is not intersection-closed

An intersection of direct factors need not be a direct factor. A counterexample can be found even for Abelian p-groups. For full proof, refer: direct factor is not intersection-closed

Join-closedness

This subgroup property is not join-closed, viz., it is not true that an intersection of subgroups with this property must have this property
Read an article on methods to prove that a subgroup property is not join-closed

A join of direct factors need not be a direct factor. A counterexample can be found even for Abelian p-groups. For full proof, refer: Direct factor is not join-closed

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

A direct factor of a group is also a direct factor of any intermediate subgroup. For full proof, refer: Direct factor 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 is a direct product of itself with the trivial subgroup. Hence, the trivial subgroup and the whole group are direct factors.

Image condition

This subgroup property satisfies the image condition, i.e., under any surjective homomorphism, the image of a subgroup satisfying the property also satisfies the property
View a complete list of subgroup properties satisfying the image condition

Under a quotient map, the image of a direct factor is again a direct factor. For full proof, refer: Direct factor satisfies image condition

Quotient-transitivity

This subgroup property is quotient-transitive: the corresponding quotient property is transitive.
View a complete list of quotient-transitive subgroup properties

Let be groups, such that H is a direct factor of G and K / H is a direct factor of G / H. Then, K is also a direct factor of G. For full proof, refer: Direct factor is quotient-transitive

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: IsDirectFactor
View other GAP-codable subgroup properties | View subgroup properties with in-built commands