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).
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top