Category:Definitions/Examples of Fields

From ProofWiki
Jump to navigation Jump to search

This category contains definitions of examples of fields in the context of Abstract Algebra.


A field is a non-trivial division ring whose ring product is commutative.


Thus, let $\struct {F, +, \times}$ be an algebraic structure.


Then $\struct {F, +, \times}$ is a field if and only if:

$(1): \quad$ the algebraic structure $\struct {F, +}$ is an abelian group
$(2): \quad$ the algebraic structure $\struct {F^*, \times}$ is an abelian group where $F^* = F \setminus \set 0$
$(3): \quad$ the operation $\times$ distributes over $+$.

Pages in category "Definitions/Examples of Fields"

The following 5 pages are in this category, out of 5 total.