Register to reply

A problem from Artin's algebra textbook

by AbelAkil
Tags: abstract algebra
Share this thread:
AbelAkil
#1
Feb28-12, 07:22 AM
P: 9
1. The problem statement, all variables and given/known data
(a)Let H and K be subgroups of a group G. Prove that the intersection of xH and yK which are cosets of H and K is either empty or else is a coset of the subgroup H intersect K

(b) Prove that if H and K have finite index in G then the intersection of H and K also has finite index.

2. Relevant equations



3. The attempt at a solution
The intersection of xH and yK is a subgroup of both H and K, then how to continue?
Phys.Org News Partner Science news on Phys.org
Sapphire talk enlivens guesswork over iPhone 6
Geneticists offer clues to better rice, tomato crops
UConn makes 3-D copies of antique instrument parts
jbunniii
#2
Feb28-12, 01:00 PM
Sci Advisor
HW Helper
PF Gold
jbunniii's Avatar
P: 3,171
Quote Quote by AbelAkil View Post
3. The attempt at a solution
The intersection of xH and yK is a subgroup of both H and K, then how to continue?
This is not true in general. If xH and yK are not subgroups, then neither contains the identity, so their intersection also doesn't contain the identiy. So it can't be a subgroup.

Moreover, in general [itex]xH \cap yK[/itex] isn't even a subSET of H or K. xH and H are disjoint unless [itex]x \in H[/itex]. Similarly for yK and K.
AbelAkil
#3
Feb28-12, 05:26 PM
P: 9
Quote Quote by jbunniii View Post
This is not true in general. If xH and yK are not subgroups, then neither contains the identity, so their intersection also doesn't contain the identiy. So it can't be a subgroup.

Moreover, in general [itex]xH \cap yK[/itex] isn't even a subSET of H or K. xH and H are disjoint unless [itex]x \in H[/itex]. Similarly for yK and K.
Sorry, I made some mistakes when I wrote the post. In fact, I mean the intersection of H and K is a subgroup of both H and K...Could U give me some tips to prove it?

jbunniii
#4
Feb28-12, 07:53 PM
Sci Advisor
HW Helper
PF Gold
jbunniii's Avatar
P: 3,171
A problem from Artin's algebra textbook

If xH and yK have nonempty intersection, then there is an element g contained in both: [itex]g \in xH[/itex] and [itex]g \in yK[/itex].

The cosets of [itex]H \cap K[/itex] form a partition of G, so g is contained in exactly one such coset, call it [itex]a(H \cap K)[/itex].

If you can show that [itex]a(H \cap K)[/itex] is contained in both [itex]xH[/itex] and [itex]yK[/itex] then you're done.

Hint: both [itex]xH[/itex] and [itex]yK[/itex] are partitioned by cosets of [itex]H \cap K[/itex].
AbelAkil
#5
Feb29-12, 01:56 AM
P: 9
Quote Quote by jbunniii View Post
If xH and yK have nonempty intersection, then there is an element g contained in both: [itex]g \in xH[/itex] and [itex]g \in yK[/itex].

The cosets of [itex]H \cap K[/itex] form a partition of G, so g is contained in exactly one such coset, call it [itex]a(H \cap K)[/itex].

If you can show that [itex]a(H \cap K)[/itex] is contained in both [itex]xH[/itex] and [itex]yK[/itex] then you're done.

Hint: both [itex]xH[/itex] and [itex]yK[/itex] are partitioned by cosets of [itex]H \cap K[/itex].
Yeah...I get it. Thanks very much. In addition, how to prove part (b), that is how can I show that both [itex]H[/itex] and [itex]K[/itex] are partitioned by finite cosets of [itex]H \cap K[/itex]... I appreciate your insightful answer!
Deveno
#6
Feb29-12, 03:56 AM
Sci Advisor
P: 906
the index of H in G is the number of cosets of H.

if this number is finite, then if it just so happened that H∩K was of finite index in H, we get:

[G:H][H:H∩K] cosets of H∩K in G in all, which would be finite.

can you think of a way to show that [H:H∩K] ≤ [G:K]? perhaps you can think of an injection from left cosets of H∩K in H to left cosets of K in G?


Register to reply

Related Discussions
Where can I find Michael Artin Algebra solutions? Academic Guidance 3
Good textbook for Algebra 2? Science & Math Textbooks 14
Michael Artin's Algebra Linear & Abstract Algebra 15
Algebra textbook Linear & Abstract Algebra 5
Two proving problem from the book Algebra by Artin Calculus & Beyond Homework 2