Algebra Flashcards
(126 cards)
What is the subring criterion?
- 0, 1 ∈ S;
- a + b ∈ S for all a, b ∈ S;
- −a ∈ S for all a ∈ S;
- ab ∈ S for all a, b ∈ S.
What are left and right cosets?
Let G be a group and H a subgroup. Let g be an element of G. We call the set
gH = {gh : h ∈ H}
a left coset of H in G and the set
Hg = {hg : h ∈ H}
a right coset of H in G.
When are two cosets equal?
Let G be a group and H a subgroup. Let g1, g2 ∈ G. Then g1H = g2H if and only if g1-1g2 ∈ H.
Proof.
Suppose g1H = g2H. But g2 = g2 · 1G ∈ g2H as H is a subgroup of G. But g2H = g1H. Hence g2 ∈ g1H, so g2 = g1h for some h ∈ H. Hence g1-1 g2 = h ∈ H as required.
Conversely, suppose g1-1g2 = h ∈ H. We want to show that g1H =
g2H. Let k ∈ g1H. Then k = g1h1 for some h1 ∈ H. But h-1 = g2-1g1
so g1 = g2h-1, so k = g1h1 = g2h-1h1 ∈ g2H. Therefore every k ∈ g1H belongs to g2H. By a similar argument (exercise) every k ∈ g2H belongs to g1H. Thus g1H = g2H.
What are the left and right index?
Let G be a group and H be a subgroup. We shall define the left index of H in G, denoted by [G : H], to be the number of left cosets of H in G. We shall define the right index of H in G to be the number of right cosets of H in G.
How are the amount of elements in the left and right coset related?
Let G be a group and H a finite subgroup. If g ∈ G then gH and Hg have the same number of elements as H.
How are 2 different cosets related?
Let G be a group and H be a subgroup. Let g1, g2 be elements of G. Then the cosets g1H, g2H are either equal or disjoint.
How do cosets form a partition?
Let G be a finite group and H a subgroup. The left cosets of H in G form a partition of G.
What is Lagrange’s Theorem?
Let G be a finite group and H a subgroup. Then #G = [G : H] · #H.
Proof.
Let g1H, g2H, . . . , gmH be the distinct left cosets of H. These form a partition of H. Hence
#G = #g1H + #g2H + · · · + #gmH.
Now as the order of a coset is the order of the subgroup,
#g1H = #g2H = · · · = #gmH = #H.
Hence
#G = m · #H.
What is m? It is the number of left cosets of H in G. We defined this to be the index of H in G, so m = [G : H].
How does the order of a subgroup relate to the order of the group?
Let G be a finite group and H a subgroup. Then
#H | #G.
Proof. This follows from Lagrange’s Theorem as the index [G : H] is
an integer.
How does the order of an element relate to the order of the group?
Let G be a finite group. Let g ∈ G have order n.
Then n | #G.
Proof. Let H = 〈g〉 the cyclic group generated by g. We know that #H = n. As #H | #G, we have n | #G.
How are the left and right index related?
The number of left cosets is equal to the number of right cosets
[G : H]L = #G/#H = [G : H]R.
What is a Conjugate of a subgroup?
Let H be a subgroup of G. A conjugate of H has the form gHg−1 for some g ∈ G.
What is a Normal subgroup?
We say that a subgroup H of G is normal if and only if gHg−1 = H for all g ∈ G. That is H is normal if and only if it is equal to all its conjugates. We write H ◁ G to denote that H is a normal subgroup of G.
What are the equivalent statements about normal subgroups and conjugates?
Let H be a subgroup of G. Then the following are
equivalent.
(a) H is normal in G;
(b) gHg−1 = H for all g ∈ G;
(c) gH = Hg for all g ∈ G;
(d) gHg−1 ⊆ H for all g ∈ G;
(e) ghg−1 ∈ H for all g ∈ G, h ∈ H.
Proof.
It is easy to see that
(a) ⇐⇒ (b) ⇐⇒ (c), (d) ⇐⇒ (e)
and also that (b) =⇒ (d).
Let’s do (d) =⇒ (b). Suppose gHg−1 ⊆ H
for all g in G. Then, since g−1 ∈ G we have g−1Hg ⊆ H. Multiply by g on the left and g−1 on the right to get
H = g(g−1Hg)g−1 ⊆ gHg−1.
As gHg−1 ⊆ H and H ⊆ gHg−1 we have gHg−1 = H.
What index of subgroup will always be normal?
Let G be a finite group and let H be a subgroup of G of index 2. Then H is normal in G.
Proof.
We want to show that gH = Hg for all g ∈ G. We know, gH = H if and only if g ∈ H (note that H = 1H).
Suppose first that g ∈ H. Then gH = H and Hg = H. Thus gH = Hg.
Suppose instead that g /∈ H. Then gH /= H. But H has index 2 in G so has exactly two left cosets, which must be H and gH. Thus
G = H ∪ gH and H ∩ gH = ∅, since cosets form a partition. Thus
gH = G \ H. Similary, Hg = G \ H. Hence gH = Hg.
How is the quotient, of a group with a normal subgroup, a group and what is its order?
Let G be a group and N a normal subgroup. Then G/N with operation (gN)(g’N) = gg’N is a group with identity element N = 1GN
and inverses given by (gN)−1 = g−1N.
Moreover, if G is finite then
#(G/N) = [G : N] = #G/#N.
We call G/N the quotient group of G over N.
What is a Homomorphism of Groups?
Definition. Let G, H be groups and let φ : G → H be a map. We say that φ is a homomorphism of groups if
φ(gh) = φ(g)φ(h)
for all g, h ∈ G.
What is an Isomorphism of Groups?
Definition. Let G and H be groups. A map φ : G → H is an isomorphism if it is a bijective homomorphism. If G and H are isomorphic we write G ∼= H.
What are the Kernel and Image of a group homomorphism?
Associated to any homomorphism φ : G → H are its kernel and image:
Ker(φ) = {g ∈ G : φ(g) = 1H}, Im(φ) = {φ(g) : g ∈ G}.
How are the kernel and image related to the groups in the homomorphism?
Let φ : G → H be a homomorphism of groups. Then
(i) Ker(φ) is a normal subgroup of G.
(ii) Im(φ) is a subgroup of H.
How can we tell if a homomorphism is injective from its kernel?
Let φ : G → H be a homomorphism of groups. Then
φ is injective if and only if Ker(φ) = {1G}.
Proof.
Suppose Ker(φ) = {1G}. Let g1, g2 ∈ G and suppose φ(g1) = φ(g2). Then φ(g1−1g2) = (g1)−1φ(g2) = 1H. Thus g1−1g2 ∈ Ker(φ) =
{1G} so g1−1g2 = 1G and hence g1 = g2. Therefore φ is injective.
Conversely, suppose φ is injective. Let g ∈ Ker(φ). Thus φ(g) = 1H = φ(1G). As φ is injective g = 1G. Hence Ker(φ) = {1G}.
What is the First Isomorphism Theorem?
Let φ : G → H be a homomorphism of groups. Let φˆ : G/ Ker(φ) → Im(φ),
φˆ(g Ker(φ)) = φ(g)
Then φˆ is a well-defined group isomorphism.
How is An related to Sn?
Let n ≥ 2. Then An is a normal subgroup of Sn.
Moreover,
[Sn : An] = 2, #An = #Sn/2 = n!/2.
How are two cyclic groups of the same order related?
Let G and H be cyclic groups of order n. Then G and H are isomorphic.