Talk:Isomorphism between Additive Group Modulo 16 and Multiplicative Group Modulo 17

The fact that 3 is a primitive element mod 17 should be needed. Also, some \eqclass signs are missing. I will come back here later. --Z423x5c6 (talk) 07:47, 29 July 2021 (UTC)