Central factor

Terminological note

The term central factor used here refers to a subgroup that can occur as a factor in a central product. The term central factor is also used in another, completely different sense: a group that occurs as a quotient by a central subgroup in another group, or in some cases, as a quotient by the whole center (in which case, it would be isomorphic to the inner automorphism group). These other senses of the word are very different, and you can learn more about these senses at the central extension page.

Definition

Equivalent definitions in tabular format

QUICK PHRASES: factor in central product, product with centralizer is whole group, quotient action by outer automorphisms is trivial, every inner automorphism restricts to an inner automorphism

No.	Shorthand	A subgroup of a group is termed a central factor if ...	A subgroup $\text{[math]}$ of a group $\text{[math]}$ is termed a central factor of $\text{[math]}$ if ...
1	inner automorphisms to inner automorphisms	every inner automorphism of the group restricts to an inner automorphism of the subgroup.	given any $\text{[math]}$ in $\text{[math]}$ , there is a $\text{[math]}$ in $\text{[math]}$ such that, for all $\text{[math]}$ in $\text{[math]}$ , $\text{[math]}$ .
2	product with centralizer is whole group	the product of the subgroup and its centralizer is the whole group.	$\text{[math]}$ where $\text{[math]}$ denotes the centralizer of $\text{[math]}$ in $\text{[math]}$ .
3	normal and quotient maps trivially to outer automorphism group	it is a normal subgroup and the induced map from the quotient group to the outer automorphism group is trivial.	$\text{[math]}$ is a normal subgroup of $\text{[math]}$ and the map $\text{[math]}$ induced by the action of $\text{[math]}$ on $\text{[math]}$ by conjugation is a trivial homomorphism.
4	factor in central product	it can be expressed as one of the factor subgroups in an expression of the whole group as an internal central product of two groups.	there exists a subgroup $\text{[math]}$ of $\text{[math]}$ such that $\text{[math]}$ is an internal central product of $\text{[math]}$ and $\text{[math]}$ .

This definition is presented using a tabular format. |View all pages with definitions in tabular format

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 Central factor, all facts related to Central factor) |
VIEW RELATED: Analogues of this | Variations of this |
View a list of other standard non-basic definitions

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties [SHOW MORE]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions |
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

This is a variation of normality|Find other variations of normality | Read a survey article on varying normality

Examples

Extreme examples

The trivial subgroup in any group is a central factor.
Every group is a central factor in itself.

Subgroups satisfying the property

Here are some examples of subgroups in basic/important groups satisfying the property:

	Group part	Subgroup part	Quotient part
Z2 in V4	Klein four-group	Cyclic group:Z2	Cyclic group:Z2

Here are some examples of subgroups in relatively less basic/important groups satisfying the property:

	Group part	Subgroup part	Quotient part
Center of dihedral group:D8	Dihedral group:D8	Cyclic group:Z2	Klein four-group
Center of quaternion group	Quaternion group	Cyclic group:Z2	Klein four-group
Non-characteristic order two subgroups of direct product of Z4 and Z2	Direct product of Z4 and Z2	Cyclic group:Z2	Cyclic group:Z4
Z4 in direct product of Z4 and Z2	Direct product of Z4 and Z2	Cyclic group:Z4	Cyclic group:Z2

Here are some examples of subgroups in even more complicated/less basic groups satisfying the property:

	Group part	Subgroup part	Quotient part
Derived subgroup of nontrivial semidirect product of Z4 and Z4	Nontrivial semidirect product of Z4 and Z4	Cyclic group:Z2	Direct product of Z4 and Z2
Q8 in central product of D8 and Z4	Central product of D8 and Z4	Quaternion group	Cyclic group:Z2
Subgroup generated by a non-commutator square in nontrivial semidirect product of Z4 and Z4	Nontrivial semidirect product of Z4 and Z4	Cyclic group:Z2	Dihedral group:D8

Subgroups dissatisfying the property

