IA automorphism

Last updated

In mathematics, in the realm of group theory, an IA automorphism of a group is an automorphism that acts as identity on the abelianization. [1] The abelianization of a group is its quotient by its commutator subgroup. An IA automorphism is thus an automorphism that sends each coset of the commutator subgroup to itself.

The IA automorphisms of a group form a normal subgroup of the automorphism group. Every inner automorphism is an IA automorphism.

See also

Related Research Articles

<span class="mw-page-title-main">Abelian group</span> Commutative group (mathematics)

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by every automorphism of the parent group. Because every conjugation map is an inner automorphism, every characteristic subgroup is normal; though the converse is not guaranteed. Examples of characteristic subgroups include the commutator subgroup and the center of a group.

In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.

<span class="mw-page-title-main">Symmetric group</span> Type of group in abstract algebra

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .

<span class="mw-page-title-main">Alternating group</span> Group of even permutations of a finite set

In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of n elements is called the alternating group of degree n, or the alternating group on n letters and denoted by An or Alt(n).

<span class="mw-page-title-main">General linear group</span> Group of n×n invertible matrices

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free-modules, the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.

<span class="mw-page-title-main">Glossary of group theory</span>

A group is a set together with an associative operation which admits an identity element and such that every element has an inverse.

<span class="mw-page-title-main">Sporadic group</span> Finite simple set type not classified as Lie, cyclic or alternating

In mathematics, a sporadic group is one of the 26 exceptional groups found in the classification of finite simple groups.

In mathematics, more specifically in group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no non-trivial abelian quotients. In symbols, a perfect group is one such that G(1) = G, or equivalently one such that Gab = {1}.

<span class="mw-page-title-main">Tits group</span> Finite simple group of order 2¹¹·3³·5²·13; the derived subgroup of the Ree group ²F₄(2)

In group theory, the Tits group2F4(2)′, named for Jacques Tits (French: [tits]), is a finite simple group of order

In the mathematical field of group theory, the transfer defines, given a group G and a subgroup H of finite index, a group homomorphism from G to the abelianization of H. It can be used in conjunction with the Sylow theorems to obtain certain numerical results on the existence of finite simple groups.

<span class="mw-page-title-main">O'Nan group</span>

In the area of abstract algebra known as group theory, the O'Nan groupO'N or O'Nan–Sims group is a sporadic simple group of order

In mathematics, a quasisimple group is a group that is a perfect central extension E of a simple group S. In other words, there is a short exact sequence

In mathematics, the binary icosahedral group 2I or ⟨2,3,5⟩ is a certain nonabelian group of order 120. It is an extension of the icosahedral group I or (2,3,5) of order 60 by the cyclic group of order 2, and is the preimage of the icosahedral group under the 2:1 covering homomorphism

In mathematics, in the realm of group theory, a class automorphism is an automorphism of a group that sends each element to within its conjugacy class. The class automorphisms form a subgroup of the automorphism group. Some facts:

In mathematics, a Weil group, introduced by Weil (1951), is a modification of the absolute Galois group of a local or global field, used in class field theory. For such a field F, its Weil group is generally denoted WF. There also exists "finite level" modifications of the Galois groups: if E/F is a finite extension, then the relative Weil group of E/F is WE/F = WF/W c
E
 
.

In algebraic K-theory, a field of mathematics, the Steinberg group of a ring is the universal central extension of the commutator subgroup of the stable general linear group of .

In mathematics, specifically group theory, isoclinism is an equivalence relation on groups which generalizes isomorphism. Isoclinism was introduced by Hall (1940) to help classify and understand p-groups, although it is applicable to all groups. Isoclinism also has consequences for the Schur multiplier and the associated aspects of character theory, as described in Suzuki and Conway et al.. The word "isoclinism" comes from the Greek ισοκλινης meaning equal slope.

References

  1. Bachmuth, S. (1966), "Induced automorphisms of free groups and free metabelian groups", Transactions of the American Mathematical Society, 122: 1–17, doi: 10.2307/1994498 , MR   0190212 .