# Centerless group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

## Definition

### Symbol-free definition

A group is said to be centerless if it satisfies the following equivalent conditions:

### Definition with symbols

A group $G$ is said to be centerless if it satisfies the following equivalent conditions:

• The center $Z(G)$ is the trivial group.
• The natural homomorphism $G \to \operatorname{Aut}(G)$ given by $g \mapsto c_g$, where $c_g = x \mapsto gxg^{-1}$, is an injective map from $G$ to $\operatorname{Aut}(G)$.

## Relation with other properties

### Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
simple non-abelian group non-abelian and simple: has no proper nontrivial normal subgroup simple and non-abelian implies centerless symmetric group:S3 is a centerless group that is not simple. |FULL LIST, MORE INFO
almost simple group in between a simple non-abelian group and its automorphism group almost simple implies centerless symmetric group:S3 is a centerless group that is not almost simple. |FULL LIST, MORE INFO
complete group centerless and every automorphism is inner (by definition) alternating group:A4 is centerless but not complete, it has outer automorphisms realized as conjugations via its embedding as A4 in S4. |FULL LIST, MORE INFO
characteristically simple non-abelian group non-abelian and characteristically simple: has no proper nontrivial characteristic subgroup characteristically simple and non-abelian implies centerless symmetric group:S3 is a centerless group that is not simple. |FULL LIST, MORE INFO

### Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
capable group can be expressed as (up to isomorphism) the inner automorphism group of some group; equivalently, the epicenter is trivial. centerless implies capable -- basically, it is isomorphic to its own inner automorphism group |FULL LIST, MORE INFO
stem group the center is contained in the derived subgroup. |FULL LIST, MORE INFO