MHB Can You Prove These Properties of Normal Subgroups in Group Theory?

  • Thread starter Thread starter cbarker1
  • Start date Start date
  • Tags Tags
    Normal
cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Dear Everyone,

I am struck on a problem dealing with normal subgroups.

The problem is the following:

Let $G$ be a group, $H$ and $K$ be normal subgroups of $G$ with $H\ge K$.
  1. Prove that $H$ is a normal subgroup of $K$
  2. Prove that $K/H$ is a normal subgroup of $G/H$.
My attempted work:

Proof: We know that $H,K\ge G$.

Thanks
Carter B
 
Physics news on Phys.org
Cbarker1 said:
The problem is the following:

Let $G$ be a group, $H$ and $K$ be normal subgroups of $G$ with $H\ge K$.
  1. Prove that $H$ is a normal subgroup of $K$
  2. Prove that $K/H$ is a normal subgroup of $G/H$.
It looks as though $H\ge K$ should be $H\le K$. The rest of the question certainly implies that $H$ is contained in $K$.

Start by writing down the definition of a normal subgroup. Use that definition to say what it means for $H$ to be a normal subgroup of $G$. You should be able to deduce the result 1. from that.

For 2., again start by writing down some definitions. How is a quotient group defined? Then what conditions does $K/H$ have to satisfy in order to be a normal subgroup of $G/H$?
 
Cbarker1 said:
Dear Everyone,

I am struck on a problem dealing with normal subgroups.

The problem is the following:

Let $G$ be a group, $H$ and $K$ be normal subgroups of $G$ with $H{\color{red}\le} K$.
  1. Prove that $H$ is a normal subgroup of $K$
  2. Prove that $K/H$ is a normal subgroup of $G/H$.
My attempted work:

Proof: We know that $H,K{\color{red}\le} G$.

Thanks
Carter B

Hi Carter.

Note the corrections in red.

1. To show that $H$ is a normal subgroup of $K$, you need to snow that $kHk^{-1}=H$ for all $k\in K$. But $H$ is a normal subgroup of $G$, i.e. $gHg^{-1}=H$ for all $g\in G$. Can you complete the proof?2. $K/H$ is the set of all cosets of $H$ in $K$, i.e. cosets of the form $kH$ for $k\in K$. An element of $G/H$ is a coset of the form $gH$ where $g\in G$. To show that $K/H$ is a normal subgroup of $G/H$, you need to show that
$$\left(gH\right)\left(kH\right)\left(gH\right)^{-1}$$
is in $K/H$. The above is equal to
$$\left(gkg^{-1}\right)H.$$
As $K$ is normal in $G$, what can you say about $gkg^{-1}$?
 
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