I am trying to better understand the cyclic groups and so far understand that a non-trivial subgroup is a subgroup that DOES NOT contain just the element identity alone, i.e. $\langle 6\rangle = \{6\}$ is a TRIVIAL subgroup of $\mathbb{Z}/6\mathbb{Z}$.
However, how would one go about finding the NON-TRIVIAL subgroups? Lets say for example cyclic group $G = (\mathbb{Z}/89\mathbb{Z})^\times$. The factors of $89-1=88$, are $\{1,2,4,8,11,22,44,88\}$ so these are the orders of the elements.
Now I think I found a few NON TRIVIAL subgroups, but I am not sure if they are correct
$$
\langle 3\rangle = \{3,9,12,15,18,\ldots\}\\
\langle 4\rangle = \{4,8,12,16,\ldots\}\\
\langle 15\rangle = \{15,30,45,\ldots\}
$$
Best Answer
The subgroups you found are indeed non-trivial. In general the cyclic subgroup $\langle g\rangle$ generated by any non-identity element $g$ of a group $G$ must be non-trivial, since it contains at least $g$. (To enumerate all the elements of a cyclic subgroup of a finite group, just keep taking powers of the generator $g$ until you have the identity in your subgroup, then stop.)
For example, in your group $(\mathbb{Z}/89\mathbb{Z})^\times$, you can take $g=55$ and calculate its powers. We find $g^1 = 55$, $g^2 = 3025$, which $\equiv 88 \pmod{89}$. Then $g^3 = 166375 \equiv 34 \pmod{89}$, and finally $g^4 = 9150625 \equiv 1\pmod{89}$ is the identity. So $\langle 55\rangle = \{55, 88,34,1\}$ is a non-trivial cyclic subgroup of order 4. (Of course, we could have avoided the huge powers by performing multiplication on the "modded" terms.)