MHB Understanding Finite Quotient Groups: G/H with G=Z6 and H=(0,3)

onie mti
Messages
42
Reaction score
0
G is a group and H is a normal subgroup of G.
where G=Z6 and H=(0,3)
i was told to list the elements of G/H
I had:
H= H+0={0,3}
H+1={14}
H+2={2,5}
now they are saying H+3 is the same as H+0, how so?
 
Physics news on Phys.org
onie mti said:
G is a group and H is a normal subgroup of G.
where G=Z6 and H=(0,3)
i was told to list the elements of G/H
I had:
H= H+0={0,3}
H+1={14}
H+2={2,5}
now they are saying H+3 is the same as H+0, how so?

Yes. That is the idea of a quotient group.
The difference between 0 and 3 is "divided" out.
They are considered equivalent.

Alternatively, since G has 6 elements and we divide by a H with 2 elements, that means that G/H has 6/2=3 elements.
 
Let's just do the math:

What is $H+3$?

Well, $H+3 = \{g \in G: g = h+3, h \in H\}$

So we add 3 to every element of $H = \{0,3\}$.

Thus $H+3 = \{0+3,3+3\}$.

However, in $\Bbb Z_6$, we have $3+3 = 0$, because 6 is a multiple of 6.

Thus, $H+3 = \{3,0\} = \{0,3\} = H$ (since in sets, the order in which we list the elements doesn't matter).

Similarly, $H+4 = \{0+4,3+4\} = \{4,1\} = \{1,4\} = \{0+1,3+1\} = H+1$.

I think you can convince yourself that $H+5 = H+2$.

Thus, out of the 6 possible "conceivable" cosets we have, it turns out that:

$H = H+3$
$H+1 = H+4$
$H+2 = H+5$

so there are only 3 DISTINCT cosets, although each one of the 3 has "two different names".

This is something to be wary of with cosets: a coset $Hg$ can have many different $g$ that identify the same coset. So even if $g \neq g'$, it still might be that $Hg = Hg'$.

IN GENERAL, if $Ha = \{a,h_1a,\dots,h_na\}$, we have $n+1$ different "names" for the same coset:

$Ha = Ha_k$ where $a_k = h_ka$.

Another interesting fact (which turns out always to be true):

$\Bbb Z_6 = \{0,1,2,3,4,5\} = \{0,3\} \cup \{1,4\} \cup \{2,5\} = H \cup (H+1) \cup (H+2)$,

any group $G$ is a union of the distinct cosets of any subgroup $H$.

In plane geometry, a coset of a line $L$ through the origin, is a coset $(x_0,y_0) + L$, which is a line parallel to $L$ that goes through the point $(x_0,y_0)$. This new line (the coset) is often called "the translation of $L$ by $(x_0,y_0)$" which represents "how much we shift $L$".

By analogy, cosets $Hg$ are often (especially in the ABELIAN case) called (in this case right) translations of $H$ by $g$. In other words, we can think of $H+k$ as "shifting $H$ by $k$ units", and doing this, it is clear for $\Bbb Z_6$ and $H = \{0,3\}$ we only have 3 possible shifts:

The null shift (shift by 0)
Shift by 1 (or 4, or 7, or...)
Shift by 2 (or 5, or 8, or...)

before the cycle repeats itself. That's why $\Bbb Z_6$ is called "cyclic", and is best visualized as the 6 vertices of a regular polygon (this can be done explicitly if one takes:

$[k] \iff \cos(2\pi k/6) + i\sin(2\pi k/6)$

in the complex numbers, and uses complex multiplication, instead of addition mod 6. The above is an example of an ISOMORPHISM, something you will soon be reading very much about).
 
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