Abstract Algebra Summary

Intro to Proofs · Axiom Academy

A single idea ran through the whole unit: reason from axioms, and one proof governs every structure that satisfies them — from finite groups to infinite fields. Abstraction reveals unity. Numbers, symmetries, and functions look unrelated, yet share the same algebraic skeleton — so one theorem speaks about all of them at once. Proofs from axioms transfer. Starting from the minimal axioms means every result holds for every structure satisfying them — no case-by-case rechecking. Structure-preserving maps move knowledge. Homomorphisms and isomorphisms let a fact proved in one system carry over to another. Constraints enable classification. A single result like Lagrange's theorem rules out most candidate structures, making finite groups tractable. It powers the real world. The same machinery runs cryptography, error-correcting codes, and the symmetry laws of physics. Core Concept Groups: the structure of symmetry A group is a set with one binary operation obeying four axioms. They capture the essence of symmetry: anything that can be composed and reversed forms a group. Every group property — including uniqueness of the identity and of inverses — follows from those axioms alone. Examples: integers under addition, dihedral symmetries of shapes, matrix groups, permutations. Watch out for: the operation must be closed and associative — those are the conditions most often quietly violated. Core Concept Subgroups & internal structure

This is the written version of the interactive lesson above. See the full Intro to Proofs course.