Here are some examples of subgroups in basic/important groups not satisfying the property:

	Group part	Subgroup part	Quotient part
A3 in S3	Symmetric group:S3	Cyclic group:Z3	Cyclic group:Z2
S2 in S3	Symmetric group:S3	Cyclic group:Z2

Here are some some examples of subgroups in relatively less basic/important groups not satisfying the property:

	Group part	Subgroup part	Quotient part
A3 in A4	Alternating group:A4	Cyclic group:Z3
A3 in A5	Alternating group:A5	Cyclic group:Z3
A3 in S4	Symmetric group:S4	Cyclic group:Z3
A4 in A5	Alternating group:A5	Alternating group:A4
Cyclic maximal subgroup of dihedral group:D8	Dihedral group:D8	Cyclic group:Z4	Cyclic group:Z2
D8 in A6	Alternating group:A6	Dihedral group:D8
D8 in S4	Symmetric group:S4	Dihedral group:D8
Klein four-subgroup of alternating group:A5	Alternating group:A5	Klein four-group
Klein four-subgroups of dihedral group:D8	Dihedral group:D8	Klein four-group	Cyclic group:Z2
Non-normal Klein four-subgroups of symmetric group:S4	Symmetric group:S4	Klein four-group
Non-normal subgroups of dihedral group:D8	Dihedral group:D8	Cyclic group:Z2
S2 in S4	Symmetric group:S4	Cyclic group:Z2
Subgroup generated by double transposition in symmetric group:S4	Symmetric group:S4	Cyclic group:Z2
Twisted S3 in A5	Alternating group:A5	Symmetric group:S3

Here are some examples of subgroups in even more complicated/less basic groups not satisfying the property:

	Group part	Subgroup part	Quotient part
2-Sylow subgroup of general linear group:GL(2,3)	General linear group:GL(2,3)	Semidihedral group:SD16
Non-normal subgroups of M16	M16	Cyclic group:Z2
SL(2,3) in GL(2,3)	General linear group:GL(2,3)	Special linear group:SL(2,3)	Cyclic group:Z2

Metaproperties

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)

Metaproperty name	Satisfied?	Proof	Statement with symbols
abelian-tautological subgroup property	Yes		If $\text{[math]}$ is abelian and $\text{[math]}$ , then $\text{[math]}$ is a central factor of $\text{[math]}$
transitive subgroup property	Yes	central factor is transitive	If $\text{[math]}$ , $\text{[math]}$ is a central factor of $\text{[math]}$ and $\text{[math]}$ is a central factor of $\text{[math]}$ , then $\text{[math]}$ is a central factor of $\text{[math]}$ .
trim subgroup property	Yes		For any group $\text{[math]}$ , both $\text{[math]}$ and the trivial subgroup of $\text{[math]}$ are central factors.
finite-intersection-closed subgroup property	No	central factor is not finite-intersection-closed	It is possible to have a group $\text{[math]}$ and central factors $\text{[math]}$ such that the intersection $\text{[math]}$ is not a central factor.
finite-join-closed subgroup property	No	central factor is not finite-join-closed	It is possible to have a group $\text{[math]}$ and central factors $\text{[math]}$ such that the join $\text{[math]}$ (which in this case is also the product of subgroups) is not a central factor.
quotient-transitive subgroup property	No	central factor is not quotient-transitive	It is possible to have groups $\text{[math]}$ such that $\text{[math]}$ is a central factor of $\text{[math]}$ and $\text{[math]}$ is a central factor of $\text{[math]}$ but $\text{[math]}$ is not a central factor of $\text{[math]}$ .
intermediate subgroup condition	Yes	central factor satisfies intermediate subgroup condition	If $\text{[math]}$ and $\text{[math]}$ is a central factor of $\text{[math]}$ , then $\text{[math]}$ is a central factor of $\text{[math]}$ .
transfer condition	No	central factor does not satisfy transfer condition	It is possible to have a group $\text{[math]}$ and subgroups $\text{[math]}$ such that $\text{[math]}$ is a central factor of $\text{[math]}$ but $\text{[math]}$ is not a central factor of $\text{[math]}$ .
image condition	Yes	central factor satisfies image condition	If $\text{[math]}$ is a central factor of $\text{[math]}$ and $\text{[math]}$ is a surjective homomorphism, then $\text{[math]}$ is a central factor of $\text{[math]}$ .
direct product-closed subgroup property	Yes	central factor is direct product-closed	If $\text{[math]}$ are all central factors, then the direct product of $\text{[math]}$ s is a central factor of the direct product of $\text{[math]}$ s
upper join-closed subgroup property	Yes	central factor is upper join-closed	If $\text{[math]}$ and $\text{[math]}$ are subgroups of $\text{[math]}$ containing $\text{[math]}$ such that $\text{[math]}$ is a central factor of each $\text{[math]}$ , then $\text{[math]}$ is also a central factor of the join of subgroups $\text{[math]}$ .
centralizer-closed subgroup property	Yes	central factor is centralizer-closed	If $\text{[math]}$ is a central factor, the centralizer $\text{[math]}$ is also a central factor.

