Field has no Proper Zero Divisors/Proof 2
Jump to navigation
Jump to search
Theorem
Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose unity is $1_F$.
Then $\struct {F, +, \times}$ has no proper zero divisors.
That is:
- $a \times b = 0_F \implies a = 0_F \lor b = 0_F$
Proof
\(\ds a\) | \(\ne\) | \(\ds 0_F\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds a^{-1} \times \paren {a \times b}\) | \(=\) | \(\ds a^{-1} \times 0_F\) | $a^{-1}$ exists because $a \ne 0_F$ | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \paren {a^{-1} \times a} \times b\) | \(=\) | \(\ds a^{-1} \times 0_F\) | Field Axiom $\text M1$: Associativity of Product | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds 1_F \times b\) | \(=\) | \(\ds a^{-1} \times 0_F\) | Field Axiom $\text M4$: Inverses for Product | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds b\) | \(=\) | \(\ds a^{-1} \times 0_F\) | Field Axiom $\text M3$: Identity for Product | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds b\) | \(=\) | \(\ds 0_F\) | Field Product with Zero |
$\blacksquare$
Sources
- 1964: Iain T. Adamson: Introduction to Field Theory ... (previous) ... (next): Chapter $\text {I}$: Elementary Definitions: $\S 2$. Elementary Properties
- 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): Chapter $4$: Fields: $\S 14$. Definition of a Field
- 1973: C.R.J. Clapham: Introduction to Mathematical Analysis ... (previous) ... (next): Chapter $1$: Axioms for the Real Numbers: $2$. Fields: Theorem $3 \ \text {(v)}$