Show in a group $G$ that $(a^{-1})^{-1} = a $.

The proof looks fine. However, since you make a point of both mentioning and proving that each element has a unique inverse I would advise you to make precise what you mean when you write $a^{-1}$.

Tags:

Group Theory

Proof Verification

Related

Understanding the difference between pre-image and inverse Derived proofs of elementary homological algebra theorems? Estimates on number of topologies on a finite set singular shock solutions for strictly hyperbolic system of conservation law Minimal polynomial of $\sqrt{2+\sqrt[3]{3}}$ over $\mathbb{Q}$ Evaluate this $\lim\limits_{n \to \infty}\int\limits_{1/n}^{n}\left(\cos x-\cos(x/2)\right)\frac{\ln x}{x}dx$ If $L(\Bbb{R}^n)$ is the space of $\Bbb{R}$-linear maps from $\Bbb{R}^n$ to $\Bbb{R}^n$, which of the following are true? "Distance" between summands in Taylor Series of Cosine Integrating $\int_0^1\frac{x\ln (1+x)}{1+x^2}dx$ with restricted techniques If every polynomial in $k[x]$ has a root in $E$, is $E$ algebraically closed? Integral involving $\tan(\ln(x))$ How to evaluate $\int_{0}^{\infty}\ln^2(x)\ln(1+x)\ln^2\left(1+\frac{1}{x}\right)\frac{dx}{x}$

Recent Posts