Relation with other properties

Analogues in other algebraic structures

For a complete list, refer:

Analogues of central factor (generated semantically).

Conjunction with other properties

Some conjunctions with group properties:

Central subgroup is a central factor that is also an abelian group.
Nilpotent central factor is a central factor that is also a nilpotent group.

Some conjunctions with subgroup properties:

Characteristic central factor: A central factor that is also a characteristic subgroup.

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Direct factor	factor in internal direct product	direct factor implies central factor	central factor not implies direct factor (see also list of examples)	Complemented central factor, Join of direct factor and central subgroup, Join of finitely many direct factors, Join-transitively central factor, Right-quotient-transitively central factor, Upper join of direct factors\|FULL LIST, MORE INFO
Central subgroup	contained in the center (equivalently, abelian central factor)	central subgroup implies central factor	central factor not implies central subgroup (see also list of examples)	Intersection-transitively central factor, Join of direct factor and central subgroup, Join-transitively central factor\|FULL LIST, MORE INFO
Cocentral subgroup	product with center is whole group	cocentral implies central factor	central factor not implies cocentral	Right-quotient-transitively central factor\|FULL LIST, MORE INFO
Join-transitively central factor	join with any central factor is a central factor	follows from the fact that trivial subgroup is central factor	central factor is not finite-join-closed	\|
Right-quotient-transitively central factor	normal subgroup such that any subgroup containing it with quotient a central factor in the quotient is a central factor	follows from the fact that trivial subgroup is central factor	central factor is not quotient-transitive	Join-transitively central factor\|FULL LIST, MORE INFO
Complemented central factor	central factor that is also a permutably complemented subgroup	obvious		\|

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Normal subgroup	invariant under inner automorphisms	central factor implies normal	normal not implies central factor (see also list of examples)	Conjugacy-closed normal subgroup, Locally inner automorphism-balanced subgroup, Normal subgroup whose center is contained in the center of the whole group, Normal subgroup whose focal subgroup equals its derived subgroup, SCAB-subgroup, Transitively normal subgroup\|FULL LIST, MORE INFO
Transitively normal subgroup	every normal subgroup of it is normal in the whole group	central factor implies transitively normal	transitively normal not implies central factor (see also list of examples)	Conjugacy-closed normal subgroup, Locally inner automorphism-balanced subgroup, SCAB-subgroup\|FULL LIST, MORE INFO
Locally inner automorphism-balanced subgroup	every inner automorphism restricts to a locally inner automorphism			\|
CEP-subgroup	every normal subgroup of it is the intersection with it of a normal subgroup of the whole group	(via transitively normal)	(via transitively normal)	Transitively normal subgroup\|FULL LIST, MORE INFO
Conjugacy-closed subgroup	elements of the subgroup conjugate in the whole group are conjugate in the subgroup	central factor implies conjugacy-closed	conjugacy-closed normal not implies central factor	Conjugacy-closed normal subgroup, Subset-conjugacy-closed subgroup\|FULL LIST, MORE INFO
Conjugacy-closed normal subgroup	conjugacy-closed and normal	(via normal + conjugacy-closed)	conjugacy-closed normal not implies central factor	\|
SCAB-subgroup	subgroup-conjugating automorphism of whole group restricts to subgroup-conjugating automorphism of subgroup	central factor implies SCAB	SCAB not implies central factor	\|
Subset-conjugacy-closed subgroup
Normal subset-conjugacy-closed subgroup
Weak subset-conjugacy-closed subgroup
WNSCC-subgroup
Central factor of normalizer

