Difference between revisions of "Notes:Coset stuff"
(Saving work) |
(Going further) |
||
Line 12: | Line 12: | ||
# {{M|1=\forall x,g\in G[x\in[g]'\iff x\in Hg]}}. Done - [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 21:23, 23 October 2016 (UTC) | # {{M|1=\forall x,g\in G[x\in[g]'\iff x\in Hg]}}. Done - [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 21:23, 23 October 2016 (UTC) | ||
==Going forward== | ==Going forward== | ||
− | I have shown we get two [[equivalence relations]]. {{M|\sim}} and {{M|\sim'}} Thus we get two {{plural|partition|s}} of {{M|G}}. | + | I have shown we get two [[equivalence relations]]. {{M|\sim}} and {{M|\sim'}} Thus we get two {{plural|partition|s}} of {{M|G}}, and: |
+ | * {{M|\pi:G\rightarrow\frac{G}{\sim} }} given by {{M|\pi:g\rightarrow[g] }} and {{M|\pi':G\rightarrow\frac{G}{\sim'} }} given by {{M|\pi':g\rightarrow[g]'}} | ||
+ | Can we [[factor (function)|factor]] anything through {{M|\frac{G}{\sim} }} or {{M|\frac{G}{\sim'} }}? | ||
+ | |||
+ | We can factor a map, {{M|f:G\rightarrow X}} (for some other thing {{M|X}}) if: | ||
+ | * {{M|1=\forall g,h\in G[\pi(g)=\pi(h)\implies f(g)=f(h)]}} | ||
+ | Actually lets try factoring the group operation through this! | ||
+ | * {{M|1=\forall (g,h),(g',h')\in G[\pi(g,h)=\pi(g',h')\implies \times(g,h)=\times(g',h')]}}<ref group="Note">We're informal about how we use {{M|\pi}} here, we really mean: | ||
+ | * {{M|\pi_1:G\times G\rightarrow\frac{G}{\sim}\times\frac{G}{\sim} }} given by {{M|1=\pi':(g,h)\mapsto([g],[h])=(\pi(g),\pi(h))}}</ref> | ||
+ | ** Then {{M|1=([g],[h])=([g'],[h'])}} so {{M|1=[g]=[g']}} and {{M|1=[h]=[h']}} | ||
+ | ** So {{M|g\sim g'}} and {{M|h\sim h'}} | ||
+ | *** Thus {{M|1=\exists h_1,h_2\in H}} such that {{M|1=g^{-1}g'=h_1}} and {{M|1=h^{-1}h'=h_2}}. We want to show {{M|1=gh=g'h'}} | ||
+ | **** Well {{M|1=h_1h_2=g^{-1}g'h^{-1}h'}} | ||
+ | Here we get stuck. If we had {{M|1=gH=Hg}} then we could go further and factor the {{M|\times}} through, then we can proceed to: | ||
+ | * {{M|1=g'h_4h'=gh}} for some {{M|h_4\in H}} (I did {{M|1=h_4:=h_1h_3}} on paper but I don't know if I used the same {{M|h_1}} here. {{M|h_3}} comes from turning either {{M|gH}} into {{M|Hg}} or {{M|hH}} into {{M|Hh}} with {{M|h_1}} or {{M|h_2}} what it was "before") | ||
+ | |||
+ | The result is, if {{M|1=h_4}} is known to be {{M|e}} then we can factor. So if {{M|H}} is the [[trivial group]], we can factor. We must have {{M|1=\times=\overline{\times}\circ\pi}} so this is another way of saying a group "over" the trivial group is isomorphic to the group. | ||
+ | |||
+ | Really stupid and pointless way of saying it. | ||
+ | |||
+ | We can get multiplication through: | ||
+ | : <span style="font-size:1.5em;"><m>\xymatrix { G\times G \ar[dr]^{\pi\circ\times} \ar[r]^\times \ar[d]_{(\pi,\pi)} & G \ar[d]^{\pi} \\ \frac{G}{\sim}\times\frac{G}{\sim} \ar@{.>}[r]_{\overline{x} } & \frac{G}{\sim} }</m></span> | ||
+ | |||
+ | If we want {{M|\pi}} to be a [[group homomorphism]] we require this in fact. | ||
==Proof of claims== | ==Proof of claims== | ||
+ | {{Begin Inline Theorem}} | ||
+ | Proofs here | ||
+ | {{Begin Inline Proof}} | ||
# {{M|1=x\sim y\iff x^{-1}y\in H}} is an equivalence relation | # {{M|1=x\sim y\iff x^{-1}y\in H}} is an equivalence relation | ||
## Reflexive: {{M|x\sim x}} holds | ## Reflexive: {{M|x\sim x}} holds | ||
Line 42: | Line 68: | ||
# Follows by doing 1 again but with {{M|xy^{-1} }} instead | # Follows by doing 1 again but with {{M|xy^{-1} }} instead | ||
# Follows by doing 2 again, but slightly differently. I should copy and paste it and make the alterations. | # Follows by doing 2 again, but slightly differently. I should copy and paste it and make the alterations. | ||
+ | {{End Proof}}{{End Theorem}} | ||
==Notes== | ==Notes== | ||
<references group="Note"/> | <references group="Note"/> |
Revision as of 00:15, 24 October 2016
Stuff
Let [ilmath](G,\times)[/ilmath] be a group and let [ilmath]H\subseteq G[/ilmath] be a subgroup. Proper or not. Then
- Any set of the form [ilmath]gH[/ilmath] is called a left coset, where [ilmath]gH:=\{g\times h\ \vert\ h\in H\}[/ilmath]
- Any set of the form [ilmath]Hg[/ilmath] is called a right coset, where [ilmath]Hg:=\{h\times g\ \vert\ h\in H\}[/ilmath]
[ilmath]H[/ilmath] itself is a coset as [ilmath]eH=H[/ilmath] clearly (for [ilmath]e[/ilmath] the identity of [ilmath]G[/ilmath])
Claims
- For [ilmath]x,y\in G[/ilmath] we can define an equivalence relation on [ilmath]G[/ilmath]: [ilmath]x\sim y\iff x^{-1}y\in H[/ilmath][Note 1]. Done - Alec (talk) 21:23, 23 October 2016 (UTC)
- By symmetry this is/must be the same as [ilmath]y^{-1}x\in H[/ilmath] - this is true as [ilmath]H[/ilmath] is a subgroup.
- [ilmath]\forall x,g\in G[x\in[g]\iff x\in gH][/ilmath]. Done - Alec (talk) 21:23, 23 October 2016 (UTC)
- For [ilmath]x,y\in G[/ilmath] we can define another equivalence relation on [ilmath]G[/ilmath]: [ilmath]x\sim'y\iff xy^{-1}\in H[/ilmath]. Done - Alec (talk) 21:23, 23 October 2016 (UTC)
- By symmetry this is/must be the same as [ilmath]yx^{-1}\in H[/ilmath] - this is true as [ilmath]H[/ilmath] is a subgroup.
- [ilmath]\forall x,g\in G[x\in[g]'\iff x\in Hg][/ilmath]. Done - Alec (talk) 21:23, 23 October 2016 (UTC)
Going forward
I have shown we get two equivalence relations. [ilmath]\sim[/ilmath] and [ilmath]\sim'[/ilmath] Thus we get two partitions of [ilmath]G[/ilmath], and:
- [ilmath]\pi:G\rightarrow\frac{G}{\sim} [/ilmath] given by [ilmath]\pi:g\rightarrow[g] [/ilmath] and [ilmath]\pi':G\rightarrow\frac{G}{\sim'} [/ilmath] given by [ilmath]\pi':g\rightarrow[g]'[/ilmath]
Can we factor anything through [ilmath]\frac{G}{\sim} [/ilmath] or [ilmath]\frac{G}{\sim'} [/ilmath]?
We can factor a map, [ilmath]f:G\rightarrow X[/ilmath] (for some other thing [ilmath]X[/ilmath]) if:
- [ilmath]\forall g,h\in G[\pi(g)=\pi(h)\implies f(g)=f(h)][/ilmath]
Actually lets try factoring the group operation through this!
- [ilmath]\forall (g,h),(g',h')\in G[\pi(g,h)=\pi(g',h')\implies \times(g,h)=\times(g',h')][/ilmath][Note 2]
- Then [ilmath]([g],[h])=([g'],[h'])[/ilmath] so [ilmath][g]=[g'][/ilmath] and [ilmath][h]=[h'][/ilmath]
- So [ilmath]g\sim g'[/ilmath] and [ilmath]h\sim h'[/ilmath]
- Thus [ilmath]\exists h_1,h_2\in H[/ilmath] such that [ilmath]g^{-1}g'=h_1[/ilmath] and [ilmath]h^{-1}h'=h_2[/ilmath]. We want to show [ilmath]gh=g'h'[/ilmath]
- Well [ilmath]h_1h_2=g^{-1}g'h^{-1}h'[/ilmath]
- Thus [ilmath]\exists h_1,h_2\in H[/ilmath] such that [ilmath]g^{-1}g'=h_1[/ilmath] and [ilmath]h^{-1}h'=h_2[/ilmath]. We want to show [ilmath]gh=g'h'[/ilmath]
Here we get stuck. If we had [ilmath]gH=Hg[/ilmath] then we could go further and factor the [ilmath]\times[/ilmath] through, then we can proceed to:
- [ilmath]g'h_4h'=gh[/ilmath] for some [ilmath]h_4\in H[/ilmath] (I did [ilmath]h_4:=h_1h_3[/ilmath] on paper but I don't know if I used the same [ilmath]h_1[/ilmath] here. [ilmath]h_3[/ilmath] comes from turning either [ilmath]gH[/ilmath] into [ilmath]Hg[/ilmath] or [ilmath]hH[/ilmath] into [ilmath]Hh[/ilmath] with [ilmath]h_1[/ilmath] or [ilmath]h_2[/ilmath] what it was "before")
The result is, if [ilmath]h_4[/ilmath] is known to be [ilmath]e[/ilmath] then we can factor. So if [ilmath]H[/ilmath] is the trivial group, we can factor. We must have [ilmath]\times=\overline{\times}\circ\pi[/ilmath] so this is another way of saying a group "over" the trivial group is isomorphic to the group.
Really stupid and pointless way of saying it.
We can get multiplication through:
- [ilmath]\xymatrix { G\times G \ar[dr]^{\pi\circ\times} \ar[r]^\times \ar[d]_{(\pi,\pi)} & G \ar[d]^{\pi} \\ \frac{G}{\sim}\times\frac{G}{\sim} \ar@{.>}[r]_{\overline{x} } & \frac{G}{\sim} }[/ilmath]
If we want [ilmath]\pi[/ilmath] to be a group homomorphism we require this in fact.
Proof of claims
Proofs here
- [ilmath]x\sim y\iff x^{-1}y\in H[/ilmath] is an equivalence relation
- Reflexive: [ilmath]x\sim x[/ilmath] holds
- Trivial, [ilmath]x^{-1}x=e\in H[/ilmath] as [ilmath]H[/ilmath] a subgroup
- Symmetric: [ilmath]x\sim y\implies y\sim x[/ilmath]
- Suppose [ilmath]x\sim y[/ilmath], then [ilmath]x^{-1}y\in H[/ilmath], i.e. [ilmath]\exists h\in H[/ilmath] such that [ilmath]x^{-1}y=h][/ilmath]
- Thus [ilmath]y=xh[/ilmath] so [ilmath]e=y^{-1}xh[/ilmath] and lastly [ilmath]h^{-1}=y^{-1}x[/ilmath]. Notice [ilmath]h^{-1}\in H[/ilmath] as [ilmath]H[/ilmath] is a subgroup.
- So [ilmath]y^{-1}x\in H[/ilmath] too! And [ilmath]y^{-1}x\in H\iff y\sim x[/ilmath]. As required.
- Suppose [ilmath]x\sim y[/ilmath], then [ilmath]x^{-1}y\in H[/ilmath], i.e. [ilmath]\exists h\in H[/ilmath] such that [ilmath]x^{-1}y=h][/ilmath]
- Transitive: [ilmath]\forall x,y,z\in G[(x\sim y\wedge y\sim z)\implies x\sim z][/ilmath]
- Suppose [ilmath]x,y,z\in G[/ilmath] given such that [ilmath]x\sim y[/ilmath] and [ilmath]y\sim z[/ilmath] then:
- [ilmath]\exists h_1,h_2\in H[/ilmath] such that [ilmath]x^{-1}y=h_1[/ilmath] and
- As [ilmath]H[/ilmath] is a subgroup [ilmath]h_1h_2\in H[/ilmath]. So we see:
- [ilmath]h_1h_2=x^{-1}yy^{-1}z\in H[/ilmath], tidying up: [ilmath]x^{-1}z\in H[/ilmath]
- But [ilmath]x^{-1}z\in H\iff x\sim z[/ilmath]
- [ilmath]\exists h_1,h_2\in H[/ilmath] such that [ilmath]x^{-1}y=h_1[/ilmath] and
- Since the [ilmath]x,y,z[/ilmath] were arbitrary we have shown this for all. As required.
- Suppose [ilmath]x,y,z\in G[/ilmath] given such that [ilmath]x\sim y[/ilmath] and [ilmath]y\sim z[/ilmath] then:
- Reflexive: [ilmath]x\sim x[/ilmath] holds
-
- Let [ilmath]gH[/ilmath] be a coset. I claim this is [ilmath][g][/ilmath]. That is:
- [ilmath]x\in gH\iff x\in [g][/ilmath] (by the implies-subset relation and from [ilmath]gH\subseteq[g][/ilmath] and [ilmath][g]\subseteq gH[/ilmath])
- [ilmath]\implies[/ilmath]
- Let [ilmath]x\in gH[/ilmath] be given. Then [ilmath]\exists h_1\in H[x=gh_1][/ilmath]
- But then [ilmath]g^{-1}x=h_1[/ilmath] so [ilmath]g^{-1}x\in H[/ilmath] so [ilmath]g\sim x[/ilmath] or [ilmath]x\sim g[/ilmath], Thus [ilmath]x\in [g][/ilmath] as [ilmath][g]:=\{k\in G\ \vert\ k\sim g\}[/ilmath]
- Let [ilmath]x\in gH[/ilmath] be given. Then [ilmath]\exists h_1\in H[x=gh_1][/ilmath]
- [ilmath]\impliedby[/ilmath]
- Let [ilmath]x,g\in G[/ilmath] be given, then we claim [ilmath]x\in[g]\implies x\in gH[/ilmath]
- If [ilmath]x\in[g][/ilmath] then [ilmath]x\sim g[/ilmath] so [ilmath]x^{-1}g\in H[/ilmath] so [ilmath]\exists h_2\in H[x^{-1}g=h][/ilmath]
- Thus [ilmath]g=xh[/ilmath] so [ilmath]gh^{-1}=x[/ilmath]
- As [ilmath]H[/ilmath] is a subgroup [ilmath]h^{-1}\in H[/ilmath]. So [ilmath]gh^{-1}\in gH[/ilmath] so [ilmath]x=gh^{-1}\in gH[/ilmath] or just:
- If [ilmath]x\in[g][/ilmath] then [ilmath]x\sim g[/ilmath] so [ilmath]x^{-1}g\in H[/ilmath] so [ilmath]\exists h_2\in H[x^{-1}g=h][/ilmath]
- [ilmath]x\in gH[/ilmath] as required.
- Let [ilmath]x,g\in G[/ilmath] be given, then we claim [ilmath]x\in[g]\implies x\in gH[/ilmath]
- [ilmath]\implies[/ilmath]
- [ilmath]x\in gH\iff x\in [g][/ilmath] (by the implies-subset relation and from [ilmath]gH\subseteq[g][/ilmath] and [ilmath][g]\subseteq gH[/ilmath])
- Let [ilmath]gH[/ilmath] be a coset. I claim this is [ilmath][g][/ilmath]. That is:
- Follows by doing 1 again but with [ilmath]xy^{-1} [/ilmath] instead
- Follows by doing 2 again, but slightly differently. I should copy and paste it and make the alterations.
Notes
- ↑ It must be this way as we will require [ilmath]x\sim x[/ilmath], then we get [ilmath]x^{-1}x=e\in H[/ilmath] as [ilmath]H[/ilmath] is a subgroup.
- ↑ We're informal about how we use [ilmath]\pi[/ilmath] here, we really mean:
- [ilmath]\pi_1:G\times G\rightarrow\frac{G}{\sim}\times\frac{G}{\sim} [/ilmath] given by [ilmath]\pi':(g,h)\mapsto([g],[h])=(\pi(g),\pi(h))[/ilmath]