A field is a number system, or more specifically, a set, which has addition, subtraction, multiplication and division defined in a certain manner. The most common types of fields are the field of real numbers, (and their subfields, like rational and irrational numbers), and the field of complex numbers.
Fields are commonly denoted with and the elements belonging to the field are sometimes called scalars
Disclaimer of ignorance
As I’m writing this, I’m an undergrad just beginning my linear algebra course. This stuff might be wrong. A lot of this abstract stuff is weird, and my notation might be very different from what you see on the internet. So this is the disclaimer.
Definition
A field is a set which includes any two unique Binary Operations. Most commonly, addition and multiplication are used, but any binary operators which satisfy the field properties can be used!
My Definition
- = Set which the field includes
- = Binary operators. The symbols here are completely arbitrary, but the two operations must be different. I specifically choose the and symbol because you’ll never see them anywhere else, so they can be considered the ‘general’ operator symbol
General Definition
- = Set which the field includes
- = Addition binary operator
- = Multiplication binary operator
It must satisfy certain properties:
My Simplified Axioms
These axioms are more generalised and also simplified. A field can only be defined if it follows these properties. Assume we have elements in the field, . Also assume that our binary operations are symbolised with and
1. Closure under operations
Both the binary operators defined in the field must output a value in the field. This comes from the definition of a binary operator:$$a * b \in F \ \ \ \ \ \ \ \ \ \ \ a\star b \in F
3. Commutativity
The two operands for a binary operator can be swapped, and the answer is unaffected:$$ab = ba\ \ \ \ \ \ \ \ \ \ a \star b = b\star a
5. Uniqueness of Identity
The identity for the first binary operator must be different from that of the second binary operator:$$\text{i} \neq {\scr i}
I’ve chosen to denote the inverse as the superscript () to makes things simpler, but this does not mean the inverse for is also the inverse for : $$a * a^{-1} = \text{i} {\centernot \implies} a \star a^{-1} = {\scr i}