Central factor

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 property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | |
RANDOM SUBGROUP PROPERTY: Abelian normal subgroup: A subgroup that is Abelian as a group and normal as a subgroup.

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

1 History
- 1.1 Origin of the concept
- 1.2 Origin of the term
2 Definition
- 2.1 Symbol-free definition
- 2.2 Definition with symbols
3 Formalisms
- 3.1 First-order description
- 3.2 Function restriction expression
4 Relation with other properties
- 4.1 Stronger properties
- 4.2 Weaker properties
5 Metaproperties

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 | Survey articles about this
View a list of other standard non-basic definitions

This subgroup property is always true for a subgroup of an Abelian group
View other such properties

History

Origin of the concept

The concept of central factor arose from the concept of central product, which is a generalization of the direct product.

Origin of the term

The term central factor stems naturally from the term central product. Its explicit use, however, is not very standard in the literature.

Definition

Symbol-free definition

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

Every inner automorphism of the group restricts to an inner automorphism of the subgroup.
The product of the subgroup and its centralizer is the whole group.

Definition with symbols

A subgroup $H$ of a $G$ is termed a central factor of $G$ if it satisfies the following equivalent conditions:

Given any $g$ in $G$ , there is a $h$ in $H$ such that, for all $x$ in $H$ , $g x g - 1 = h x h - 1$ .
$H C G (H) = G$ where $C G (H)$ denotes the centralizer of $H$ in $G$ .

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 $H$ is a central factor in a group $G$ if and only if:

$\forall g \in G, \exists h \in H . \forall x \in H, \qquad hxh^{-1} = gxg^{-1}$

This is a Fraisse rank 2 expression.

Function restriction expression

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

The property of being a central factor arises in the function restriction formalism as the balanced subgroup property (function restriction formalism) with respect to the function property of being an inner automorphism. In other words:

Central factor = Inner automorphism $\to$ Inner automorphism

Meaning that a subgroup is a central factor if and only if every inner automorphism of the whole group restricts to an inner automorphism of the subgroup.

In particular, thus, it is a left-inner subgroup property, that is, a property that can be expressd in the function restriction formalism with the left side being the property of being an inner automorphism.

Relation with other properties

Stronger properties

Weaker properties

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)

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

Since the property of being a central factor is a balanced subgroup property with respect to the function restriction formalism, it is a t.i. subgroup property, that is, it is both transitive and identity-true.

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 property of being a central factor is trim, viz both the whole group and the trivial subgroup are central factors.

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 central factors need not be a central factor. For full proof, refer: Central factor is not intersection-closed

Template:Not quotient-transitive

Suppose $H \le K \le G$ are groups such that $H$ is a central factor of $G$ and $K / H$ is a central factor of $G / H$ . Then, $K$ need not be a central factor of $G$ . For full proof, refer: Central factor is not quotient-transitive

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

Given any groups $H \le K \le G$ such that $H$ is a central factor of $G$ , $H$ is also a central factor of $K$ . The reason is as follows:

Since the property of being a central factor is a left-inner subgroup property, and hence a Left-extensibility-stable subgroup property it satisfies the intermediate subgroup condition. For full proof, refer: Left-extensibility-stable implies intermediate subgroup condition

Direct product-closedness

This subgroup property is direct product-closed: it is closed under taking arbitrary direct products of groups

Suppose $H 1$ is a central factor of $G 1$ and $H 2$ is a central factor of $G 2$ . Then, $H_1 \times H_2$ is a central factor of $G_1 \times G_2$ . This follows from the fact that the centralizer of the direct product of the subgroups equals the direct products of their individual centralizers.

Upper join-closedness

This subgroup property is upper join-closed, viz., if a subgroup has the property in two intermediate subgroups, it also has the property in their join
View other such properties

If $H$ is a central factor in $K 1$ and $K 2$ , both sitting inside a group $G$ , then $H$ is also a central factor inside $< K 1, K 2 >$ . This follows from the fact that $H$ is a central factor inside $K i$ if and only if $H C G (H)$ contains $K i$ .