Inner Automorphism in Group Theory: Definition and Key Theorems

Inner Automorphism in Group Theory

  Inner Automorphisms in group theory play a crucial role in Group Theory, one of the most fundamental branches of abstract algebra. This article delves into the definition of inner automorphisms and explores key theorems associated with them. It highlights their significance in courses like B.Sc. and M.Sc. Mathematics and competitive exams such as JEE, GATE, and GRE. Additionally, we discuss real-life applications and how this topic helps students in advanced studies and research.

What You Will Learn?

  In this post, you will explore::

  • Definition: Inner Automorphism
  • Theorems:
    1. Let \(\pmb{(G,\cdot)}\) be a group. Then \(\pmb{Inn(G)}\) is a subgroup of \(\pmb{Aut(G)}\).
    2. Let \(\pmb{(G,\cdot)}\) be a group. Then \(\pmb{Inn(G)}\) is normal subgroup of \(\pmb{Aut(G)}\).
    3. Let \(\pmb{(G,\cdot)}\) be a group and \(\pmb{Z(G)}\) be the center of \(\pmb{G}\). Then \(\pmb{\frac{G}{Z(G)}\backsimeq Inn(G)}\).
    4. Let \(\pmb{(G,\cdot)}\) be a group and \(\pmb{H}\) be a subgroup of \(\pmb{G}\). Let \(\pmb{N(H)}\) and \(\pmb{C(H)}\) be the normalizer and centralizer of \(\pmb{H}\). Then \(\pmb{\frac{N(H)}{C(H)}\backsimeq}\) a subgroup of \(\pmb{Aut(G)}\).

Things to Remember

  Before diving into this post, make sure you are familiar with:
  Basic Definitions and Concepts of

  1. Set Theory
  2. Relations
  3. Mappings
  4. Group Theory

Introduction

The concept of Inner Automorphism in group theory has its roots in the study of groups and their symmetries. Pioneered by prominent mathematicians such as Niels Henrik Abel and Évariste Galois, inner automorphisms help us understand how elements within a group relate to each other through conjugation. The concept forms a critical part of higher-level mathematics courses like B.Sc. and M.Sc. Mathematics, as well as Abstract Algebra under the National Education Policy (NEP). Inner automorphisms and their associated theorems are essential topics in university-level exams and competitive exams such as NET. They are also fundamental in learning about normal subgroups and the center of a group, both of which are crucial topics in Abstract Algebra.

Inner Automorphism

  Definition:

  Let \(\pmb{(G,\cdot)}\) be group. The set of all automorphisms \(\pmb{\theta_{a}:G\to G~\forall~ a\in G}\), defined by \(\pmb{\theta_{a}(x)=a\cdot x\cdot a^{-1}~\forall~x\in G}\), is said to be the Inner Automorphism of \(\pmb{G}\) and is denoted by \(\pmb{Inn(G)}\).
  i.e.,\(\pmb{Inn(G)=\{\theta_{a}~|~ \theta_{a}:G \to G~\text{defined by}~\theta_{a}(x)=a\cdot x\cdot a^{-1}~\forall~x\in G~\text{and}~a\in G \} }\)

Theorem-1

  Statement:

  Let \(\pmb{(G,\cdot)}\) be a group. Then \(\pmb{Inn(G)}\) is a subgroup of \(\pmb{Aut(G)}\).


  Proof:

  Given that \(\pmb{(G,\cdot)}\) is a group.
  To prove \(\pmb{Inn(G)}\) is a subgroup of \(\pmb{Aut(G)}\).
  We have \(\pmb{Inn(G)=\{\theta_{a}~|~a\in G \} }\) where \(\pmb{\theta_{a}:G\to G}\) defined by \(\pmb{\theta_{a}(x)=a\cdot x\cdot a^{-1}~\forall~x\in G}\).

  • Let \( \pmb{\theta_{a}\in Inn(G)} \)
    But \( \pmb{\theta_{a}} \) is an automorphism then \(\pmb{\theta_{a}\in Aut(G) }\)
    Therefore \( \pmb{Inn(G)\subseteq Aut(G)} \)

  • To prove \(\pmb{Inn(G)\ne \Phi}\)
    Let \(\pmb{e}\) is identity member of \(\pmb{G}\) and \(\pmb{I_{G}}\) is the identity mapping on \(\pmb{G}\). Then \(\pmb{\forall~x\in G}\) \begin{align*} \pmb{\theta_{e}(x)}=& \pmb{e\cdot x\cdot e^{-1}}\\ =& \pmb{x}\\ =& \pmb{I_{G}(x)} \end{align*} So \(\pmb{\theta_{e}=I_{G} \implies I_{G}\in Inn(G)}\).
    Therefore \(\pmb{Inn(G)\ne \Phi}\).

  • To prove \(\pmb{\theta_{a}\circ (\theta_{b})^{-1}\in Inn(G)~\forall~\theta_{a},\theta_{b}\in Inn(G)}\)
    Let \(\pmb{\theta_{a},\theta_{b}\in Inn(G) }\) where \(\pmb{a,b\in G}\) then \(\pmb{\theta_{a}(x)}=\pmb{a\cdot x\cdot a^{-1} } \) and \(\pmb{\theta_{b}(x)}=\pmb{b\cdot x\cdot b^{-1} } \) \(\pmb{\forall~x\in G}\) \begin{align*} \pmb{(\theta_{a}\circ (\theta_{b})^{-1})(x) }=&\pmb{(\theta_{a}\circ \theta_{b^{-1}})(x) }\\ =&\pmb{\theta_{a\cdot b^{-1} }(x) } \end{align*} Therefore \(\pmb{\theta_{a}\circ (\theta_{b})^{-1}= \theta_{a\cdot b^{-1} } \in Inn(G)}\) Since \(\pmb{a\cdot b^{-1}\in G }\)

  Hence \(\pmb{Inn(G)}\) is a subgroup of \(\pmb{Aut(G)}\).

