Fields Summary

Abstract Algebra · Axiom Academy

Let's review how fields provide the richest algebraic structure, enabling polynomial solutions and bridging algebra with geometry. Definition: A commutative ring with unity where every non-zero element has a multiplicative inverse Two Operations: Addition and multiplication both form abelian groups (except 0 has no multiplicative inverse) Key Examples: (rationals), (reals), (complex numbers), (integers mod p, where p is prime) Ultimate Structure: Fields sit atop the algebraic hierarchy—every field is an integral domain, but not conversely Definition: A commutative ring with unity and no zero divisors—if ab = 0 , then a = 0 or b = 0 Cancellation Law: In domains, if ac = bc and , then a = b Key Examples: (integers), polynomial rings F[x] over fields, Field of Fractions: Every integral domain D embeds in a field , just as embeds in Extension : K is a field containing F as a subfield. K becomes a vector space over F Degree [K:F] : The dimension of K as an F-vector space. For over , the degree is 2 with basis Tower Law: If , then —degrees multiply along extension chains Algebraic Elements: is algebraic over F if it satisfies a polynomial equation with coefficients in F; otherwise transcendental Classification: Every finite field has order p^n for some prime p and positive integer n , denoted or Uniqueness: For each prime power p^n , there is exactly one field (up to isomorphism) of that order

This is the written version of the interactive lesson above. See the full Abstract Algebra course.