Then, strictly speaking, each member of Z3[/sup] is an equivalence class, each class containing exactly one non-negative integer less than 3. That is, there is an equivalence class containing 0, and equivalence class containing 1, and an equivalence class containing 2. That is, I presume, what you mean by [itex]\bar{0}[/itex], [itex]\bar{1}[/itex], and [itex]\bar{2}[/itex]. Since that does NOT have 9 members. Am I to assume that you mean the set of all numbers of the form [itex]a\alpha+ b[/itex] where a and b are in Z3 and [itex]\alpha[/itex] satisfies the equation above? That has nine members: 0, 1, 2, [itex]\alpha[/itex], [itex]\alpha+ 1[/itex], [itex]\alpha+ 2[/itex], [itex]2\alpha[/itex], [itex]2\alpha+ 1[/itex], and [itex]2\alpha+ 2[/itex].
Set up your table so it has those both along the top and verticaclly on the left. Multiply each of the 81 pairs and reduce to one of those 9 forms by using the equation [itex]\alpha[/itex] satisfies. For example, [itex]\left(\alpha+ 1\right)\left(2\alpha+ 1\right)= 2\alpha^2+ 3\alpha+ 1[/itex]. Since [itex]\alpha^2+ 1= 0[/itex], [itex]\alpha^2= -1[/itex]. Of course, 3 is equivalent to 0 mod 3 so this reduces to [itex]-2+ 1= -1[/itex] which is 2 mod 3:[itex]\left(\alpha+ 1\right)\left(2\alpha+ 1\right)= 2[/itex].
No, the LaTex editor here does not "suck" but it is a bad idea to try to combine both LaTex and non-LaTex in the same formula: use LaTex for the entire formula.