Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Inner automorphism
Summary
In abstract algebra an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the conjugating element. They can be realized via simple operations from within the group itself, hence the adjective "inner". These inner automorphisms form a subgroup of the automorphism group, and the quotient of the automorphism group by this subgroup is defined as the outer automorphism group.
If G is a group and g is an element of G (alternatively, if G is a ring, and g is a unit), then the function
is called (right) conjugation by g (see also conjugacy class). This function is an endomorphism of G: for all
where the second equality is given by the insertion of the identity between and Furthermore, it has a left and right inverse, namely Thus, is bijective, and so an isomorphism of G with itself, i.e. an automorphism. An inner automorphism is any automorphism that arises from conjugation.
When discussing right conjugation, the expression is often denoted exponentially by This notation is used because composition of conjugations satisfies the identity: for all This shows that right conjugation gives a right action of G on itself.
The composition of two inner automorphisms is again an inner automorphism, and with this operation, the collection of all inner automorphisms of G is a group, the inner automorphism group of G denoted Inn(G).
Inn(G) is a normal subgroup of the full automorphism group Aut(G) of G. The outer automorphism group, Out(G) is the quotient group
The outer automorphism group measures, in a sense, how many automorphisms of G are not inner. Every non-inner automorphism yields a non-trivial element of Out(G), but different non-inner automorphisms may yield the same element of Out(G).
Saying that conjugation of x by a leaves x unchanged is equivalent to saying that a and x commute:
Therefore the existence and number of inner automorphisms that are not the identity mapping is a kind of measure of the failure of the commutative law in the group (or ring).
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood