Question
Which of the following is the defining property
of the characteristic p for a finite field F:
A) The sequence of elements `1_F , 2 * 1_F , 3 * 1_F , ...`
is infinite because the characteristic is prime.
B) The elements `1_F , 2 * 1_F , ... , (p - 1) * 1_F`
are all distinct , and the next element , `p * 1_F` equals
`0_F`
?