# Inverse of zero missing for all finite fields

I am having a little touble with finite fields at the moment. I am just working from a high school text wich says that the inverse of an element in a group is unique, which to me implies that all elements have an inverse. But when I look a any multiplicative group $F_2$, the zero $0$ element never has an inverse?

I was wondering if I have something wrong or is zero special? Or is the theorem wrong? The thing that worries me is that if I treated groups abstractly, with symbols rahter than numbers, then 0 would look very strange, i.e. what would zero correlate isomorphically with symetries?

I think I should know this.

• Look at the field axioms again. $(F\setminus \{0\}, \cdot)$ must be a group and $(F, +)$ with inverses denoted by $a^{-1}$ and $-a$ resp. Thus $0$ need not have (and has never) a multiplicative inverse. – AlexR Sep 29 '14 at 8:21
• OK so the multiplicative group extends the additive group, but excludes the additive identity. – Michael T Mckeon Sep 29 '14 at 8:57
• As AlexR said, $0$ does not need to have an inverse. To see why $0$ never has an inverse in non-trivial rings, see this. – gebruiker Sep 29 '14 at 8:57
• @MichaelTMckeon The multiplicative group is not so much an extension of the additive group. It is just the set of elements that form a group under multiplication. $0$ is then excluded, because it has no inverse under multiplication, and thus does not belong to the multiplicative group. – gebruiker Sep 29 '14 at 9:03

You say that:

the inverse of an element being unique implies that every element has an inverse.

This is not true. For example, when you say: "Every married man has exactly one wife." it does not imply that every man is married. Likewise, what you wrote simply says that if an element has an inverse, then that inverse is unique.

Yes, it is pretty special. It is the only element in a ring, for which $a+0=0+ a=a$, for all elements $a$ of the ring. Furthermore, every ring has a zero.
I find it very difficult to understand what you are trying to say in your last sentence. You need to learn clearly the difference between groups, rings, and fields. Also, groups are always considered "abstractly" and rarely ever with numbers (rather numerals). Groups will always have a neutral element. As a consequence of that, rings will always have a zero. You don't have to call it zero, but there will always be an element $x$ in the ring such that, $a*x=x*a=a$ for all elements $a$ of the ring, where $*$ is one of the opererations defined on the ring. You may call it whatever you like.
To see why $0$ never has a multiplicative inverse in a nontrivial ring, see my answer here.
The additive group of the field $F_q$ contains the $q$ elements $0,1,2,\ldots,q-1$. The multiplicative group of $F_q$ contains the $q-1$ elements $1,2,\ldots,q-1$ (and does not contain $0$).
In your example, the multiplicative group of $F_2$ just contains the single element $1$.