Effect of property operators

Operator	Meaning	Result of application	Proof
join-transiter	join with any central factor is a central factor	join-transitively central factor	by definition
right quotient-transiter	Any subgroup containing it so that the quotient is a central factor in the quotient of the whole group, is a central factor	right-quotient-transitively central factor	by definition
intersection-transiter	Intersection with any central factor is a central factor	intersection-transitively central factor	by definition

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)

First-order description

This subgroup property is a first-order subgroup property, viz., it has a first-order description in the theory of groups.
View a complete list of first-order subgroup properties

The subgroup property of being a central factor has a first-order description as follows. A subgroup $\text{[math]}$ is a central factor in a group $\text{[math]}$ if and only if:

$\text{[math]}$

This is a Fraisse rank 2 expression.

Function restriction expression

This subgroup property is a function restriction-expressible subgroup property: it can be expressed by means of the function restriction formalism, viz there is a function restriction expression for it.
Find other function restriction-expressible subgroup properties | View the function restriction formalism chart for a graphic placement of this property

Function restriction expression	$\text{[math]}$ is a central factor of $\text{[math]}$ if ...	This means that characteristicity is ...	Additional comments
inner automorphism $\text{[math]}$ inner automorphism	every inner automorphism of $\text{[math]}$ restricts to a inner automorphism of $\text{[math]}$	the balanced subgroup property for inner automorphisms	Hence, it is a t.i. subgroup property, both transitive and identity-true

In particular, this means that the property of being a central factor is a left-inner subgroup property.

In terms of the image-potentially operator

This property is obtained by applying the image-potentially operator to the property: direct factor
View other properties obtained by applying the image-potentially operator

A subgroup $\text{[math]}$ of a group $\text{[math]}$ is a central factor if and only if the following is true: there exists a group $\text{[math]}$ , a direct factor $\text{[math]}$ of $\text{[math]}$ , and a surjective homomorphism $\text{[math]}$ such that $\text{[math]}$ .

In terms of the upper join-closure operator

This property is obtained by applying the upper join-closure operator to the property: cocentral subgroup
View other properties obtained by applying the upper join-closure operator

A subgroup $\text{[math]}$ of a group $\text{[math]}$ is a central factor if and only if there exist groups $\text{[math]}$ all contained in $\text{[math]}$ such that $\text{[math]}$ is a cocentral subgroup of each $\text{[math]}$ (i.e., $\text{[math]}$ ) and the join of the $\text{[math]}$ s equals $\text{[math]}$ .

Central factor

Terminological note

Definition

Equivalent definitions in tabular format

Contents

Examples

Extreme examples

Subgroups satisfying the property

Subgroups dissatisfying the property

Metaproperties

Relation with other properties

Analogues in other algebraic structures

Conjunction with other properties

Stronger properties

Weaker properties

Effect of property operators

Formalisms

First-order description

Function restriction expression

In terms of the image-potentially operator

In terms of the upper join-closure operator

Navigation menu

Personal tools

Namespaces

Variants

Views

Actions

Search

Key links

Lookup

Top terms to know

Popular groups

Tools