MHB Proving K is a Subgroup of G: Subgroup Nesting in H and L

  • Thread starter Thread starter Jen917
  • Start date Start date
  • Tags Tags
    Subgroup
Jen917
Messages
3
Reaction score
0
Let H be a subgroup of G and let L be a subgroup of H. Prove that K is a subgroup of G.

This question seems very redundant to me, isn't anything in a subgroup automatically a subgroup of anything the larger group is a subgroup of. Can some one explain this proof to me?
 
Physics news on Phys.org
Jen917 said:
Let H be a subgroup of G and let L be a subgroup of H. Prove that K is a subgroup of G.

This question seems very redundant to me, isn't anything in a subgroup automatically a subgroup of anything the larger group is a subgroup of. Can some one explain this proof to me?

Hi again Jen917! (Wave)

Can I assume there is a typo, and that K and L are actually the same?

Then admittedly, the proof is pretty straight forward.
It's just that in math we can't assume that it's redundant.

To conclude that one set is a subgroup of another, we have to apply the definition of a subgroup, and verify if all conditions are fulfilled.
This would be an exercise in carefully reading and applying a definition.
Which proof do you have?
 
I like Serena said:
Hi again Jen917! (Wave)

Can I assume there is a typo, and that K and L are actually the same?

>>Yes! Sorry about the typo.

Then admittedly, the proof is pretty straight forward.
It's just that in math we can't assume that it's redundant.

>>Gotcha, I think I was overthinking it. The easy answer seemed just too easy!

To conclude that one set is a subgroup of another, we have to apply the definition of a subgroup, and verify if all conditions are fulfilled.
This would be an exercise in carefully reading and applying a definition.
Which proof do you have?

This was my idea:
K is a nonempty set and has an identity element, we know this because it is a subgroup of H.
K also contains the inverse of an element following the same logic.
Finally we know K is closed because it is a subgroup of H.
H is a subgroup of G, therefore K has all these characteristics within G and is a subgroup of G.

Is this the along the right idea?
 
Yep. (Nod)

Nitpick: the sentence about the inverse should be about 'any' element rather than 'an' element.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top