What is the largest order of any element in $U_{900}$?

Question

What is the largest order of any element in $U_{900}$? I found that it is isomorphic to $\mathbb Z _{240}$. So I guess that it should be $240$. Am I correct?

$U_{900}$ does have 240 elements, but it's not isomorphic to $\mathbb Z _{240}$ — Josh B., Apr 10 '13 at 15:49
How can you be sure about this? Actually I have wrong idea, so I want to clear it . — Sankha, Apr 10 '13 at 16:00

score 12 · Accepted Answer · answered Apr 10 '13 at 15:57

You first factorise $900 = 3^2 \cdot 5^2 \cdot 2^2$. Then you determine the maximal order in $U_9$, in $U_{25}$ and in $U_4$ (you should already know the general structure of the groups for prime powers). Finally, the Chinese remainder theorem tells you that $U_{900}$ is the product of these three groups, so the maximal order in $U_{900}$ is the least common multiple of the maximal orders in the three components.

Math Gems · Answer 2 · 2013-04-10T16:21:52.707

Hint $\ $ The CRT decomposition is $\rm\ \Bbb Z/900 = \Bbb Z/4 \times \Bbb Z/9 \times \Bbb Z/25\ $ so $\rm\: U_{900} = U_{4}\times U_9\times U_{25},\ $ a product of cyclic groups of order $\rm\ \phi(4)=2,\ \phi(9)=6,\ \phi(25)=20,\:$ with lcm $= 60,\:$ not $240$. This implies $\rm\:a^{60} = 1\:$ for all $\rm\:a\in U_{900}.\:$ Indeed, if $\rm\:(a,b,c)\in C(i) \times C(j) \times C(k),\:$ a product of cyclic groups of order $\rm\:i,j,k,\:$ then

$$\rm \ell = lcm(i,j,k)\mid n\:\Rightarrow\: i,j,k\mid n\:\Rightarrow\:(a,b,c)^n = (a^n,b^n,c^n) = 1$$

So the largest order $\rm\:\color{#c00}{m \le \ell}.\:$ Conversely, taking $\rm\:a,b,c\:$ to be generators

$$\rm\ 1 = (a,b,c)^n = (a^n,b^n,c^n) \:\Rightarrow\: i,j,k\mid n\:\Rightarrow\ \ell = lcm(i,j,k)\mid n$$

Thus $\rm\: \ell\le m.\:$ Combining $\rm\: \color{#c00}{m \le \ell} \le m,\:$ hence $\rm\:m = \ell.$

Remark $\ $ Look up the Carmichael lambda function to learn more about the general case.

score 1 · Answer 3 · answered Apr 10 '13 at 15:55

1

That's the largest possible order, but that doesn't mean that there must exist an element with such an order. I ran a Python script and could not find any.

for i in range(900):
    if gcd(900, i) == 1:
        order = 1
        total = i
        while total != 1:
            total = (total * i) % 900
            order += 1
        if order == 240:
            print(i)

EDIT: Today I learned you need <pre> tags.

answered Apr 10 '13 at 15:55

Henry Swanson

12,972

There's a "code" button which will put four spaces before each line of code. This is interpreted in the same way. – Douglas S. Stones Apr 10 '13 at 16:35
Did you compute the largest order of any element? Otherwise, this would be a comment, not an answer to the question. – robjohn Apr 10 '13 at 17:17

score 1 · Answer 4 · answered Apr 10 '13 at 15:58

1

Using Carmichael Function

$\lambda(900)=$lcm$(\phi(2^2),\phi(3^2),\phi(5^2))=$lcm$(2,6,20)=60$

answered Apr 10 '13 at 15:58

lab bhattacharjee

274,582

What is the largest order of any element in $U_{900}$?

4 Answers4