Theorem-2

  Statement:

  Let \(\pmb{(G,\cdot)}\) be a group. Then \(\pmb{Inn(G)}\) is normal subgroup of \(\pmb{Aut(G)}\).


  Proof:

  Given that \(\pmb{(G,\cdot)}\) is a group.
  To prove \(\pmb{Inn(G)}\) is normal in \(\pmb{Aut(G)}\).
  Let \( \pmb{\theta_{a}\in Inn(G)} \) where \(\pmb{a\in G}\) and Let \( \pmb{\alpha\in Aut(G)} \). Then \(\pmb{\forall~x\in G}\) \begin{align*} \pmb{(\alpha\circ \theta_{a}\circ \alpha^{-1})(x)}=& \pmb{\alpha( \theta_{a}( \alpha^{-1}(x))}\\ =& \pmb{\alpha(a\cdot \alpha^{-1}(x)\cdot a^{-1} )}\\ =& \pmb{\alpha(a)\cdot \alpha(\alpha^{-1}(x))\cdot \alpha(a^{-1})}\\ =& \pmb{\alpha(a)\cdot (\alpha\circ\alpha^{-1})(x)\cdot (\alpha(a))^{-1}}\\ =& \pmb{\alpha(a)\cdot I_{G}(x)\cdot (\alpha(a))^{-1}}\\ =& \pmb{\alpha(a)\cdot x\cdot (\alpha(a))^{-1}}\\ =& \pmb{\theta_{\alpha(a)}(x)}\\ \end{align*} So \(\pmb{\alpha\circ \theta_{a}\circ \alpha^{-1}= \theta_{\alpha(a)} }\).
Since \(\pmb{\alpha(a)\in G}\) then \(\pmb{\theta_{\alpha(a)}\in Inn(G) }\)
Therefore \(\pmb{\alpha\circ \theta_{a}\circ \alpha^{-1}\in Inn(G) }\)
Hence \(\pmb{Inn(G)}\) is normal in \(\pmb{Aut(G)}\).

Theorem-3

  Statement:

  Let \(\pmb{(G,\cdot)}\) be a group and \(\pmb{Z(G)}\) be the center of \(\pmb{G}\). Then \(\pmb{\frac{G}{Z(G)}\backsimeq Inn(G)}\).


  Proof:

  Given that \(\pmb{(G,\cdot)}\) is a group and \(\pmb{Z(G)}\) is the center of \(\pmb{G}\).
  Then we have \(\pmb{Z(G)=\{x\in G~|~x\cdot g=g\cdot x~\forall~g\in G \}}\).
  Also, \(\pmb{Z(G)}\) is normal in \(\pmb{G}\) therefore \(\pmb{\frac{G}{Z(G)}}\) exists.
  To prove \(\pmb{\frac{G}{Z(G)}\backsimeq Inn(G)}\).
  Let us construct a mapping \(\pmb{\phi:G\to Inn(G)}\) such that \(\pmb{\phi(a)=\theta_{a}~\forall~a\in G}\) where \(\pmb{\theta_{a}:G\to G}\) is defined by \(\pmb{\theta_{a}(x)=a\cdot x \cdot a^{-1}~\forall~x\in G}\).

  • To prove \(\pmb{\phi}\) is well defined.
    Let \(\pmb{a,b\in G }\) such that \begin{align*} \pmb{a=b\implies \theta_{a}=\theta_{b}\implies \phi(a)=\phi(b) } \end{align*} Therefore \(\pmb{\phi}\) is well defined.

  • To prove \(\pmb{\phi}\) is surjective.
    Let \(\pmb{\theta_{a}\in Inn(G) }\) where \(\pmb{a\in G}\).
    Then \(\pmb{\phi(a)=\theta_{a}}\).
    Therefore \(\pmb{a}\) is a pre-image of \(\pmb{\theta_{a}}\). Since \(\pmb{\theta_{a}}\) is an arbitrary member of \(\pmb{Inn(G)}\), therefore each member of \(\pmb{Inn(G)}\) has pre-image in \(\pmb{G}\).
    Hence \(\pmb{\phi}\) is surjective.

  • To prove \(\pmb{\phi}\) is homomorphism.
    Let \(\pmb{a,b\in G }\). Then \begin{align*} \pmb{\phi(a\cdot b)= \theta_{a\cdot b}= \theta_{a}\circ \theta_{b}=\phi(a)\circ\phi(b)} \end{align*} Hence \(\pmb{\phi}\) is homomorphism.

  • To prove \(\pmb{Ker~\phi=z(G)}\).
    • To prove \(\pmb{Ker~\phi \subseteq z(G)}\).
      Let \(\pmb{a\in Ker~\phi }\) and \(\pmb{g\in G }\). Now
      \begin{align*} &\pmb{a\in Ker~\phi}\\ \implies& \pmb{\phi(a)=I_{G}}\\ \implies& \pmb{\theta_{a}=I_{G}}\\ \implies& \pmb{\theta_{a}(g)=I_{G}(g)}\\ \implies&\pmb{a\cdot g \cdot a^{-1}=g}\\ \implies&\pmb{a\cdot g=g\cdot a}\\ \implies&\pmb{a\in z(G)} \end{align*} Therefore \(\pmb{Ker~\phi \subseteq z(G)}\).

    • To prove \(\pmb{z(G) \subseteq Ker~\phi}\).
      Let \(\pmb{b\in z(G) }\) and \(\pmb{g\in G }\). Now \begin{align*} &\pmb{a\in z(G)}\\ \implies&\pmb{a\cdot g=g\cdot a}\\ \implies&\pmb{a\cdot g \cdot a^{-1}=g}\\ \implies& \pmb{\theta_{a}(g)=I_{G}(g)}\\ \implies& \pmb{\theta_{a}=I_{G}}\\ \implies& \pmb{\phi(a)=I_{G}}\\ \implies&\pmb{a\in Ker~\phi}\\ \end{align*} Therefore \(\pmb{z(G) \subseteq Ker~\phi}\).

    Hence \(\pmb{Ker~\phi=z(G)}\).

  Therefore by the isomorphism theorem, \(\pmb{\frac{G}{Z(G)}\backsimeq Inn(G)}\).

Theorem-4

  Statement:

  Let \(\pmb{(G,\cdot)}\) be a group and \(\pmb{H}\) be a subgroup of \(\pmb{G}\). Let \(\pmb{N(H)}\) and \(\pmb{C(H)}\) be the normalizer and centralizer of \(\pmb{H}\). Then \(\pmb{\frac{N(H)}{C(H)}\backsimeq}\) a subgroup of \(\pmb{Aut(G)}\).


  Proof:

  Given that \(\pmb{(G,\cdot)}\) is a group and \(\pmb{H}\) is a subgroup of \(\pmb{G}\). Also \(\pmb{N(H)}\) and \(\pmb{C(H)}\) are normalizer and centralizer of \(\pmb{H}\).
  Then we have \(\pmb{N(H)=\{x\in G~|~x\cdot H\cdot x^{-1}=H \}}\) and \(\pmb{C(H)=\{x\in G~|~x\cdot h\cdot x^{-1}=h~\forall~h\in H \}}\).
  To prove \(\pmb{\frac{N(H)}{C(H)}\backsimeq}\) a subgroup of \(\pmb{Aut(G)}\).

  Let us construct a mapping \(\pmb{f:N(H)\to Aut(H)}\) such that \(\pmb{f(a)=\theta_{a}~\forall~a\in N(H)}\) where \(\pmb{\theta_{a}|_{H}:H\to H}\) defined by \(\pmb{\theta_{a}|_{H}(x)=a\cdot x \cdot a^{-1}~\forall~x\in H}\). And we know that \(\pmb{Aut(H)}\) is a subgroup of \(\pmb{Aut(G)}\). Now

  • To prove \(\pmb{f}\) is well defined.
    Let \(\pmb{a,b\in N(H)}\). Such that \(\pmb{a=b}\). \begin{align*} &\pmb{a=b}\\ \implies&\pmb{a\cdot x \cdot a^{-1}=b\cdot x \cdot b^{-1}~\forall~x\in H}\\ \implies&\pmb{\theta_{a}|_{H}(x)=\theta_{b}|_{H}(x)~\forall~x\in H}\\ \implies&\pmb{\theta_{a}|_{H}=\theta_{b}|_{H}}\\ \implies&\pmb{f(a)=f(b)}\\ \end{align*} Therefore \(\pmb{f}\) is well defined.

  • To prove \(\pmb{f}\) is surjective.
    Let \(\pmb{\theta_{h}|_{H}\in Aut(H)}\) where \(\pmb{h\in H}\). Then \(\pmb{h\in N(H)}\) since \(\pmb{H\subseteq N(H)}\). So that \(\pmb{f(h)= \theta_{h}|_{H}}\).
    Implies \(\pmb{h}\) is a pre-image of \(\pmb{\theta_{h}|_{H}}\) in \(\pmb{N(H)}\). Since \(\pmb{\theta_{h}|_{H}}\) is an arbitrary member of \(\pmb{Aut(H)}\), therefore each member of \(\pmb{Aut(H)}\) has a pre-image in \(\pmb{N(H)}\).
    Hence \(\pmb{f}\) is surjective.

  • To prove \(\pmb{f}\) is homomorphism.
    Let \(\pmb{a,b\in N(H)}\). Then \begin{align*} \pmb{f(a\cdot b)}&=\pmb{\theta_{a\cdot b}|_{H}}\\ &=\pmb{\theta_{a}|_{H}\circ \theta_{b}|_{H}}\\ &=\pmb{f(a)\circ f(b)}\\ \end{align*} Therefore \(\pmb{f}\) is homomorphism.

  • To prove \(\pmb{Ker~f=C(H)}\)
    Let \(\pmb{I_{H}}\) be the identity mapping on \(\pmb{H}\)
    • To prove \(\pmb{Ker~f\subseteq C(H)}\)
      Let \begin{align*} &\pmb{a\in Ker~f}\\ \implies&\pmb{f(a)=I_{H}}\\ \implies&\pmb{\theta_{a}|_{H}=I_{H}}\\ \implies&\pmb{\theta_{a}|_{H}(x)=I_{H}(x)~\forall~ x\in H}\\ \implies&\pmb{a\cdot x \cdot a^{-1}=x~\forall~ x\in H}\\ \implies&\pmb{a\in C(H)}\\ \end{align*} Therefore \(\pmb{Ker~f\subseteq C(H)}\).

    • To prove \(\pmb{C(H)\subseteq Ker~f}\)
      Let \begin{align*} &\pmb{c\in C(H)}\\ \implies&\pmb{c\cdot x \cdot c^{-1}=x~\forall~ x\in H}\\ \implies&\pmb{\theta_{c}|_{H}(x)=I_{H}(x)~\forall~ x\in H}\\ \implies&\pmb{\theta_{c}|_{H}=I_{H}}\\ \implies&\pmb{c\in Ker~f} \end{align*} Threfore \(\pmb{C(H)\subseteq Ker~f}\).

    Hence \(\pmb{Ker~f=C(H)}\)

  Then by the isomorphism theorem, \(\pmb{\frac{N(H)}{C(H)}\backsimeq}\) a subgroup of \(\pmb{Aut(G)}\).

Applications

  Understanding inner automorphisms has applications beyond group theory. In physics, they help explain symmetries in physical systems, while in economics, group theory models complex systems and interactions. They also find applications in numerical methods, where transformations preserve certain structures and properties.

Conclusion

  In conclusion, inner automorphisms offer an insightful understanding of group structures and their automorphisms. The theorems discussed in this article provide a strong foundation for further study and research in Abstract Algebra and its applications. Students preparing for exams or pursuing research in mathematics must grasp these concepts thoroughly.

References

  • Algebra by Michael Artin
  • Abstract Algebra by David S. Dummit and Richard M. Foote
  • Research Paper on Automorphism Groups
  • A Course in Group Theory by John F. Humphreys
  • Algebraic Structures by Richard G. Swan
  • Mathematics Stack Exchange on Automorphisms
  • Journal of Algebra on Inner Automorphisms
  • Group Theory by Joseph J. Rotman
  • Isomorphisms and Groups – Springer Link
  • Automorphisms and Group Actions by László Lovász

Related Articles

  • Normal Subgroups and their Properties
  • Homomorphism
  • Automorphism
  • Introduction to Abstract Algebra

FAQs

  1. What is an inner automorphism? An inner automorphism is a transformation of a group element by conjugation within the group.
  2. What is the significance of inner automorphisms in group theory? Inner automorphisms help in understanding the structure of groups and their symmetry properties.
  3. How do inner automorphisms relate to the center of a group? The set of all inner automorphisms is isomorphic to the quotient of the group by its center.
  4. What is the difference between inner and outer automorphisms? Inner automorphisms are generated by elements within the group, while outer automorphisms involve transformations not expressible as inner automorphisms.
  5. What is the center of a group? The center of a group consists of all elements that commute with every other element of the group.
  6. How are inner automorphisms used in physics? In physics, they describe symmetries in quantum mechanics and gauge theory.
  7. What is the normalizer of a subgroup? The normalizer of a subgroup consists of all elements in the group that stabilize the subgroup under conjugation.
  8. How do centralizers differ from normalizers? Centralizers consist of all elements that commute with every element of the subgroup, while normalizers stabilize the subgroup.
  9. What are automorphism groups? Automorphism groups consist of all bijective mappings from a group to itself that preserve the group operation.
  10. How can I study inner automorphisms for exams like JEE and GATE? Understanding their definitions, key theorems, and applications will help you tackle questions on these topics in competitive exams.
Scroll to Top