Group Theory

Self‑contained • No deps

What this is? A self‑contained, browser‑only ARC harness that demonstrates finite group theory with three small groups: Z/12Z (addition mod 12), S₄ (permutations on 4 symbols), and GL(2, Z₅) (invertible 2×2 matrices mod 5). It prints results and a verification harness entirely on this page—no network, no libraries.

How to use it: Press Run to generate the analysis and optionally export the ARC report. The output is organized as Answer (results), Reason why (explanations), and Check (axioms/homomorphisms and sanity tests).

This page is for reproducibility and documentation; it is not a substitute for a group theory text.

Run

Copy ARC
Deterministic sampling with a fixed seed; computation happens locally in your browser.

ARC Output

Answer
(no run yet)
Reason why
(no run yet)
Check (harness)
(no run yet)