Apologies for the super-basic question. Looking at Wikipedia's definition of a finite field $F$, it is a set with $n$ elements with two binary operations that produce from an ordered pair of $F$ an uniquely determined element of $F$, called addition and multiplication. Addition and multiplication must be associative, commutative and distributive. Every element of $F$ must have an additive inverse, and every non-zero element of $F$ must have a multiplicative inverse. Division by zero is prohibited. Any element add zero is itself, and any element times one is itself, and no other elements of $F$ satisfy these identities in the place of zero, one.
Everyone also seems to say that if $F$ has a finite $n$ number of elements, $\underbrace{1+1+1+\dots+1}_{\text{$n$ times}}=n=0$. I do not see how this follows from the field axioms!
Wikipedia also provides an example of $F_4$, which has four elements $O, I, A, B$ where $O,I$ are the multiplicative and additive identities respectively. They state as if it's completely obvious that $A+B=I,\,A\cdot B=I$ and $A\cdot A=B$. My thoughts on these three equations:
In the first equation, as $A,B$ are not the additive identity, $A+B\neq A, A+B\neq B$, but since $B$ could well be $A$'s additive inverse, as such a thing is defined to exist, $A+B$ could be, to my mind, $O$, as well as $I$. Likewise $A\cdot B$ must be neither $A$ nor $B$, but again it could be $O$ or $I$, as I saw nowhere in the field axioms any statement declaring that any element multiplied with zero must be zero, and zero is the only such number for which that is true. Indeed, nowhere in the axioms do I see anything that necessitates that multiplication must be defined as repeated addition. Clearly it has to be, but I can't see how to prove it, and therefore I can't see how to prove that the zero of a field is the only number for which multiplication by it always takes the result to zero.
My confusion is clear; since the axioms define properties of operations, but not rules for what these operations are (as it is a general, abstract algebraic idea), in any finite field, how on earth can you determine what $x\cdot y=?$ and $x+y=?$, as the normal ideas of $1+1=2$ that you might build upon do not hold for all fields! What is the fundamental logic basis for the arithmetic here?
Many thanks!
Best Answer
All of these follow from the field axioms. $0$ times any element is $0$ because:
$0x=(0+0)x=0x+0x$
Now add the additive inverse of $0x$ to both sides to get $0x=0$.
Next, if $xy=0$ and $x\ne 0$ then you can multiply the equation by $x^{-1}$ to get $y=0$. So $xy=0$ in a field implies that at least one of $x,y$ is $0$.
Finally, you ask why a finite field has nonzero characteristic. So suppose $F$ is a finite field. Let me denote the sum $1+...+1$ $n$ times simply by $n^F$. Since the field is finite, there must be some natural $n<m$ such that $n^F=m^F$. And then:
$(m-n)^F=\underbrace{1+1+1+\dots+1}_{\text{$m-n$ times}}=0$
So indeed $F$ has finite characteristic.