How is the multiplicative structure of $F_4$ same as that of `Z mod 3`
In this video - https://youtu.be/BbxsiGjbYD4?t=47
he talks about the Finite Field $F_4 = \{0, e, a, b\}$
A little ahead at this point (https://youtu.be/BbxsiGjbYD4?t=165), he says that the multiplicative structure of the field is same as the multiplicative structure of Z mod 3
(He writes it as $Z_3$)
I don't understand how this is true. The multiplicative structure of Z mod 3
has only 2 elements 1 & 2 in the multiplicative structure (zero does not have an inverse) while the multiplicative structure of this group has 3 elements {e, a, b}
EDIT: If he means the whole of $Z_3$, even then how is the same?
For $F_4$, the Cayley Table is
\begin{array} {|r|r|}\hline * & e & a & b \\ \hline e & e & a & b \\ \hline a & a & b & e \\ \hline b & b & e & a \\ \hline \end{array}
For "whole of $Z_3$" it is
\begin{array} {|r|r|}\hline * & 0 & 1 & 2 \\ \hline 0 & 0 & 0 & 0 \\ \hline 1 & 0 & 1 & 2 \\ \hline 2 & 0 & 2 & 1 \\ \hline \end{array}
These don't look like similar structures.
Or does he mean that the multiplicative structure of $F_4^\times$ is same as the additive structure of $Z_3$?
Solution 1:
Or does he mean that the multiplicative structure of $F_4^\times$ is same as the additive structure of $Z_3$?
Yes, that's exactly what he means. He even wrote "$F_4^\times\simeq\mathbb{Z}_3$" in the video.
First of all, because that is true (other variants are simply not).
But also because he is talking about groups. It is standard notation that $R^\times$ denotes the multiplicative group of a ring $R$ (the group of all units, in case of field $F^\times=F\backslash\{0\}$) with multiplication as group operation. On the other hand when someone treats a ring $R$ as a group, then typically what he means is "with addition".
Solution 2:
Or does he mean that the multiplicative structure of $F^\times_4$ is same as the additive structure of $Z_3$?
Without watching the video: this is almost certainly what he meant, since it is true, and more or less obvious once you assume that $F^\times_4$ are the units of a field with four elements. If he explicitly said "the multiplicative structure of $\mathbb Z\text{ mod }3$" then he probably misspoke.