Complemented central factor

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Complemented central factor, all facts related to Complemented central factor) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: permutably complemented subgroup and central factor
View other subgroup property conjunctions | view all subgroup properties

Definition

A subgroup of a group is termed a complemented central factor or split central factor if it satisfies the following equivalent conditions:

1. It is a permutably complemented subgroup as well as a central factor of the whole group.
2. It is a complemented normal subgroup as well as a central factor of the whole group.

Relation with other properties

Stronger properties

• Direct factor: For proof of the implication, refer Direct factor implies complemented central factor and for proof of its strictness (i.e. the reverse implication being false) refer Complemented central factor not implies direct factor.

Weaker properties

• Complemented normal subgroup
  • Complemented transitively normal subgroup
  • Permutably complemented subgroup
  • Lattice-complemented subgroup
• Central factor

Metaproperties

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 other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

Both the whole group and the trivial subgroup are complemented central factors.

Intermediate subgroup condition

YES: 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.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

If $H$ is a complemented central factor of a group $G$, then $H$ is also a complemented central factor in any intermediate subgroup $K$. This follows because both the property of being a permutably complemented subgroup and the property of being a central factor satisfy the intermediate subgroup condition. For full proof, refer: Permutably complemented satisfies intermediate subgroup condition, Central factor satisfies intermediate subgroup condition