Here's another problem that likely has a simple answer...

"Show that a group G has finite cardinality if it has a finite number of subgroups."

I have no real idea where to start except that the question is in the section on cyclic groups.

-Dan

Printable View

- Mar 7th 2006, 01:49 PMtopsquarkFinite size if finite number of subgroups
Here's another problem that likely has a simple answer...

"Show that a group G has finite cardinality if it has a finite number of subgroups."

I have no real idea where to start except that the question is in the section on cyclic groups.

-Dan - Mar 7th 2006, 03:06 PMThePerfectHackerQuote:

Originally Posted by**topsquark**

Now we know the following:

If an infinite group then infinite subgroups

Take contrapositive:

If finite subgroups then finite group.

Q.E.D.

I did not prove that I assumed it is true (it is definitely not true for finite groups). - Mar 8th 2006, 12:50 AMCaptainBlackQuote:

Originally Posted by**ThePerfectHacker**

Let and , then , but .

RonL - Mar 8th 2006, 05:13 AMtopsquarkQuote:

Originally Posted by**CaptainBlack**

-Dan - Mar 8th 2006, 02:44 PMThePerfectHacker
CaptainBlack and topsquark I apologize. I indeed made a mistake in my proof, I realized that when I was falling asleep. During, school I was thinking of a proof and I found one.

--------

I will prove the logically equivalent statement. That an infinite group has infinitely many subgroups (then proceede with the contrapositive).

1)Let be infinite.

2)Let

3)Thus, .

4)Assume are finite.

5)Then, by #3 is finite-impossible.

6)Thus, are infinite.

7)If is infinite then the proof is complete.

8)If is infinite, then

9)But has infinitely many subgroups.

10)Thus, has infinitely many subgroups.

11)If then

12)Thus, has infinitely many subgroups.

To help understand the proof here are some notes on each step:

1)The infinite group (any).

2)The set of all subgroups generated by an element.

3)Because all the elements of appear in this set.

4)Assumption.

5)The uninon of finitely many finite sets is a finite set.

6)De' Morgan's Laws of negation.

7)Thus, has infinitely many subgroups!

8)Up to isomorphism there is only one infinite cyclic group.

9)Namely, it multiples .

10)Because of isomorphism.

11)The relation is subgroup relation.

12)Q.E.D.

--------------------

Anyways I had fun solving this problem. What I was first tried to show that if then, in an infinite group. It made sense but I was unable to prove it. Later on I realized that was not necessary. Would you know the answer to my question? - Mar 9th 2006, 06:04 AMtopsquark
Well, I like to think I'm clever, but I'm sure I wouldn't have gone quite that route. It's simple enough once it's laid out, but I never would have gotten the process without seeing it first.

Thank you!

-Dan - Mar 9th 2006, 01:32 PMThePerfectHackerQuote:

Originally Posted by**topsquark**