0
$\begingroup$

I have the question:
compute $\phi(24)$ for each element Z/24 decide whether the element is a unit or a zero divisor, if the element is a unit divisor give its order and find its inverse.

Ive worked out $\phi(24)=8$
and the unit divisors to be ${1,5,7,11,13,17,19,23}$
however when I came to working out the order I got them all to be 2?

  • 2
    @jill You can write $(\mathbb{Z}/24)^{\times} \cong (\mathbb{Z}/8)^{\times} \times (\mathbb{Z}/3)^{\times} \cong \mathbb{Z}/2 \times \mathbb{Z}/2 \times \mathbb{Z}/2$ in which it's easy to see that all elements have order at most $2$2012-11-28

2 Answers 2

1

If you look at the numbers mod 6 (the prime divisors of 24 being 2 and 3) you eliminate those equivalent to 0,2,3,4 - so you have left those equivalent to 1 and 5 (i.e. $6n \pm 1$). You could confirm your answer by looking at what happens to the numbers $(6n \pm 1)^2$ when they are taken mod 24.

1

$(2a+1)^2=4a^2+4a+1=8\frac{a(a+1)}2+1\equiv \pmod 8\implies c^2\equiv1\pmod 8$ if $(c,8)=1$

Now, $(3b\pm1)^2\equiv 1\pmod 3\implies c^2\equiv1\pmod 3$ if $(c,3)=1$

If $(c,8)=1$ and $(c,3)=1$ i.e., if $(c,24)=1, lcm(3,8)\mid (c^2-1)\implies c^2\equiv1\pmod{24}$

So, $ord_{24}c\mid 2$

But clearly, $ord_{24}c\ne1$ for $c>1\implies ord_{24}c=2$ for $c>1$ and $(c,24)=1$