If you find any mistakes, please make a comment! Thank you.

## The inverse of a product is the reversed product of inverses

Let $G$ be a group. Prove that $$(a_1 \cdot \ldots \cdot a_n)^{-1} = a_n^{-1} \cdot \ldots \cdot a_1^{-1}$$ for all $n \in \mathbb{Z}^+$ and $a_i \in G$.

Solution: For $n = 1$, note that for all $a_1 \in G$ we have $a_1^{-1} = a_1^{-1}$.

Now for $n \geq 2$ we proceed by induction on $n$. For the base case, note that for all $a_1, a_2 \in G$ we have $$(a_1 \cdot a_2)^{-1} = a_2^{-1} \cdot a_1^{-1}$$ since $$a_1 \cdot a_2 \cdot a_2^{-1} a_1^{-1} = 1.$$ For the inductive step, suppose that for some $n \geq 2$, for all $a_i \in G$ we have $$(a_1 \cdot \ldots \cdot a_n)^{-1} = a_n^{-1} \cdot \ldots \cdot a_1^{-1}.$$ Then given some $a_{n+1} \in G$, we have \begin{align*} (a_1 \cdot \ldots \cdot a_n \cdot a_{n+1})^{-1} = &\ \left( (a_1 \cdot \ldots \cdot a_n) \cdot a_{n+1} \right)^{-1}\\ = &\ a_{n+1}^{-1} \cdot (a_1 \cdot \ldots \cdot a_n)^{-1}\\ = &\ a_{n+1}^{-1} \cdot a_n^{-1} \cdot \ldots \cdot a_1^{-1}, \end{align*} using associativity and the base case where necessary.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 1.0000098943710327, "perplexity": 182.8326504065466}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-49/segments/1669446710808.72/warc/CC-MAIN-20221201085558-20221201115558-00064.warc.gz"}