# Multiplicative Group of Reduced Residues Modulo 8 is Klein Four-Group

## Theorem

Let $K_4$ denote the Klein $4$-group.

Let $R_4$ be the multiplicative group of reduced residues Modulo $8$.

Then $K_4$ and $R_4$ are isomorphic algebraic structures.

## Proof

Establish the mapping $\phi: K_4 \to R_4$ as follows:

 $\ds \map \phi e$ $=$ $\ds \eqclass 1 8$ $\ds \map \phi a$ $=$ $\ds \eqclass 3 8$ $\ds \map \phi b$ $=$ $\ds \eqclass 5 8$ $\ds \map \phi c$ $=$ $\ds \eqclass 7 8$

From Isomorphism by Cayley Table, the two Cayley tables can be compared by eye to ascertain that $\phi$ is an isomorphism:

### Cayley Table of Klein $4$-Group

The Cayley table for $K_4$ is as follows:

$\begin{array}{c|cccc} & e & a & b & c \\ \hline e & e & a & b & c \\ a & a & e & c & b \\ b & b & c & e & a \\ c & c & b & a & e \\ \end{array}$

### Multiplicative Group of Reduced Residues Modulo $8$

The Cayley table for $S$ is as follows:

$\begin{array}{r|rrrr} \times_8 & \eqclass 1 8 & \eqclass 3 8 & \eqclass 5 8 & \eqclass 7 8 \\ \hline \eqclass 1 8 & \eqclass 1 8 & \eqclass 3 8 & \eqclass 5 8 & \eqclass 7 8 \\ \eqclass 3 8 & \eqclass 3 8 & \eqclass 1 8 & \eqclass 7 8 & \eqclass 5 8 \\ \eqclass 5 8 & \eqclass 5 8 & \eqclass 7 8 & \eqclass 1 8 & \eqclass 3 8 \\ \eqclass 7 8 & \eqclass 7 8 & \eqclass 5 8 & \eqclass 3 8 & \eqclass 1 8 \\ \end{array}$
{"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": 2, "mathjax_display_tex": 0, "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, "url": "https://www.proofwiki.org/wiki/Multiplicative_Group_of_Reduced_Residues_Modulo_8_is_Klein_Four-Group", "fetch_time": 1701740800000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-50/segments/1700679100540.62/warc/CC-MAIN-20231205010358-20231205040358-00251.warc.gz", "warc_record_offset": 1073394238, "warc_record_length": 11713, "token_count": 544, "char_count": 1352, "score": 3.796875, "int_score": 4, "crawl": "CC-MAIN-2023-50", "snapshot_type": "latest", "language": "en", "language_score": 0.4674702286720276, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00001-of-00064.parquet"}