Extensible automorphism

Extensible automorphism

In mathematics, an automorphism of a structure is said to be extensible if, for any embedding of that structure inside another structure, the automorphism can be lifted to the bigger structure.

In group theory, an extensible automorphism of a group is an automorphism that can be lifted to an automorphism of any group in which it is embedded. A group automorphism is extensible if and only if it is an inner automorphism, harv|Schupp|1987.

A k times extensible automorphism of a group is defined inductively as an automorphism that can be lifted to a k-1 times extensible automorphism for any embedding, where a 0 times extensible automorphism is simply any automorphism. An automorphism that is k times extensible for all k is termed an omega extensible automorphism. The k extensible automorphisms of a group form a subgroup for every k.

Here are some properties in increasing order of generality:

* The only extensible automorphism of an abelian group (extensible to arbitrary groups, not just to abelian groups) is the identity map.
* Every extensible automorphism of a finite group is an IA automorphism, that is, it acts as identity on the Abelianization.
* If a group has a homomorphic image acting on another group such that the other group is characteristic in the semidirect product and the homomorphic image is a central factor in its normalizer in the semidirect product then any extensible automorphism of the group must get quotiented to an inner automorphism of its homomorphic image.

References

* | year=1987 | journal=Proceedings of the American Mathematical Society | issn=0002-9939 | volume=101 | issue=2 | pages=226–228


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • IA automorphism — In mathematics, in the realm of group theory, an IA automorphism of a group is an automorphism that acts as identity on the abelianization. The abelianization of a group is its quotient by its commutator subgroup. An IA automorphism is thus an… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”