Results 1 to 3 of 3

Math Help - Group of Unitary Roots

  1. #1
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10

    Group of Unitary Roots

    I came up with a new group.
    Let \mathbb{G}= \bigcup_{n=1}^{\infty}U_n where U_n = \{z\in \mathbb{C} | z^n = 1\}.

    Then \mathbb{G} under complex multiplication will form a group.

    I hope this is group is not isomorphic to any of the known ones. And hopefully has some interesting properties.

    We know the following:
    1) \mathbb{G} is an abelian group.
    2) \mathbb{G} is a countable group.
    3*) \mathbb{G} has a cyclic subgroup for every finite order.

    What are the answers to the following questions:
    1)Is \mathbb{G} is free abelian group?
    2)Is \mathbb{G} a finitely generated abelian group?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Rebesques's Avatar
    Joined
    Jul 2005
    From
    At my house.
    Posts
    543
    Thanks
    12
    Hm, it certainly cannot be both, as then it would be isomorphic to some \mathbb{Z}^k.


    ps. where do u come up with these?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Rebesques View Post
    Hm, it certainly cannot be both, as then it would be isomorphic to some \mathbb{Z}^k.
    Yes. This group is neither free abelian nor finitely generated. The easiest way to see this is to consider the torsion subgroup of \mathbb{G}. It quite remarkable, I think, that T[\mathbb{G}] = \mathbb{G} because this is an infinite group and its torsion subgroup is itself! But anyways, if  \mathbb{G} \simeq \mathbb{Z}^k then that would be a contradiction because T[\mathbb{Z}^k] = \{ 0 \} and if \mathbb{G} was finitely generated abelian group, that is \mathbb{G} \simeq \mathbb{Z}^k \times \mathbb{Z}_{p_1^{a_1}} \times ... \times \mathbb{Z}_{p_m^{a_m}} then T[\mathbb{G}] \simeq \mathbb{Z}_{p_1^{a_1}} \times ... \times \mathbb{Z}_{p_m^{a_m}} which is clearly impossible because one is finite and other oter infinite.

    ps. where do u come up with these?
    What do you mean?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Roots of Unity as a group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 27th 2011, 05:05 PM
  2. Replies: 3
    Last Post: November 11th 2009, 06:52 AM
  3. Tangent Space of the group of Unitary matrices.
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 2nd 2009, 11:55 AM
  4. Cyclic group - Primitive roots of unity
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: October 12th 2009, 02:03 AM
  5. Roots of unity isomorphic to cyclic group?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 24th 2008, 12:19 AM

Search Tags


/mathhelpforum @mathhelpforum