Automorphism property space
This is an abstraction from a general concept of properties.
An automorphism property is a map from the collection of all group automorphisms to the two-element set (true, false), with the property that if there is an isomorphism identifying two group automorphisms, they either both have the property or both do not have the property.
The automorphism property space is the collection of all automorphism properties.
Contents
Elements in the automorphism property space
The tautology and fallacy
The space of automorphism properties is naturally equipped with a Boolean lattice structure. The two extreme elements of this lattice are the tautology -- the property satisfed by all automorphisms, and the fallacy -- the property satisfied by no automorphism.
Subgroup-defining properties
An automorphism property is termed subgroup-defining if, for any group, the set of automorphisms of the group satisfying the property forms a subgroup of the automorphism group of that group. The tautology, for instance, is a subgroup-defining property.
Some important elements in the automorphism property space
Some of the automorphism properties we frequently encounter:
- The property of being an inner automorphism
- The property of being a class automorphism
- The property of being a family automorphism
- The property of being an extensible automorphism
All these are subgroup-defining.
A more complete listing of important automorphism properties is available at:
Category:Automorphism properties
Property modifiers/operators
Monotone ascendant operators
Extensibility map
In its full generality, the extensibility map takes an automorphism property , a subgroup property
, and returns the property
such that:
for a group , an automorphism
satisfies
if, given any embedding
satisfying property
, there is an automorphism
of
such that
satisfies
and the restriction of
to
is
.
When is taken to be the tautology, we get a map from the automorphism property space to itself, which is what we usually mean when we talk of the extensibility map.
The extensibility map is a monotone ascendant map. We can thus apply iteration operators to it. Some standard terminology: