Find possible subgroups given some elements

  • Thread starter Thread starter gummz
  • Start date Start date
  • Tags Tags
    Elements
Click For Summary

Homework Help Overview

The problem involves determining the possible subgroups of the group of integers under addition, given that a subgroup H contains the elements 2^50 and 3^50. Participants are exploring the implications of these elements on the structure of H.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the implications of H containing specific elements and question the interpretation of notation related to group operations. There is an exploration of whether H could be equal to Z or other subgroups based on the given elements.

Discussion Status

The discussion is active, with participants providing feedback on each other's interpretations and questioning the consistency of notation used in the problem. Some guidance has been offered regarding the implications of subgroup definitions, but no consensus has been reached on the correct interpretation.

Contextual Notes

There is a noted confusion regarding the notation for exponents in the context of group operations, which may affect the understanding of the subgroup's structure. Participants are also considering the implications of the subgroup containing the integers and the relationships between the elements provided.

gummz
Messages
32
Reaction score
2

Homework Statement



Suppose that H is a subgroup of Z under addition and that H contains 2^50 and 3^50. What are the possibilities for H?

Homework Equations



Relevant concepts are just the definitions for a group and subgroup.

https://en.wikipedia.org/wiki/Group_(mathematics)

https://en.wikipedia.org/wiki/Subgroup

The Attempt at a Solution



The solution I was given is the following:

V4SNMuS.png


But what I'm wondering about, and would appreciate an answer to, is the following:

But the subgroup has operation "addition" so 2^50 = 50*2 = (2*5*5)*2, and 3^50 = 50*3 = (2*5*5)*3, so the possibilities for H are:

H=Z, H=2Z, H=10Z, H=25Z, H=50Z.

Or am I missing something?
 
Physics news on Phys.org
Firstly, after ##"H## contains ##\mathbb{Z}"## you can stop, because ##\mathbb{Z} \subseteq H \subseteq \mathbb{Z}## (the latter for being a subgroup) already implies ##H = \mathbb{Z}##.

What you are missing is, that ##2^{50} \neq 50^2## or ##100##.
 
Thanks for reply. But if we write out the notation, then, for group with operation "addition":

250 = 50*2, and 502=2*50, and Z is commutative? That is, in general, an=n*a
 
No, you can't confuse these notations. ##2^{50}## is simply a number and the subgroup is ##(H,+)=2^{50}\cdot (\mathbb{Z},+) + 3^{50}\cdot (\mathbb{Z},+)##. Otherwise one would have defined ##H=100\mathbb{Z}+150\mathbb{Z}=50\mathbb{Z}##.
 
gummz said:
Thanks for reply. But if we write out the notation, then, for group with operation "addition":
250 = 50*2

I think the notation used in the problem isn't consistent with the interpretation of ##a^k## for a group element ##a##. You are correct that for a group operation denoted "##*##", the interpretation of the notation ##a^3## is usually ##a*a*a##. So for the operation "##+##", the interpretation would be "##a+a+a##". However, I think the problem is using the notation for exponents in the standard sense that it is used for the field of real numbers. By that notation ## 2^3 = (2)(2)(2)## instead of ##2+2+2##.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
6
Views
3K
Replies
8
Views
5K
  • · Replies 23 ·
Replies
23
Views
2K