Algebra Flashcards
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.
What group is a group of prime order related to?
Let p be a prime. Any group of order p is isomorphic to Cp.
What is the Direct Product of two groups?
Let G and H be groups. We define the direct product of G and H to be
G × H = {(g, h) : g ∈ G, h ∈ H};
i.e. G × H is the set of ordered pairs (g, h) where g ∈ G and h ∈ H.
The binary operation on G × H is
(g1, h1) · (g2, h2) = (g1g2, h1h2).
How is G × H a group?
G×H is a group with identity element (1G, 1H), and inverse given by
(g, h)−1 = (g−1, h−1). If G, H are finite then
#(G × H) = (#G) · (#H).
What are the groups of order 4?
The only groups of order 4 are C4 and C2 × C2.
How can we write D2n?
Let n ≥ 3. Then
D2n = {id, r, r2, . . . , rn−1} ∪ {s, sr, sr2, . . . , srn−1} = R ∪ sR.
In particular, #D2n = 2n and R is a normal subgroup of index 2.
Note this tells us that [D2n : R] = 2. Thus, the subgroup R is normal in D2n.
If a symmetry in D2n fixes vertices 1 and 2 what can we tell?
Let a ∈ D2n. Suppose a fixes vertices 1 and 2. Then a = id.
If two symmetries both send 1 and 2 to the same vertex what can we tell?
Let b, c ∈ D2n. Suppose b(1) = c(1) and b(2) = c(2). Then b = c.
With r defined as an anticlockwise rotation around the centre through angle
2π/n and s a reflection in the x-axis, what identities do we get?
With r, s as above,
rn = id, s2 = id, srs = r-1.
Proof.
The first two relations are clear. We need to check the last one. Note that s-1 = s. Thus srs = srs-1. As R is normal in D2n and r ∈ R we have srs ∈ R. Hence srs = rk for some k. We compute
(srs)(1) = (sr)(s(1)) = (sr)(1) = s(r(1)) = s(2) = n.
Hence srs = rn-1 = r-1.
What is a Word in a group?
Let G be a group. Let g1, . . . , gn be elements of G. A word in g1, g2, . . . , gn is a finite product of g1, g1−1, g2, g2−1, . . . , gn, gn−1.
For example, if g, h ∈ G, then the following are words in g, h:
h^3, g−1h, h−2g−1h−1g3h, 1G.
How is the subset of words in elements of a group also a group?
Let G be a group. Let g1, . . . , gn be elements of G. Write 〈g1, . . . , gn 〉for the subset of words in g1, . . . , gn. Then 〈g1, . . . , gn〉 is a subgroup of G.
What is a Group Presentation?
It often convenient to specify a group by specifying generators and relations. This is called a group presentation. The usual notation has the form
G = 〈S|R〉
where S is a set of symbols, and R is a set of relations between the symbols.
What is the Fundamental Theorem of Group Presentations?
Let G = 〈S | R〉 be a group presentation where S = {s1, s2, . . . , sn} is a finite set of generators and R is a set of relations. Let H be a group and let h1, h2, . . . , hn be elements of H. There exists a homomorphism φ : G → H satisfying φ(si) = hi if and only if every relation r ∈ R holds
with the si replaced by the hi. Moreover, in this case the homomorphism φ is unique.
What is the Quarternion Group?
The quaternion group Q8 is defined by the presentation
Q8 = 〈a, b | a4 = id, a2 = b2, bab-1 = a-1〉.
How can we write elements of Q8?
Every element of Q8 can uniquely be written as aibj with 0 ≤ i ≤ 3 and 0 ≤ j ≤ 1. Thus #Q8 = 8.
What is a presentation for D2n?
D2n = 〈r, s |rn = s2 = id, srs = r-1〉
When do elements pairwise commute and when are they independent?
Let G be a group. Let g1, g2, . . . , gn be elements of G. We shall say that g1, g2, . . . , gn pairwise commute if gigj = gjgi for all i and j. We shall say that they are independent if
〈gi〉 ∩ 〈g1, g2, . . . , gi−1〉 = {id}
for i = 1, 2, . . . , n.
What group is the subset of words of elements in a group isomorphic to?
Let G be a group. Let g1, g2, . . . , gn ∈ G, and suppose that they are pairwise commuting and independent. Then
〈g1, g2, . . . , gn〉 ∼= 〈g1〉 × 〈g2〉 × · · · × 〈gn〉.
What is the exponent of a group?
Let n be a positive integer. We say that a group G has exponent n if n is the smallest positive integer such that gn = id for all g ∈ G.
What type of group is a group with exponent 2?
Let G be a group with exponent 2. Then G is abelian.
Proof.
Let g, h ∈ G. Then g = g−1 and h = h−1
(as g^2 = id = h^2).
Also hg = h−1g−1 = (gh)−1 = gh since (gh)^2 = id. Hence G is abelian.
What group is a group with exponent 2 isomorphic to?
Let G be a finite group with exponent 2. Then, for some positive integer n,
G ∼= C2n.
In particular, #G = 2n.
What is a group of order 6 isomorphic to?
Let G be a group of order 6. Then G ∼= C6 or G ∼= D6.
What is a group of order 8 isomorphic to?
Let G be a group of order 8. Then G is isomorphic to one of
C2 × C2 × C2, C4 × C2, C8, D8, Q8.
What is a left and right action?
Let G be a group and X a set. A left action of G on X is a map
G × X → X, (g, x) → g ∗ x
which satisfies the following two properties
(A1) 1G ∗ x = x for all x ∈ X;
(A2) (gh) ∗ x = g ∗ (h ∗ x) for all g, h ∈ G and x ∈ X.
A right action of G on X is defined similarly. It is a map
X × G → X, (x, g) → x ∗ g
which satisfies the following two properties
(B1) x ∗ 1G = x for all x ∈ X;
(B2) x ∗ (gh) = (x ∗ g) ∗ h for all g, h ∈ G and x ∈ X.
What is the orbit of an element?
We define the orbit of x ∈ X under the action of G by
OrbG(x) = {g ∗ x : g ∈ G}.
What is a fixed point and what is Fix(G)?
We say that x ∈ X is fixed by G if g ∗ x = x for all g ∈ G (we also call x a fixed point of G). We write Fix(G) for the set of x ∈ X that
are fixed by G.
Observe that
x ∈ Fix(G) ⇐⇒ x is fixed by G ⇐⇒ OrbG(x) = {x}.
How does the set of orbits of an action on X relate to X?
Let G be a group acting on a set X. The set of orbits of the action is a partition of X.