Results 1 to 4 of 4

Math Help - How many Groups?

  1. #1
    Global Moderator

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

    How many Groups?

    How many groups are there up to isomorphism?
    (I know it is infinite I want to know if it is countable).

    What about rings and fields?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Jun 2005
    Posts
    295
    Awards
    1
    No, it isn't countable. Consider the groups \bigoplus_{p_i \in S}C_{p_i}, direct products of cyclic groups, where S runs over all possible subsets of the set of prime numbers. There are uncountably many of these groups, as the set of subsets of an infinite countable set is uncountable, and no two of them are isomorphic.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by rgep
    No, it isn't countable. Consider the groups \bigoplus_{p_i \in S}C_{p_i}, direct products of cyclic groups, where S runs over all possible subsets of the set of prime numbers. There are uncountably many of these groups, as the set of subsets of an infinite countable set is uncountable, and no two of them are isomorphic.
    Actually I was thinking about the same idea

    You are of course using finitely generated abelian groups. Then as I understand it you apply the diagnol argument to show that they are uncountable.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Jun 2005
    Posts
    295
    Awards
    1
    Quote Originally Posted by ThePerfectHacker
    You are of course using finitely generated abelian groups.
    No, you need to allow arbitrary sets S. If you restrict to finite sets only for S then the resulting set of groups is countable (the set of finite subsets of a countable set is countable -- exercise).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. About minimal normal groups and subnormal groups
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: October 20th 2011, 01:53 PM
  2. Automorphism groups of cyclic groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: August 15th 2011, 09:46 AM
  3. Quotient Groups - Infinite Groups, finite orders
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: August 11th 2010, 07:07 AM
  4. free groups, finitely generated groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: May 23rd 2009, 03:31 AM
  5. Order of groups involving conjugates and abelian groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: February 5th 2009, 08:55 PM

Search Tags


/mathhelpforum @mathhelpforum