WR .pdf

File information

Original filename: WR.pdf

This PDF 1.5 document has been generated by TeX / pdfTeX-1.40.14, and has been sent on pdf-archive.com on 24/04/2014 at 14:29, from IP address 198.39.x.x. The current document download page has been viewed 780 times.
File size: 81 KB (1 page).
Privacy: public file

Download original PDF file

WR.pdf (PDF, 81 KB)

Share on social networks

Link to this file download page

Document preview

Writing Assignment #2
Proposition. Let H ≤ G and define a relation on G by x ∼ y if y −1 x ∈ H, then ∼ is an equivalence
relation on G and the equivalence classes of ∼ are left cosets of H in G.

To show that ∼ is an equivalence relation on G we will check to verify that ∼ is reflexive, symmetric and
Reflexive: Suppose that x ∈ G then x−1 x ∈ H, since H is a subgroup the identity is in H, so then a ∼ a
and ∼ is reflexive.
Symmetric: Suppose that x, y ∈ G and x ∼ y then y −1 x ∈ H. Since H is a subgroup, H is closed
under inverses then (y −1 x)−1 ∈ H. So then (y −1 x)−1 = x−1 (y −1 )−1 = x−1 y ∈ H and then y ∼ x and ∼ is
Transitive: Suppose that x ∼ y and y ∼ z then y −1 x ∈ H and z −1 y ∈ H, since H is a subgroup it is
closed under products so then,
(z −1 y)(y −1 x) = z −1 (yy −1 )x = z −1 ex = z −1 x
and z −1 x ∈ H and then x ∼ z and ∼ is transitive.
Thus ∼ satisfies the reflexive, symmetric and transitive properties therefore ∼ is an equivalence relation
on G.
For any x ∈ G the equivalence classes of x are [x] = {y ∈ G : y ∼ x} and the left cosets of H in G are
xH = {xh : h ∈ H}, all that is left is to show that [x] = xH and since these objects are sets we must show
that [x] ⊆ xH and xH ⊆ [x].
Suppose that a ∈ [x], so then a ∼ x and x−1 a ∈ H. If we set h = x−1 a for some h ∈ H then a = xh and
a ∈ xH. Therefore [x] ⊆ xH.
Next suppose that a ∈ xH then set a = xh for some h ∈ H, and then x−1 a = h and x−1 a ∈ H. By
definition of ∼, a ∼ x so then a ∈ [x] and xH ⊆ [x].
Finally since we have shown that [x] ⊆ xH and xH ⊆ [x], then [x] = xH and the equivalence classes of ∼
are left cosets of H in G.

Document preview WR.pdf - page 1/1

Related documents

r 116 0011
index reddit build
mathgen 1064597432
kurt godel rotating universes in general relativity theory

Link to this page

Permanent link

Use the permanent link to the download page to share your document on Facebook, Twitter, LinkedIn, or directly with a contact by e-Mail, Messenger, Whatsapp, Line..

Short link

Use the short link to share your document on Twitter or by text message (SMS)


Copy the following HTML code to share your document on a Website or Blog

QR Code

QR Code link to PDF file WR.pdf