Question

In: Advanced Math

Let G be a group with the binary operation of juxtaposition and identity e. Let H...

Let G be a group with the binary operation of juxtaposition and identity e. Let H be a subgroup of G.

(a) (4 points) Prove that a binary relation on G defined by a ∼ b if and only if a−1b ∈ H, is an equivalence.

(b) (3 points) For all a ∈ G, denote by [a] the equivalence class of a with respect to ∼ . Prove that [a] = {ah|h ∈ H}. We write [a] = aH and say that aH is a left coset of H in G. Denote by π : G → G/ ∼ the quotient map of ∼ . What is the value of π(a)?

(c) (3 points) Prove that the map λa : H → aH given by λa(h) = ah is one-to-one and onto. If H is finite, what can you say about the cardinalities |H| and |aH|?

(d) (4 points) (Lagrange’s Theorem) If G is a finite group then |H| divides |G|. The quotient [G : H] = |G| is called the index of H in G. What is the meaning of the index? Hint: the left

|H|
cosets of H in G form a partition of G.

(e) (1 point) Let K be a subgroup of G. Denote by ◃▹ the equivalence relation on G given by a ◃▹ b if and only if a−1b ∈ K, let σ : G → G/ ◃▹ be the quotient map of ◃▹ . What is the value of σ(a)?

(f) (1 point) Prove that if K ⊆ H then ◃▹ is finer than ∼ .

(g) (4 points) Suppose K ⊆ H and denote by g : G/ ◃▹−→ G/ ∼ the unique map satisfying π = gσ, see Corollary 8 of the file “Finer Equivalences and Lifting Maps.” For all a ∈ G, what is the value of g(aK)?

Solutions

Expert Solution


Related Solutions

Let G be a finite group and H a subgroup of G. Let a be an...
Let G be a finite group and H a subgroup of G. Let a be an element of G and aH = {ah : h is an element of H} be a left coset of H. If b is an element of G as well and the intersection of aH bH is non-empty then aH and bH contain the same number of elements in G. Thus conclude that the number of elements in H, o(H), divides the number of elements...
Direct product of groups: Let (G, ∗G) and (H, ∗H) be groups, with identity elements eG...
Direct product of groups: Let (G, ∗G) and (H, ∗H) be groups, with identity elements eG and eH, respectively. Let g be any element of G, and h any element of H. (a) Show that the set G × H has a natural group structure under the operation (∗G, ∗H). What is the identity element of G × H with this structure? What is the inverse of the element (g, h) ∈ G × H? (b) Show that the map...
Let G be a group acting on a set S, and let H be a group...
Let G be a group acting on a set S, and let H be a group acting on a set T. The product group G × H acts on the disjoint union S ∪ T as follows. For all g ∈ G, h ∈ H, s ∈ S and t ∈ T, (g, h) · s = g · s, (g, h) · t = h · t. (a) Consider the groups G = C4, H = C5, each acting...
Let G be a group and K ⊂ G be a normal subgroup. Let H ⊂...
Let G be a group and K ⊂ G be a normal subgroup. Let H ⊂ G be a subgroup of G such that K ⊂ H Suppose that H is also a normal subgroup of G. (a) Show that H/K ⊂ G/K is a normal subgroup. (b) Show that G/H is isomorphic to (G/K)/(H/K).
Given a group G with a subgroup H, define a binary relation on G by a...
Given a group G with a subgroup H, define a binary relation on G by a ∼ b if and only if ba^(-1)∈ H. (a) (5 points) Prove that ∼ is an equivalence relation. (b) (5 points) For each a ∈ G denote by [a] the equivalence class of a and prove that [a] = Ha = {ha | h ∈ H}. A set of the form Ha, for some a ∈ G, is called a right coset of H...
Let f be a group homomorphism from a group G to a group H If the...
Let f be a group homomorphism from a group G to a group H If the order of g equals the order of f(g) for every g in G must f be one to one.
Let G be a group. Consider the set G with a new operation ∗ given by...
Let G be a group. Consider the set G with a new operation ∗ given by a ∗ b = ba. Show that (G, ∗) is a group isomorphic to the original group G. Give an explicit isomorphism.
Suppose G is a group and H and H are both subgroups of G. Let HK={hk,...
Suppose G is a group and H and H are both subgroups of G. Let HK={hk, h∈H and k ∈K} a.give a example such that |HK| not equal to |H| |K| b. give a example to show f :HK →H ⨯K given by f(hk) = (h,k) may not be well defined.
Let H and K be subgroups of a group G so that for all h in...
Let H and K be subgroups of a group G so that for all h in H and k in K there is a k' in K with hk = k'h. Proposition 2.3.2 shows that HK is a group. Show that K is a normal subgroup of HK.
Let LaTeX: GG be an abelian group. Let LaTeX: H = { g \in G \mid...
Let LaTeX: GG be an abelian group. Let LaTeX: H = { g \in G \mid g^3 = e }H = { g ∈ G ∣ g 3 = e }. Prove or disprove: LaTeX: H \leq GH ≤ G.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT