6 Cosets & Factor Groups


 Emma Pierce
 1 years ago
 Views:
Transcription
1 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure. This sounds strange, but it is precisely what you ve already encountered when constructing a natural addition on the set of remainders modulo n: in Z 6, when we write = 2, we really mean [3] + [5] = [2], where [3] = {3 + 6n : n Z} is the set of integers whose remainder is 3 when divided by 6. We shall call this set a coset to indicate that it is related to a subgroup of the integers, namely 3Z. That the above addition of sets makes sense and defines a group structure is merely an example of a more general construction. 6.1 Lagrange s Theorem Before properly defining cosets, we state what you should already have hypothesized, given the huge number of examples you ve now seen. Cosets will turn out to provide a simple proof. Review any of the subgroup relations we ve already seen and observe that the order of a subgroup is a divisor of the order of its parent group. This is a general result. Theorem 6.1 (Lagrange). Suppose that G is a finite group. The order of any subgroup G divides the order of G. Otherwise said G = G We have already proved the special case for subgroups of cyclic groups: 1 If G is a cyclic group of order n, then, for every divisor d of n, G has exactly one subgroup of order d. More precisely, if G = g has order n, then g k = Cd where d = n gcd(n,k) g k = g l gcd(n, k) = gcd(n, l) We shall prove the full theorem shortly. For such a simple result, Lagrange s Theorem is extremely powerful. For instance, you may have observed that there is only one group structure, up to isomorphism, of prime orders 2, 3, 5 and 7. This is also a general result. Corollary 6.2. There is only one group (up to isomorphism) of each prime order p, namely C p. Proof. Let p be prime and suppose that G is a group with G = p. Since p 2, we may choose some element x G \ {e}. Consider the cyclic subgroup generated by x, namely x G. Lagrange = x divides p = x = 1 or p. Since x has at least two elements, its order must therefore be p, from which G = x is cyclic. Finally, recall that there is only one cyclic group of each order up to isomorphism, so G = C p. 1 Lagrange s Theorem is sometimes misremembered as the order of an element divides the order of a group. This is really only a statement about the cyclic subgroups of a group G and is not as general as Lagrangeproper. 1
2 6.2 Cosets and Normal Subgroups The idea for the proof of Lagrange s Theorem is very simple. Given a subgroup G, partition G into several subsets, each with the same cardinality as. We call these subsets the cosets of. Definition 6.3. Let G and choose g G. The subsets of G defined by g := {gh : h } and g := {hg : h } are (respectively) the left and right cosets of containing g. If the left and right cosets of containing g are always equal ( g G, g = g) we say that is a normal subgroup of G, and write G. If G is written additively, the left and right cosets of containing g are g + := {g + h : h } and + g := {h + g : h } Even though our ultimate purpose is to prove Lagrange s Theorem (a statement about finite groups), the concept of cosets is perfectly welldefined for any group. Before seeing some examples, we state a straightforward lemma giving some conditions for identifying normal subgroups. Lemma Every subgroup of an abelian group G is normal. 2. A subgroup is normal in G if and only if g G, h, ghg 1. For nonabelian groups, most subgroups are typically not normal (although see example 3 below). Proof. Part 1. should be obvious. For part 2., note first that G = g G, h, gh g = g G, h, ghg 1 Conversely, ghg 1 = gh g = g g. If this holds for all g G and h, then it certainly applies for g 1, whence g 1 hg = hg g = g g We conclude that g = g for all g G and so is normal in G. Examples 1. Consider the subgroup of Z 12 generated by 4. This subgroup is cyclic of order 3: = 4 = {0, 4, 8} = C 3 Since the group operation is addition, we write cosets additively: for example, the left coset of 4 containing x Z 12 is the subset x + 4 = {x + n : n 4 } = {x, x + 4, x + 8} 2
3 where we might have to reduce x + 4 and x + 8 modulo 12. The distinct left cosets of 4 are as follows: = {0, 4, 8} = = (usually written 4, dropping the zero) = {1, 5, 9} = = = {2, 6, 10} = = = {3, 7, 11} = = There are only four distinct cosets: notice that each has the same number of elements (three) as the subgroup 4, and that Z 12 = = 4. The cosets have partitioned Z 12 into equalsized subsets. This is crucial for the proof of Lagrange s Theorem. Observe also that the right cosets of 4 are the same as the left cosets, in accordance with Lemma 6.4). Observe finally that only one of the cosets is a subgroup, the others are merely subsets of Z Recall the multiplication table for D 3. With a little work, you should be able to compute that the left and right cosets of the subgroup = {e, µ 1 } are as follows: Left cosets Right cosets e = µ 1 = = {e, µ 1 } e = µ 1 = = {e, µ 1 } ρ 1 = µ 3 = {ρ 1, µ 3 } ρ 1 = µ 2 = {ρ 1, µ 2 } ρ 2 = µ 2 = {ρ 2, µ 2 } ρ 2 = µ 3 = {ρ 1, µ 3 } This time the left and right cosets of are different ( is not a normal subgroup of D 3 ), but all cosets still have the same cardinality. 3. Recall how we proved that the alternating subgroup A n S n has cardinality A n = 1 2 S n. Generalizing this approach, it should be clear that, for any α A n and σ S n, we have ασ even σ even σα even Otherwise said, for any σ S n, the cosets of A n contiaining σ are { A n if σ even σa n = A n σ = if σ odd B n where B n is the set of odd permutations in S n. Note that A n is a normal subgroup of S n. 4. The vector space R 2 is an Abelian group under addition. The real line R identified with the xaxis, is a subgroup. The cosets of R in R 2 are all the sets v + R which are horizontal lines. More generally, if W is a subspace of a vector space V, then the cosets v + W form sets parallel to W: only the zero coset W = 0 + W is a subspace. In the picture, W is line through the origin in R 2 ; its cosets comprise all the lines in R 2 parallel to W (including W itself!). W 3
4 The examples should have suggested the following Theorem. Theorem 6.5. The left cosets of partition G. Before reading the proof, look at each of the above examples and convince yourself that the result is satisfied in each case. The strategy is to define an equivalence relation, the equivalence classes of which are precisely the left cosets of. Proof. Define a relation on G by x y x 1 y. We claim that is an equivalence relation. Reflexivity x x since x 1 x = e. Symmetry x y = x 1 y = (x 1 y) 1, since is a subgroup. But then y 1 x = y x. Transitivity If x y and y z then x 1 y and y 1 z. But is closed, whence x 1 z = (x 1 y)(y 1 z) = x z. The equivalence classes of therefore partition G. We claim that these are precisely the left cosets of. Specifically, we claim that x y x and y lie in the same left coset of x = y owever, note that x y x 1 y y x. It follows that y x. By symmetry, x y y 1 x x y. We conclude that x y x = y as required. Aside: Partitions and Subgroups Each of the three conditions that be an equivalence relation corresponds to one of the properties characterizing as a subgroup of G: Reflexivity contains the identity. Symmetry is closed under inverses. Transitivity is closed under the group operation. It is precisely the fact that is a subgroup which guarantees a partition. For example, if is merely the subset = {0, 1} of Z 3 = {0, 1, 2}, then its left cosets are 0 + {0, 1} = {0, 1}, 1 + {0, 1} = {1, 2}, 2 + {0, 1} = {2, 1}, which do not partition Z 3. 4
5 Proof of Lagrange s Theorem. Suppose that G and g G is a fixed element. Then the function φ : g : h gh is a bijection (its inverse is φ 1 : gh g). It follows that every left coset of has the same cardinality as. Therefore G = (number of left cosets of ) whence divides G. You should now revisit the proof that A n = 1 2 S n : it is nothing but a special case of Theorem 6.5 and the proof of Lagrange. The right cosets of a subgroup also partition G although, in general, they do this in a different way to the left cosets: observe the earlier example of the cosets of the subgroup {e, µ 1 } D 3. The proof of Lagrange s Theorem could also be argued with right cosets. 6.3 Indices The proof of Lagrange s Theorem in fact tells us that the number of left and right cosets of in G is identical: both are equal to the quotient G. This leads us to the following definition. Definition 6.6. If G then the index of in G, written (G : ), is the number of left (or right) cosets of in G. Strictly, the index is the cardinality of the set of left cosets: (G : ) = {g : g G} If G is finite (G : ) = G and the index is simple to calculate. It is more difficult to consider the situation when G is infinite, although the concept is welldefined (the cardinalities of the sets of left and right cosets are identical). Theorem 6.7. If K G is a sequence of subgroups then (G : K) = (G : )( : K) If G is a finite group then the result is essentially trivial: (G : K) = G K = G = (G : )( : K) K owever, the Theorem is more general, for it applies also to infinite groups. 2 2 Even when dealing with infinite groups, we will only think about examples where indices are finite so that their multiplication makes sense. If you are comfortable multiplying infinite cardinals then there is no problem removing this restriction and our proof works even in the general case. 5
6 Proof. Given K G choose a single element g i from each left coset of in G and a single element k j from each left coset of K in. Clearly (G : ) = {g i } and ( : K) = {h j } We claim that the left cosets of K in G are precisely the sets (g i h j )K. Certainly each set (g i h j )K is a coset of K in G: our goal is to show that these sets partition G, whence the collection {(g i h j )K} comprises all the left cosets of K in G. The partition conditions are confirmed below: Every g G lies in some left coset of, so g i G such that g g i. But then g 1 i g. Every h lies in some left coset of K in, so h j such that g 1 i g h j K. But then g (g i h j )K so that every g G lies in at least one set (g i h j )K. Suppose y g i h j K g α h β K. Since the left cosets of partition G, we have y g i g α = g α = g i But then g 1 i y h j K h β K = h β = h j similarly, since the left cosets of K in partition. It follows that the sets (g i h j )K are disjoint. Since the left cosets of K in G are given by {(g i h j )K}, it is immediate that 3 (G : K) = {g i h j } = {g i } {h j } = (G : )( : K) Examples 1. Consider G = Z 20 with its subgroups = 2 and K = {10}. Certainly K = {0, 10} = {0, 2, 4,..., 18} G = {0, 1, 2, 3,...} There are two (left) 4 cosets of in G, namely = {0, 2, 4,..., 18} and 1 + = {1, 3, 5,..., 19} whence the index is (G : ) = 2. Indeed, in the language of the proof, we could choose representatives g 1 = 0 and g 2 = 1. Meanwhile, K has five cosets in : K = {0, 10}, 2 + K = {2, 12}, 4 + K = {4, 14}, 6 + K = {6, 16}, 8 + K = {8, 18} so that ( : K) = 5. We could choose representatives h 1 = 0, h 2 = 2, h 3 = 4, h 4 = 6, h 5 = 8. There are ten cosets of K in G, in accordance with (G : K) = (G : )( : K): K = {0, 10}, 1 + K = {1, 11}, 2 + K = {2, 12},..., 9 + K = {9, 19} In the language of the Theorem, these can be written K = (g 1 + h 1 ) + K, 1 + K = (g 2 + h 1 ) + K, 2 + K = (g 1 + h 2 ) + K,......, 8 + K = (g 1 + h 4 ) + K, 9 + K = (g 2 + h 4 ) + K 3 The fact that {g i h j } = {g i } {h j } follows from the second bulletpoint. 4 The example is Abelian so left and right cosets are identical. 6
7 2. We consider the cosets for the sequence of subgroups C 3 S 3 S 4 where C 3 = {e, (123), (132)} and S 3 = {σ S 4 : σ(4) = 4}. The left cosets for C 3 in S 3 are ec 3 = C 3 = {e, (123), (132)} and (12)C 3 = {(12), (23), (13)} reflecting the fact that (S 3 : C 3 ) = 2. In the language of the Theorem, g 0 = e and g 1 = (12). Similarly, the left cosets for S 3 in S 4 are es 3 = S 3 = {e, (123), (132), (12), (23), (13)} (14)S 3 = S 3 = {(14), (1234), (1324), (124), (14)(23), (134)} (24)S 3 = S 3 = {(24), (1423), (1342), (142), (234), (13)(24)} (34)S 3 = S 3 = {(34), (1243), (1432), (12)(34), (243), (143)} with (S 4 : S 3 ) = 4 and h 0 = e, h 1 = (14), h 2 = (24), h 3 = (34). Finally, the left cosets of C 3 in S 4 are ec 3 = C 3 = {e, (123), (132)} (12)eC 3 = (12)C 3 = {(12), (23), (13)} (14)C 3 = {(14), (1234), (1324)} (12)(14)C 3 = (124)C 3 = {(124), (14)(23), (134)} (24)C 3 = {(24), (1423), (1342)} (12)(24)C 3 = (142)C 3 = {(142), (234), (13)(24)} (34)C 3 = {(34), (1243), (1432)} (12)(34)C 3 = {(12)(34), (243), (143)} in accordance with (S 4 : C 3 ) = 8 = (S 4 : S 3 ) = (S 3 : C 3 ). There are patterns everywhere! Aside: Indices in Infinite Groups ere are two classic examples: It is more challenging to think about indices for infinite groups. 1. O 2 (R) is the set of rotations and reflections of the plane (or of the unit circle if you prefer). Its subgroup SO 2 (R) is the set of rotations. Both groups are infinite (indeed uncountable), but we can compute the index: (O n (R) : SO n (R)) = 2 Intuitively this says that the rotations comprise half of group O 2 (R). To prove this, one performs what should be a nowfamiliar trick: the function ( ) 1 0 φ : SO 2 (R) O 2 (R) \ SO 2 (R) : A A 0 1 is a bijection The sets Q and Z are both groups under addition. Their index is countably infinite! (Q : Z) = ℵ 0 To see this, note that p + Z = q + Z p q Z so that there is precisely one coset of Z in Q for every rational number in the interval [0, 1), a denumerable set. 7
8 6.4 Factor Groups The idea of factor groups is very simple, if abstract. Given a subgroup G we may consider the set of left cosets G / = {g : g G} The question for this section is whether the set of left cosets has any interesting structure: that is, can we view G/ as a group in a natural way?5 To see how this might work, let us recall the first two examples of cosets starting on page 2. Turning the set of left cosets into a group cosets Consider Z 12 where = 4 = {0, 4, 8}, with (left), 1 +, 2 +, 3 + The set of left cosets is then / { } Z 12 = {, 1 +, 2 +, 3 + } = {0, 4, 8}, {1, 5, 9}, {2, 6, 10}, {3, 7, 11} There is a nice pattern here: x and y are members of the same coset if and only if x y (mod 4). Moreover, there are four cosets. Can we view Z / 12 as merely the cyclic group Z 4 in disguise? The answer, of course, is yes. To do this, we need to define a binary operation on Z / 12 : we need to see how to combine cosets to create new ones. The obvious thing to do is to use the addition in Z 12 that we already have: thus define (a + ) (b + ) := (a + b) + The binary operation on the set Z / 12 comes naturally from the existing addition on Z 12: we haven t created anything new, just using what we ve been given. There is a potential problem however: the freedom of choice built into the definition. Computing (a + ) (b + ) requires three steps: Choose representatives Make a choice of elements a and b in the respective cosets. Add in the original group Compute a + b Z 12. Take the coset Return the left coset (a + b) +. 5 There are typically many operations one could define on a set which would define a group structure. We want the structure to be natural: this means that it should appear without choice or imposition, and be inherited from the preexisting structure on G. In this way the structure will encode some information about G itself. 8
9 If is to make any sense at all, then the result (a + b) + must be independent of the choices we made in the first step. 6 In this case there is no problem, as you can tediously check for yourself. For example, to compute (1 + ) (2 + ) there are nine possibilities: = 3 = (1 + ) (2 + ) = = 7 = (1 + ) (2 + ) = 7 + = = 11 = (1 + ) (2 + ) = 11 + = = 7 = (1 + ) (2 + ) = 7 + = = 11 = (1 + ) (2 + ) = 11 + = = 15 = (1 + ) (2 + ) = 15 + = = 11 = (1 + ) (2 + ) = 11 + = = 15 = (1 + ) (2 + ) = 15 + = = 19 = (1 + ) (2 + ) = 19 + = 3 + Thankfully all nine results are the same! The other possibilities for adding cosets can be similarly checked (we ll do this in general in a moment). It is not hard to produce a table for the binary operation on the set Z / 12 : This table should look very familiar: if you delete all the expressions (so that = 0 + becomes 0), we recover precisely the Cayley table for the cyclic group Z 4. Indeed we have proved the following: Proposition 6.8. The set of left cosets Z / 12 = {, 1 +, 2 +, 3 + } forms a group under the operation, which is moreover isomorphic to Z 4. We will shortly refer to this as a factor group. It would be very nice if this sort of behavior were universal. Unfortunately it isn t. When cosets fail to form a group Let us repeat the process with the subgroup = {e, µ 1 } D 3. Recall that its left cosets are e = µ 1 = = {e, µ 1 }, ρ 1 = µ 3 = {ρ 1, µ 3 }, ρ 2 = µ 2 = {ρ 2, µ 2 } / In the same way as above, we define the natural operation on the set D 3 of left cosets:7 a b := (ab) 6 Strictly speaking we require that : Z / 12 Z / 12 Z / 12 be a welldefined function. 7 Again, the operation on the set of left cosets comes directly from the group operation on D 3. 9
10 This time there is a problem. Suppose we want to compute ρ 1 ρ 1. There are four choices: 8 ρ 1 ρ 1 = ρ 2 1 = ρ 2 ρ 1 µ 3 = ρ 1 µ 3 = µ 2 = ρ 2 µ 3 ρ 1 = µ 3 ρ 1 = µ 1 = µ 3 µ 3 = µ 2 3 = e = Exercising the freedom of choice in the definition of leads to different outcomes: it follows that is not welldefined. There is nothing stopping us from defining a group structure on D / 3, but any such definition must involve a choice on our part: we would be imposing structure rather that observing structure that occured naturally. Welldefinition of the natural group structure The above discussion can be generalized. Clearly some subgroups G behave better than others when considering the set G/ of left cosets. ow can we tell which subgroups? Let be a subgroup of G and define the natural operation on G/ : a b := (ab) This is welldefined if and only if a, b G, x a, y b, we have a b = x y Let us trace through what this means for the subgroup. x a h such that x = ah The operation on G/ is therefore welldefined if and only if a, b G, h 1, h 2, (ah 1 bh 2 ) = (ab) a, b G, h, (ahb) = (ab) (since h 2 = for all h 2 ) a, b G, h, (ab) 1 (ahb) b G, h, b 1 hb G We ve therefore proved the critical part of the following: (recall Lemma 6.4) Theorem 6.9. Suppose that is a subgroup of G. The set of (left) cosets G/ natural operation forms a group under the a b := (ab) if and only if is a normal subgroup of G. 8 Write these as cycles if you re having trouble computing: e.g. ρ 1 = (123), µ 1 = (23), etc. 10
11 Proof. The above discussion proves the direction: if G/ forms a group then the operation is certainly welldefined, whence is normal. For the converse, we check the group axioms. Closure By the above discussion, G ( = the natural operation is welldefined. Certainly a b = (ab) is a coset, whence G / ), is closed. Associativity a (b c) = a (bc) = a(bc). Similarly (a b) c = (ab)c. By the associativity of G these are identical. Identity e a = (ea) = a therefore e = is the identity. Inverse a 1 a = (a 1 a) = e =, therefore (a) 1 = a 1. Definition If is a normal subgroup of G, then G/ is called a factor group. Warning! Because the group structure on a factor group G/ comes naturally from the group structure on G, we typically use the same notation for the operation. Thus if (G, +) is a group, we also use + for the operation on G/ ( / ). Similarly (G, ) will have factor groups G, written multiplicatively. Make sure you know to which group an operation refers! The symbols, in the above examples were used only to help you keep the operations separate. 6.5 Factor Groups: Examples and Calculations There are many nice examples of factor groups. The main question we are concerned with is how to identify a given factor group G/ : by this we mean that we want to find a wellunderstood group K which is isomorphic to G/. We start with a general example which is important enough to merits a full discussion. This should, however, be a revision of material from a previous class. Factor Groups of Infinite Cyclic Groups: The Group Z m For each integer m, its integer multiples mz = m form a subgroup of Z. Since Z is abelian, mz is a normal subgroup. Observe that x + mz = y + mz x y mz x y mod m whence there is precisely one coset for each remainder modulo m. We may therefore write the cosets of mz as Z / = {0 + mz, 1 + mz,..., (m 1) + mz} mz Addition in the factor group is natural: ( ) ( ) x + mz + y + mz = (x + y) + mz This looks suspiciously like addition modulo m! Indeed we have the following: 11
12 Theorem µ : Z/ mz Z m : x + mz x (mod m) is an isomorphism. Proof. We ve already seen most of the relevant calculations! Welldefinition and Injectivity Note that x + mz = y + mz x y mz x y 0 (mod m) x = y (in Z m ) µ(x + mz) = µ(y + mz) Surjectivity Given any x Z m, we have x = µ(x + mz). omomorphism For all x + mz, y + mz Z/, we have mz ( ) ( ) µ (x + mz) + (y + mz) = µ (x + y) + mz = x + y (mod m) = µ ( x + mz ) + µ ( y + mz ) (mod m) By this argument, algebraists often take the factor group Z/ mz to be the definition of the group Z m. Factor Groups of Finite Cyclic Groups We ve already seen the example Z / 12 4 = Z 4 (Proposition 6.8). We can, in fact, identify all factor groups of finite cyclic groups. Recall that Z n has a single subgroup of order n d for each divisor d of n, namely9 { ( n ) } d = 0, d, 2d,..., d 1 d Theorem If d n, then µ : Z / n d Z d : x + d x (mod d) is an isomorphism. Try proving this yourself: it should be very similar to the proof of Theorem Example 5 = {0, 5, 10, 15} Z 20 has factor group Z 20 = {0 + 5, 1 + 5, 2 + 5, 3 + 5, } / 5 This is isomorphic to Z 5 under the isomorphism µ : Z / 20 5 Z 5 : x + 5 x (mod 5) 9 Recall that s = d gcd(s, n) = gcd(d, n) = d. 12
13 Factor Groups of Finite Abelian Groups If G is a finite abelian group with subgroup, then G/ is also a finite abelian group. According to the Fundamental Theorem of Finitely Generated Abelian Groups, the means that G / = Z m1 Z mk for some m 1,..., m k N which satisfy m 1 m k = (G : ) = G. Our goal in the following examples is to identify G/ by finding the relevant m k. Examples 1. Identify the factor group G/ = (Z 4 Z 8 ) / in terms of the Fundamental Theorem of (0, 1) Finitely Generated Abelian Groups. First consider the elements of the cyclic subgroup: = (0, 1) = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5), (0, 6), (0, 7)} This has order 8 whence the number of cosets is index of in G, namely (G : ) = We can easily compute the cosets: recall that (x, y) + = (v, w) + (x, y) (v, w) = (x v, y w) x = v It follows that there is a unique element in each coset of the form (x, 0), where x Z 4. Indeed the factor group may be written G / { } =, (1, 0) +, (2, 0) +, (3, 0) + The factor group is abelian of order 4. We therefore have two possibilities: G / = Z 4 or G / = Z2 Z 2. Which is it? A straightforward answer comes by observing that the factor group is generated by the coset (1, 0) +, indeed (1, 0) + = {, (1, 0) +, (2, 0) +, (3, 0) + } = G/ The factor group is cyclic and is therefore isomorphic to Z 4. If you want to be more explicit, observe that the function ψ : Z 4 G/ : x (x, 0) + is an isomorphism. 13
14 2. We can do something similar for G/ = (Z 4 Z 8 ) /. This time the cyclic subgroup (0, 2) = {0, 0), (0, 2), (0, 4), (0, 6)} has order 4. As with the previous example, the elements of of the cyclic subgroup only influce the second factor Z 8 of G, and we therefore expect to see (Z 4 Z 8 ) / (0, 2) = Z 4 Z / 8 2 = Z 4 Z 2 Indeed this is what we find, for the function ψ : Z 4 Z 2 G/ : (x, y) (x, y) + is an isomorphism. If the above seems too, fast, try counting cosets. Clearly G/ = = 8, whence the quotient group is abelian of order 8. There are three nonisomorphic possibilities: G / = Z 8, Z 4 Z 2, Z 2 Z 2 Z 2 To distinguish these, consider the possible orders of elements in each group: Observe: Group Possible orders of elements Z 8 1, 2, 4, 8 Z 4 Z 2 1, 2, 4 Z 2 Z 2 Z 2 1, 2 (1, 0) + has order 4, since (1, 0) + = {, (1, 0) +, (2, 0) +, (3, 0) + } All elements of the factor group have order dividing 4: 4 ( (x, y) + ) = (4x, 4y) + = (0, 4y) + = 2y ( (0, 2) + ) = It follows that the factor group must be isomorphic to Z 4 Z This time we identify 10 G/ = (Z 4 Z 8 ) /. As ever, first compute the subgroup: (2, 4) = {(0, 0), (2, 4)} has order 2. The factor group is therefore abelian of order gives five distinct options for the factor group, namely = 16. The Fundamental Theorem Z 16, Z 2 Z 8, Z 4 Z 4, Z 2 Z 2 Z 4, Z 2 Z 2 Z 2 Z 2 A little scratch work allows us to identify which is correct: 10 The previous examples may have lulled you into a false sense of security: the answer to this question is not Z 4 / 2 Z / 8 4 = Z 2 Z 2 Indeed by counting the sixteen cosets, we see immediately see that this is impossible! 14
15 If x = 2n is even, then (x, y) + = (2n, y) + = (0, y 4n) +. If x = 2n + 1 is odd, then (x, y) + = 1, y 4n) +. It follows that there is precisely one representative of each coset whose first entry is either 0 or 1, whence the following sixteen elements lie in distinct cosets of (2, 4) : (0, 0), (0, 1),..., (0, 7), (1, 0),..., (1, 7) It now seems reasonable to conjecture that the factor group is isomorphic to Z 2 Z 8. ere are two possible ways to prove this: (a) Observe that the coset (0, 1) + has order 8 in the factor group. This narrows our choice to Z 16 or Z 2 Z 8. Now check that all cosets have order at most 8: ( ) 8 (x, y) + = (8i, 8j) + = (0, 0) + There are no elements of order 16 whence we can rule out Z 16 as a candidate. The only possibility remaining is Z 2 Z 8. (b) We can define an explicit isomorphism: ψ : Z 2 Z 8 Z 4 Z 8 : (x, y) (x mod 2, y 4x) + (2, 4) / (2, 4) We leave it as an exercise to check that ψ is a welldefined isomorphism: it requires some creativity to invent such a function from nothing! In practice, method (a) is generally easier for us. Other Examples There are many other examples of factor groups. Often these have to be considered individually. 1. Let = {2πn : n Z}. This is a subgroup of the abelian group of (R, +). Can we identify the factor group R/? It should be clear that in any given coset there is a unique element x such that 0 x < 2π (this is like taking the remainder of x modulo 2π!). It follows that R / = {x + : x [0, 2π)} Indeed, you can check that the function ψ : R/ S1 : x + e ix is a welldefined group isomorphism! The factor group construction therefore corresponds to wrapping the real line infinitely many times around a circle of circumference 2π. 15
16 2. Recall the description of the alternating group A 4. It can be (tediously) checked that V = {e, (12)(34), (13)(24), (14)(23)} is a normal subgroup of A 4 which is moreover isomorphic to the Klein 4group. In this case, the factor group A / 4 V has order 12 4 = 3 and so must be isomorphic to Z 3: can you find an explicit isomorphism? 3. A similar analysis may be performed to see that S / 4 = S 3. See the homework. V Aside: An factor group of an infinite cyclic group As a final example we do something far more difficult: nothing this tricky is examinable! Identify G/ = (Z 10 Z 6 Z) / (4, 2, 3). The challenge is that both G and are infinite, whence we cannot simply use the index formula to count the number of cosets. ere is a way round the problem. Let z = 3q + r be the result of the division algorithm applied to z Z, where r = 0, 1 or 2. Then (x, y, z) + = (x, y, z) q(4, 2, 3) + = (x 4q, y 2q, r) + It follows that in every coset (x, y, z) +, there is precisely one element (x, y, z) with z = 0, 1 or 2. The elements (x, y, 0) where x Z 10 and y Z 6 all lie in different cosets: if two such were in the same coset, then (x 1, y 1, 0) (x 2, y 2, 0) (x 1 x 2, y 1 y 2, 0) x 1 x 2 (mod 10) and y 1 y 2 (mod 6) Similarly all the elements (x, y, 1) and (x, y, 2) lie in different cosets. It follows that the elements (x, y, 0), (x, y, 1) and (x, y, 2) are representatives of different cosets, and that all cosets have one such representative. There are therefore = 180 distinct cosets whence the factor group G/ is abelian of order 180. The prime decomposition of 180 is : there are, up to isomorphism, four abelian groups of order 180, namely Z 4 Z 9 Z 5 = Z180 Z 2 Z 2 Z 9 Z 5 = Z2 Z 90 Z 4 Z 3 Z 3 Z 5 = Z3 Z 60 Z 2 Z 2 Z 3 Z 3 Z 5 = Z6 Z 30 ow do we distinguish between these? As before, we look for elements of a particular order (lots of scratch work may be required in general!). 16
17 Compute the order of the coset (1, 1, 1) +. Certainly its order must be divisible by 3, since the third entry of n(1, 1, 1) = (n, n, n) requires 3 n. Thus let n = 3k. Now 3k(1, 1, 1) + = (3k, 3k, 3k) + = (3k, 3k, 3k) k(4, 2, 3) + (since (4, 2, 3) ) = ( k, k, 0) + = 10 k and 6 k 30 k 90 n Since G/ contains an element of order 90, our choices are narrowed to Z 180 and Z 2 Z 90. We show that every element of G/ has order dividing 90: 90 ( (x, y, z) + ) = (90x, 90y, 90z) 30z(4, 2, 3) + = (90x 120z, 90y 60z, 0) + = (0, 0, 0) + We conclude that G/ = Z2 Z 90. Phew! You can check (it s hard!) that the function ψ : Z 2 Z 90 (Z 10 Z 6 Z) / : (x, y) (y, 3x + y, y) + (4, 2, 3) is an isomorphism, though you d have to be truly inspired to conjecture this out of thin air! 17
Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCosets and Lagrange s theorem
Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and WellOrdering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc email: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationMA554 Assessment 1 Cosets and Lagrange s theorem
MA554 Assessment 1 Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem; they go over some material from the lectures again, and they have some new material it is all examinable,
More informationCosets. gh = {gh h H}. Hg = {hg h H}.
Cosets 1042006 If H is a subgroup of a group G, a left coset of H in G is a subset of the form gh = {gh h H}. A right coset of H in G is a subset of the form Hg = {hg h H}. The collection of left cosets
More informationChapter 3. Introducing Groups
Chapter 3 Introducing Groups We need a supermathematics in which the operations are as unknown as the quantities they operate on, and a supermathematician who does not know what he is doing when he performs
More informationExamples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are
Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the
More informationADVANCED CALCULUS  MTH433 LECTURE 4  FINITE AND INFINITE SETS
ADVANCED CALCULUS  MTH433 LECTURE 4  FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationSolutions to oddnumbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to oddnumbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationCITS2211 Discrete Structures (2017) Cardinality and Countability
CITS2211 Discrete Structures (2017) Cardinality and Countability Highlights What is cardinality? Is it the same as size? Types of cardinality and infinite sets Reading Sections 45 and 81 84 of Mathematics
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationCosets, Lagrange s Theorem, and Normal Subgroups
Chapter 7 Cosets, Lagrange s Theorem, and Normal Subgroups 7.1 Cosets Undoubtably, you ve noticed numerous times that if G is a group with H apple G and g 2 G, then both H and g divide G. The theorem that
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationFROM GROUPS TO GALOIS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationStab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
More informationNormal Subgroups and Quotient Groups
Normal Subgroups and Quotient Groups 3202014 A subgroup H < G is normal if ghg 1 H for all g G. Notation: H G. Every subgroup of an abelian group is normal. Every subgroup of index 2 is normal. If H
More informationChapter 5. Number Theory. 5.1 Base b representations
Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,
More informationa (b + c) = a b + a c
Chapter 1 Vector spaces In the Linear Algebra I module, we encountered two kinds of vector space, namely real and complex. The real numbers and the complex numbers are both examples of an algebraic structure
More informationGROUPS AND THEIR REPRESENTATIONS. 1. introduction
GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R
More informationCountability. 1 Motivation. 2 Counting
Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably
More information1 Continued Fractions
Continued Fractions To start off the course, we consider a generalization of the Euclidean Algorithm which has ancient historical roots and yet still has relevance and applications today.. Continued Fraction
More informationWe begin with some definitions which apply to sets in general, not just groups.
Chapter 8 Cosets In this chapter, we develop new tools which will allow us to extend to every finite group some of the results we already know for cyclic groups. More specifically, we will be able to generalize
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationUMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR
UMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR HOMEWORK 2: DUE TH. OCT. 1 READINGS: These notes are intended as a supplement to the textbook, not a replacement for it. 1. Elements of a group, their
More informationORDERS OF ELEMENTS IN A GROUP
ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since
More informationGROUP ACTIONS RYAN C. SPIELER
GROUP ACTIONS RYAN C. SPIELER Abstract. In this paper, we examine group actions. Groups, the simplest objects in Algebra, are sets with a single operation. We will begin by defining them more carefully
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the socalled prime and maximal ideals. Let
More informationCosets, Lagrange s Theorem, and Normal Subgroups
Chapter 7 Cosets, Lagrange s Theorem, and Normal Subgroups 7.1 Cosets Undoubtably, you ve noticed numerous times that if G is a group with H apple G and g 2 G, then both H and g divide G. The theorem that
More informationCHAPTER 6. Prime Numbers. Definition and Fundamental Results
CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n
More informationAnswers to Final Exam
Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient
More informationLecture 2: Groups. Rajat Mittal. IIT Kanpur
Lecture 2: Groups Rajat Mittal IIT Kanpur These notes are about the first abstract mathematical structure we are going to study, groups. You are already familiar with set, which is just a collection of
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More information3. G. Groups, as men, will be known by their actions.  Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions.  Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationGALOIS THEORY : LECTURE 4 LEO GOLDMAKHER
GALOIS THEORY : LECTURE 4 LEO GOLDMAKHER 1. A BRIEF REVIEW OF S n The rest of the lecture relies on familiarity with the symmetric group of n elements, denoted S n (this is the group of all permutations
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationFoundations Revision Notes
oundations Revision Notes hese notes are designed as an aid not a substitute for revision. A lot of proofs have not been included because you should have them in your notes, should you need them. Also,
More informationNumber theory (Chapter 4)
EECS 203 Spring 2016 Lecture 10 Page 1 of 8 Number theory (Chapter 4) Review Questions: 1. Does 5 1? Does 1 5? 2. Does (129+63) mod 10 = (129 mod 10)+(63 mod 10)? 3. Does (129+63) mod 10 = ((129 mod 10)+(63
More informationMath 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.
Math 345 Sp 07 Day 7 1. Last time we proved: a. Prove that the kernel of a homomorphism is a subring. b. Prove that the image of a homomorphism is a subring. c. Let R and S be rings. Suppose R and S are
More informationMATH EXAMPLES: GROUPS, SUBGROUPS, COSETS
MATH 370  EXAMPLES: GROUPS, SUBGROUPS, COSETS DR. ZACHARY SCHERR There seemed to be a lot of confusion centering around cosets and subgroups generated by elements. The purpose of this document is to supply
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationMath 103 HW 9 Solutions to Selected Problems
Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationWORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}
WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not
More informationECEN 5022 Cryptography
Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationCosets and Normal Subgroups
Cosets and Normal Subgroups (Last Updated: November 3, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from
More informationSection 10: Counting the Elements of a Finite Group
Section 10: Counting the Elements of a Finite Group Let G be a group and H a subgroup. Because the right cosets are the family of equivalence classes with respect to an equivalence relation on G, it follows
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationEquivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms
Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms Math 356 Abstract We sum up the main features of our last three class sessions, which list of topics are given
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A  Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH
ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More information2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationMATH ABSTRACT ALGEBRA DISCUSSIONS  WEEK 8
MAT 410  ABSTRACT ALEBRA DISCUSSIONS  WEEK 8 CAN OZAN OUZ 1. Isomorphism Theorems In group theory, there are three main isomorphism theorems. They all follow from the first isomorphism theorem. Let s
More informationThe Symmetric Groups
Chapter 7 The Symmetric Groups 7. Introduction In the investigation of finite groups the symmetric groups play an important role. Often we are able to achieve a better understanding of a group if we can
More informationThe group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.
The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct
More informationThe Integers. Peter J. Kahn
Math 3040: Spring 2009 The Integers Peter J. Kahn Contents 1. The Basic Construction 1 2. Adding integers 6 3. Ordering integers 16 4. Multiplying integers 18 Before we begin the mathematics of this section,
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of wellknown results.
More informationIsomorphisms and Welldefinedness
Isomorphisms and Welldefinedness Jonathan Love October 30, 2016 Suppose you want to show that two groups G and H are isomorphic. There are a couple of ways to go about doing this depending on the situation,
More informationLecture 3: Sizes of Infinity
Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 3: Sizes of Infinity Week 2 UCSB 204 Sizes of Infinity On one hand, we know that the real numbers contain more elements than the rational
More informationJohn B. Fraleigh, A first course in Abstract Algebra, 5th edition, AddisonWesley.
MATH222 ALGEBRAIC METHODS I This subject introduces the study of fundamental algebraic structures and the methods of abstract algebra which pervade much of modern mathematics. One of the important aims
More informationDefinition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively
6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationEXAMPLES CLASS 2 MORE COSETS, FIRST INTRODUCTION TO FACTOR GROUPS
EXAMPLES CLASS 2 MORE COSETS, FIRST INTRODUCTION TO FACTOR GROUPS Let (G, ) be a group, H G, and [G : H] the set of right cosets of H in G. We define a new binary operation on [G : H] by (1) (Hx 1 ) (Hx
More informationFINITE ABELIAN GROUPS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 7 FINITE ABELIAN GROUPS Amin Witno Abstract We detail the proof of the fundamental theorem of finite abelian groups, which states that every
More informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationIntroduction to Abstract Algebra (Math 113)
Introduction to Abstract Algebra (Math 113) Alexander Paulin Contents 1 Introduction 2 1.1 What is Algebra?................................. 2 1.2 Sets and Functions................................ 3 1.3
More informationFinite Fields: An introduction through exercises Jonathan Buss Spring 2014
Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence
More informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 78 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More information2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.
2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationSection 0. Sets and Relations
0. Sets and Relations 1 Section 0. Sets and Relations NOTE. Mathematics is the study of ideas, not of numbers!!! The idea from modern algebra which is the focus of most of this class is that of a group
More informationGroup Theory
Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is
More information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
More informationMath 3140 Fall 2012 Assignment #3
Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition
More informationFACTORIZATION OF IDEALS
FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are
More informationWhat is a semigroup? What is a group? What is the difference between a semigroup and a group?
The second exam will be on Thursday, July 5, 2012. The syllabus will be Sections IV.5 (RSA Encryption), III.1, III.2, III.3, III.4 and III.8, III.9, plus the handout on Burnside coloring arguments. Of
More informationError Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore
(Refer Slide Time: 00:54) Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 05 Cosets, Rings & Fields
More informationScott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:
Equivalence MA Relations 274 and Partitions Scott Taylor 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is
More informationSimple groups and the classification of finite groups
Simple groups and the classification of finite groups 1 Finite groups of small order How can we describe all finite groups? Before we address this question, let s write down a list of all the finite groups
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationMA441: Algebraic Structures I. Lecture 18
MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :
More informationBasics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On
Basics of Proofs The Putnam is a proof based exam and will expect you to write proofs in your solutions Similarly, Math 96 will also require you to write proofs in your homework solutions If you ve seen
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationGALOIS THEORY: LECTURE 20
GALOIS THEORY: LECTURE 0 LEO GOLDMAKHER. REVIEW: THE FUNDAMENTAL LEMMA We begin today s lecture by recalling the Fundamental Lemma introduced at the end of Lecture 9. This will come up in several places
More information