Groupprops, The Group Properties Wiki (pre-alpha)

TIP: Learn how to better make use of textbook references

ABOUT US: Read our purpose statement and learn what makes us special

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 In terms of the supergroup property collapse operator 3 Relation with other properties 3.1 Stronger properties 3.2 Weaker properties 4 Testing 4.1 GAP code

This article is about a standard (though not very rudimentary) definition in group theory.[SHOW MORE]

The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this | Facts about definitions built on this |
VIEW RELATED: Analogues of this |
View a complete list of semi-basic definitions on this wiki

This article defines a group property: a property that can be evaluated to true/false for any given group
View a complete list of group properties
VIEW RELATED: Group property non-implications |
RANDOM GROUP PROPERTY: T-group: A group where any subnormal subgroup is normal, i.e., where normality is transitive. In general, normality is not transitive.

Definition

Symbol-free definition

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

• It is centerless and every automorphism of it is inner.
• The natural homomorphism to the automorphism group, that sends each element to the conjugation via that element, is an isomorphism.
• Whenever it is embedded as a normal subgroup inside a bigger group, it is actually a direct factor inside that bigger group.

Definition with symbols

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

• Z(G) (viz the center of G) is trivial and Inn(G) = Aut(G) (viz every automorphism of G is inner)
• The natural homomorphism given by (where ) is an isomorphism
• For any embedding of G as a normal subgroup of some group K, G is a direct factor of K

Formalisms

In terms of the supergroup property collapse operator

This group property can be defined in terms of the collapse of two subgroup properties in the following sense. Whenever the given group is embedded as a subgroup satisfying the first subgroup property (normal subgroup), in some bigger group, it also satisfies the second subgroup property (direct factor), and vice versa.
View other group properties obtained in this way

A group G is complete if and only if whenever G is embedded as a normal subgroup in some group K, G is a direct factor of K.

Relation with other properties

Stronger properties

• Symmetric group on a set of size other than 2 or 6: For full proof, refer: Symmetric groups on finite sets are complete, Symmetric groups on infinite sets are complete
• Automorphism group of a non-Abelian characteristically simple group: For full proof, refer: Characteristically simple and non-Abelian implies automorphism group is complete

Weaker properties

• Group in which every automorphism is inner
• Group in which every normal subgroup is characteristic
• Centerless group
• Group isomorphic to its automorphism group

Testing

GAP code

One can write code to test this group property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View the GAP code for testing this group property at: IsCompleteGroup
View other GAP-codable group properties | View group properties with in-built commands

While there is no built-in command to test completeness, this can be done with a short snippet of code available at GAP:IsCompleteGroup. The function is invoked as follows:

IsCompleteGroup(group);