Abstract algebra Study Guide

📖 Core Concepts Algebraic structure: a set equipped with one or more operations satisfying specified axioms (e.g., groups, rings, fields). Magma → Semigroup → Monoid → Group: each adds a new property (associativity, identity, inverses). Ring: two operations; addition forms an abelian group, multiplication is associative and distributes over addition. Field: a commutative ring where every non‑zero element has a multiplicative inverse. Module: like a vector space but scalars come from a ring instead of a field. Algebra over a field: a vector space with a bilinear multiplication compatible with the field scalars. Division algebra: a ring where every non‑zero element has a two‑sided inverse (e.g., ℝ, ℂ, ℍ). Ideal: a subset of a ring closed under addition and under multiplication by any ring element; central to Dedekind domains. Category: collection of objects (algebraic structures) and morphisms (homomorphisms) that can be studied uniformly. 📌 Must Remember Jordan–Hölder theorem: any two composition series of a finite group have the same length and isomorphic factor groups. Wedderburn‑Artin theorem: a finite‑dimensional semisimple algebra ≅ a finite direct product of matrix algebras over division algebras. Gauss’s UFD result: Gaussian integers ℤ[i] form a unique factorization domain. Dedekind’s ideal factorization: every non‑zero ideal in a ring of algebraic integers factors uniquely into prime ideals. Finite fields: exist for every prime power $p^n$; the field with $p$ elements is $\mathbb{Z}/p\mathbb{Z}$. Quaternions $\mathbb{H}$: first non‑commutative division algebra (Hamilton, 1843). 🔄 Key Processes Building a group from a magma Verify associativity → semigroup. Find an identity element → monoid. Check each element has an inverse → group. Constructing a field from a ring Ensure ring is commutative. Confirm every non‑zero element has a multiplicative inverse. Decomposing a semisimple algebra (Wedderburn‑Artin) Identify simple two‑sided ideals. Show each simple component is isomorphic to $Mk(D)$ (matrix algebra over a division algebra $D$). Take the direct product of all such components. Factorizing an ideal in a Dedekind domain List all prime ideals containing the ideal. Use unique factorization of ideals to express the ideal as a product of powers of those prime ideals. 🔍 Key Comparisons Group vs. Monoid: Group: every element has an inverse. Monoid: may lack inverses. Ring vs. Field: Ring: multiplication need not be invertible or commutative. Field: commutative and every non‑zero element is invertible. Division Algebra vs. Field: Division algebra: may be non‑commutative (e.g., $\mathbb{H}$). Field: always commutative. Module vs. Vector Space: Module: scalars from a ring (possibly non‑field). Vector space: scalars from a field. ⚠️ Common Misunderstandings “All algebras are associative.” Not true; Lie algebras are non‑associative but satisfy the Jacobi identity. “Every finite‑dimensional division algebra over ℝ is a field.” False; quaternions $\mathbb{H}$ are a non‑commutative division algebra. “A semigroup automatically has an identity.” No; identity is an extra requirement to become a monoid. “Unique factorization of elements implies unique factorization of ideals.” The converse holds in general; in Dedekind domains ideals factor uniquely even when the ring is not a UFD. 🧠 Mental Models / Intuition Hierarchy ladder: think of adding “rules” as climbing a ladder—each rung (associativity, identity, inverses, commutativity, inverses for all non‑zero) gives a stricter structure. Decomposition as Lego blocks: Wedderburn‑Artin breaks a semisimple algebra into matrix‑block “bricks” (simple components). Ideal factorization like prime factorization of numbers: just as integers break into prime numbers, ideals break into prime ideals in a Dedekind domain. 🚩 Exceptions & Edge Cases Non‑commutative division algebras exist only in dimensions 1, 2, 4 over ℝ (ℝ, ℂ, ℍ) – no higher‑dimensional examples (Frobenius theorem). Finite fields: only exist for prime‑power orders; there is no field of order 6. Jordan–Hölder requires the group to be finite (or at least of finite length). 📍 When to Use Which Use Jordan–Hölder when asked to compare composition series or prove simplicity of a factor group. Apply Wedderburn‑Artin when a problem states “semisimple algebra” or asks for a structural description of a finite‑dimensional algebra. Invoke Dedekind’s ideal factorization for number‑theoretic questions about prime decomposition in rings of integers. Choose field vs. ring depending on whether invertibility of non‑zero elements is required (e.g., cryptographic algorithms need fields). 👀 Patterns to Recognize “Finite‑dimensional + semisimple” → direct product of matrix algebras (Wedderburn‑Artin). “Chain of subgroups with simple factors” → composition series (Jordan–Hölder). “Non‑commutative division algebra over ℝ” → only possible is quaternions. “Prime power order → finite field exists”; look for $p^n$ in problem statements. 🗂️ Exam Traps Distractor: Claiming “all division algebras are fields.” Remember quaternions are a counterexample. Trap: Assuming any semisimple algebra is a single matrix algebra; the correct answer may be a product of several matrix algebras. Misread: Confusing “UFD for elements” with “unique factorization of ideals.” In rings like $\mathbb{Z}[\sqrt{-5}]$, elements fail UFD but ideals still factor uniquely. Off‑by‑one: Believing a field of order 6 exists; the correct condition is order = $p^n$ with $p$ prime. --- Use this guide to quiz yourself: can you state each theorem in one sentence? Can you draw the hierarchy ladder from magma to field? Spot the pattern in a new algebraic structure and decide which theorem applies?