﻿

# Power automorphism

In mathematics, in the realm of group theory, a power automorphism of a group is an automorphism that takes each subgroup of the group to within itself. It is worth noting that the power automorphism of an infinite group may not restrict to an automorphism on each subgroup. For instance, the automorphism on rational numbers that sends each number to its double is a power automorphism even though it does not restrict to an automorphism on each subgroup.

Alternatively, power automorphisms are characterized as automorphisms that send each element of the group to some power of that element. This explains the choice of the term "power". The power automorphisms of a group form a subgroup of the whole automorphism group. This subgroup is denoted as $Pot\left(G\right)$ where $G$ is the group.

A universal power automorphism is a power automorphism where the power to which each element is raised is the same. For instance, each element may go to its cube. Here are some facts about the powering index:

* The powering index must be relatively prime to the order of each element. In particular, it must be relatively prime to the order of the group, if the group is finite.
* If the group is abelian, any powering index works.
* If the powering index 2 or -1 works, then the group is abelian.

The group of power automorphisms commutes with the group of inner automorphisms when viewed as subgroups of the automorphism group. Thus, in particular, power automorphisms that are also inner must arise as conjugations by elements in the second group of the upper central series.

References

* [http://www.ams.org/bull/1996-33-04/S0273-0979-96-00676-3/S0273-0979-96-00676-3.pdf Subgroup lattices of groups by Roland Schmidt] (PDF file)

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Family automorphism — In mathematics, in the realm of group theory, an automorphism of a group is termed a family automorphism if it takes every element to an element generating a conjugate subgroup. In symbols, an automorphism sigma of a group G is a family… …   Wikipedia

• Quotientable automorphism — In mathematics, in the realm of group theory, a quotientable automorphism of a group is an automorphism that takes every normal subgroup to within itself. As a result, it gives a corresponding automorphism for every quotient group.All family… …   Wikipedia

• Inner automorphism — In abstract algebra an inner automorphism is a function which, informally, involves a certain operation being applied, then another one (x) performed, and then the initial operation being reversed. Sometimes this has a net effect ( take off shoes …   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

• Mathieu group — Group theory Group theory …   Wikipedia

• List of finite simple groups — In mathematics, the classification of finite simple groups states thatevery finite simple group is cyclic, or alternating, or in one of 16 families of groups of Lie type (including the Tits group, which strictly speaking is not of Lie type),or… …   Wikipedia

• Finite field — In abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements. Finite fields are important in number theory, algebraic geometry, Galois theory, cryptography, and… …   Wikipedia

• New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …   Wikipedia

• p-group — Not to be confused with n group. In mathematics, given a prime number p, a p group is a periodic group in which each element has a power of p as its order: each element is of prime power order. That is, for each element g of the group, there… …   Wikipedia

• Dihedral group — This snowflake has the dihedral symmetry of a regular hexagon. In mathematics, a dihedral group is the group of symmetries of a regular polygon, including both rotations and reflections.[1] Dihedr …   Wikipedia