Math 2.0

Group theory and generalizations Definition

Inner automorphism

Builds on Automorphism groupConjugate elements

Definition

Let GG be a group and let g∈Gg \in G. The inner automorphism given by gg is the map cg ⁣:G→Gc_g \colon G \to G, cg(x)=gxg−1c_g(x) = gxg^{-1}. The set of all inner automorphisms of GG is written Inn⁡(G)\operatorname{Inn}(G).

Remarks

Each cgc_g is an automorphism of GG, with inverse cg−1c_{g^{-1}}. Since cg∘ch=cghc_g \circ c_h = c_{gh}, the map g↦cgg \mapsto c_g is a homomorphism from GG to Aut⁡(G)\operatorname{Aut}(G), and Inn⁡(G)\operatorname{Inn}(G) is its image. The subgroup Inn⁡(G)\operatorname{Inn}(G) is normal in Aut⁡(G)\operatorname{Aut}(G), because α∘cg∘α−1=cα(g)\alpha \circ c_g \circ \alpha^{-1} = c_{\alpha(g)} for each automorphism α\alpha. In an abelian group, each inner automorphism is the identity map.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Conjugate elements definition
  3. Group homomorphism definition
  4. Group isomorphism definition
  5. Automorphism group definition
  6. Inner automorphism definition

Where this leads

3 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Inner_automorphism, Definition
About this page
Tag0H47DMFN3S
URIm2://0H47DMFN3S
Aliasesconjugation-automorphism
Kinddefinition
WritingW1 stated
MSC20F28
DefinesInner automorphism
UsesAutomorphism group, Conjugate elements

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by