Compact complex subgroups - Viewer Submission 

Hey ! I think you have the right answer, not sure though as i don't have a correction... You probably already know it but the Gk = {exp((2*i*n*pi)/k) | n in [0, k-1]} are pretty common groups called the k-th roots of the unity as they satisfy the equation z^k = 1 and are usually denoted Uk, k being a non-zero natural number, here in France. I have the confirmation that these groups are a part of the solution. For the infinite groups, i agree that U (the unity circle or trigonometric circle) is a compact subgroup though i don't have a justification for it being the only one. Your argument with the rational / irrationnal numbers might be enough as if you have a rationnal number in a subgroup, you will end up generating one of the Uk and if you have an irrationnal in the subgroup, you will end up with the whole circle, therefore showing that you cannot generate something else than the Uk or U (as the irrationnal and rationnal numbers form a partition of the real numbers) I also want to apologize for taking so long to answer i just really wanted to find an answer to the infinite group problem but ended up finding none, so yeah, i'm really sorry D: