# Proving that ${\rm Aut } G$ has an identity element

In proving the set of automorphisms of a group $$G$$ is a group, I need to verify the existence of an identity element. I can manage to show that the identity map is an element of this group, but demonstrating that it performs the operation of an identity (which should be the easiest part) is confusing.

First, we take the map $$e: G \to G$$ defined by $$x \mapsto x$$. This map is surjective since for any $$y \in G$$, $$\exists x = y$$ such that $$e(x) = y$$. This map is injective since $$e(x) = e(y)$$ implies $$x = y$$ for any $$x, y \in G$$. Thus, $$e$$ is bijective. Since for any $$x, y \in G$$, we have \begin{align*} e(xy) = xy = e(x)e(y), \end{align*} $$e$$ possesses the homomorphism property. Thus, $$e$$ is an isomomorphism from $$G$$ to itself, and is hence an element of $${\rm Aut } G$$.

The role that this map $$e$$ should play is that for any $$f \in {\rm Aut }G$$, we have \begin{align*} e \circ f = f \circ e = f. \end{align*} For the map $$f: G \to G$$, $$x \mapsto y$$, where $$f \in {\rm Aut } G$$, we have \begin{align*} (e \circ f)(x) &= e(f(x)) = e(y) = y \\ (f \circ e)(x) & = f(e(x)) = f(x) = y. \end{align*} Hence, $$e \circ f = f \circ e$$ since $$x \in G$$ was arbitrary.

Is this a valid proof? Have I missed anything?

New contributor
John P. is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
• Did you rename $i$ to $e$ on the fly? – Christoph 2 days ago
• In the second last equation it should be $f(x)$ not $e(x)$. – PrudiiArca 2 days ago
• @PrudiiArca It's $e(y)$, but I agree the notation is confusing. – Christoph 2 days ago
• I accidently used $i$ and $e$ interchangeably. Sorry about that. I'll use more consistent notation. – John P. 2 days ago
• I apologize. Why is it $f(x)$? I must be missing something. – John P. 2 days ago

1. Instead of calling the identity map on $$G$$ by names like $$i$$ or $$e$$, just stick to the usual convention of $$\operatorname{id}_G$$.
2. When you consider an arbitrary automorphism $$f\colon G\to G$$, don't define it as "$$x\mapsto y$$". This "$$y$$" depends on the choice of $$x$$, and that gets lost in your notation. Just keep referring to it as $$f(x)$$.
\begin{align*} (\operatorname{id_G}\circ f)(x) &= \operatorname{id_G}(f(x)) = f(x), \\ (f\circ \operatorname{id_G})(x) &= f(\operatorname{id_G}(x)) = f(x). \\ \end{align*}
Furthermore, in the conclusion you need $$\operatorname{id_G}\circ f = f\circ\operatorname{id_G} = f.$$ You missed the last part.