Physics 251 Solution Set 1 Spring 2017

Size: px
Start display at page:

Download "Physics 251 Solution Set 1 Spring 2017"

Transcription

1 Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition and multiplication as follows: (a) Is R a group? (x,y )+(x,y ) (x +x,y +y ), () (x,y ) (x,y ) (x x,y y ). () It is straightforward to check the group axioms and show that R is a group under addition [as defined in eq. ()]. R is not a group under multiplication. For example, (0,0) does not possess a multiplicative inverse. (b) Is R a field? R is not a field. Recall that all elements of a field, excluding the additive inverse, must possess a multiplicative inverse. In the case of R, the additive inverse is (0,0). However, for any x 0 and y 0, (x,0) and (0,y) also do not possess multiplicative inverses. (c) Is R a linear vector space (over R)? It is straightforward to check the axioms that define a linear vector space and show that R is a linear vector space over R. (d) Is R a linear algebra (over R)? It is straightforward to check the axioms that define a linear algebra and show that R is a linear algebra, where the vector multiplication law is given by eq. ().. Consider the following two groups: T { proper rotations that map a regular tetrahedron into itself }, T d { proper rotations and reflections that map a regular tetrahedron into itself }. Show that the following isomorphisms are valid: T A 4 and T d S4. A regular tetrahedron consists of four equilateral triangles with four vertices (labeled by the integers,,3,4) as shown in Figure (a). The symmetry operations, consisting of proper rotations [shown in Figure (b) and (c)] and reflections through planes that pass through two of the four tetrahedron vertices, have the effect of permuting the four vertices.

2 Figure : Proper rotations that map a regular tetrahedron into itself. Consider first the proper rotations. One can rotate by 0 in a clockwise or counterclockwise fashion about an axis through vertex, denoted by τ in Figure (b). This has the effect of permuting the vertices,3,4. All in all, one can perform clockwise or counterclockwise rotations about any one of the four axes [denoted by τ i, i,,3,4 in Figure (b)]. In each case, three of the four vertices are permuted. One can describe each rotation by an element of the permutation group. Using cycle notation, the eight rotation operations described above correspond to the three-cycles of the permutation group S 4. In cycle notation, these are: (3),(3),(4),(4),(34),(43),(34),(43). (3) In addition, one can rotate by 80 about the axes that are denoted by σ i, i,,3 in Figure (c). For example, performing a 80 about σ interchanges vertices and and likewise interchanges vertices 3 and 4. Thus, the three possible rotation operations described above correspond to permutations that are the product of two disjoint transpositions. In cycle notation, these are: ()(34),(3)(4),(4)(3) (4) Finally, the identity element corresponds to performing no rotation (or reflection). This completes the enumeration of all possible proper rotations that map a regular tetrahedron into itself. We conclude that T {e,(3),(3),(4),(4),(34),(43),(34),(43),()(34),(3)(4),(4)(3)}. (5) These twelve elements correspond to the even permutations of the four vertices. Therefore, it follows that T A 4, where A 4, the alternating group of four objects, is the subgroup of the permutation group S 4 that consists of the even permutations of four objects. Even permutations can be expressed as the product of an even number of transpositions. Moreover, as shown in class, an n-cycle can be written as the product of n transpositions. Hence, it follows that 3-cycles must be even permutations. Thus, eq. (5) exhausts all the possible even permutations of four objects.

3 Figure : Consider the bisectors of two of the equilateral triangles that are faces of the tetrahedron. The two bisectors meet at a point. The other ends of the two bisectors are connected by one of the tetrahedron edges. This defines one of six possible reflection planes that pass through two of the four vertices of the tetrahedron. One can also consider six possible reflection planes, one of which is illustrated in Figure. Note that each reflection plane passes through two of the four possible tetrahedron vertices. There are 4!/(!!) 6 ways of choosing the two vertices. When a reflection through one of these planes is carried out, the tetrahedron is mapped into itself. The two vertices that are located on the reflection plane are unaffected by the reflection, whereas the other two vertices are interchanged. These correspond to the transpositions of S 4, (),(3),(4),(3),(4),(34). (6) One can also combine any one of these reflections with a proper rotation. It is sufficient to consider one reflection (e.g., the reflection that interchanges vertices and ). There are six new permutations that can be produced: ( 3 4) ( 3 4), ( 4 3) ( 4 3), ( 3 4) ( 3 4 ), ( 4 3) ( 4 3 ), ( 3)( 4) ( 4 3), ( 4)( 3) ( 3 4). 3 4

4 Combining the reflection that interchanges vertices and with the five remaining rotations listed in eqs. (3) and (4) yields the five remaining transpositions, ( 3) ( 3), ( 3 ) ( 3), ( 4) ( 4), ( 4 ) ( 4), (3 4) (3 4) Thus, all the odd permutations of the four tetrahedron vertices can be realized by either a single reflection or a reflection followed by a rotation. One can easily check that two successive symmetry operations of the tetrahedron are in one-to-one correspondence with the multiplication table of S 4. Thus, we conclude that T d S4. 3. Consider the possibility that a set G of n n matrices forms a group with respect to matrix multiplication. (a) Prove that if G is a group and if one of the elements of G is a non-singular matrix then all of the elements of G must be non-singular matrices. Conclude that all the elements of G are either non-singular matrices or singular matrices. Let G {A 0,A,A,...} be a group of n n matrices, where e A 0 is the group identity element. First, suppose that the identity element A 0 is a non-singular matrix, in which case deta 0 0. Then consider A i B i A 0, for i 0 (no sum over i), (7) where B i is the group inverse of A i. Taking the determinant of both sides of eq. (7), it follows that deta i 0 and detb i 0. That is, A i is a non-singular matrix for all i. Hence, if the identity element is a non-singular matrix, then all the elements of G are non-singular matrices. Next, suppose that the identity element A 0 is a singular matrix, in which case deta 0 0. Since A 0 is the group identity element, it follows that A i A 0 A i, for any i 0. (8) Taking the determinant of both sides of eq. (8), it follows that deta i 0 for all i. Hence, if the identity element is a singular matrix, then all the elements of G are singular matrices. The group G may be a discrete or continuous group of matrices. 4

5 REMARKS:. In the case where all elements of G are non-singular matrices, then we can multiply both sides of eq. (8) by the matrix inverse A i to conclude that A 0 n n, where n n is the n n identity matrix. In the case where all the elements of G are singular matrices, then A 0 cannot be the identity matrix (since n n is non-singular).. One can shorten the above proof by proving directly that if any element of G is singular then all elements of G are singular. Suppose x G is a singular matrix, in which case detx 0. Consider any other element y G where y x. Then by writing y x(x y), (9) and taking the determinant of both sides of eq. (9), it follows that dety detx det(x y) 0. Hence, if any element of G is a singular matrix then all elements of G are singular matrices. An immediate consequence of this result is that if any element of G is a non-singular matrix then all elements of G must be non-singular matrices. (b) Consider the set of singular matrices G of the form x x, (0) x x where x R and x 0. Prove that G is a group with respect to matrix multiplication. Determine the matrix corresponding to the identity element of G. Determine the inverse of the element specified in eq. (0). Observe that x x y y x x y y z z, where z xy. z z This demonstrates that the elements of G satisfy closure on matrix multiplication. Next, we note that ( x x ) x x, x x x x which implies that is the identity element. Finally, ( x x x x e )( ( ) ), () ( ), 5

6 which implies that the group inverse of the element specified in eq. (0) is ) (. () (c) The group defined in part (b) is isomorphic to a well known group. Identify this group. Consider the function from G R that maps the elements x x x, for all x R, (3) x x where R R 0 {0} is the group of non-zero real numbers with respect to multiplication. Thismapisanisomorphism. Itiseasytocheckthatthegroupmultiplicationlawispreserved, since ( x x )( y y ) ( x x y y xy xy ) xy xy (x)(y) xy, is in one-to-one correspondence with multiplication in R. Moreover, the identity [eq. ()] maps to, which is the identity of R. Finally, the inverse given in eq. () is mapped by eq. (3) to /(x), which is the inverse of x in R. We conclude that G R. We can see the isomorphism more explicitly by considering the equivalent representation, x x S S, where S, x x A straightforward computation yields x x x x x Thus, the matrix representation given in eq. (0) is completely reducible and is the direct sum of two one dimensional representations. We can simply discard the zeros, which leaves a one-dimensional representation that is isomorphic to R with the map given by eq. (3). 4. Consider the dihedral group D 4. (a) Write down the group multiplication table. The elements of D 4 are defined by: D 4 {,r,r,r 3,d,rd,r d,r 3 d}, where the elements satisfy the relations, r 4 d and dr r 3 d. (4) We have used the notation e to define the identity element of D 4. 6

7 Using eq. (4), the group multiplication table is immediately obtained: r r r 3 d rd r d r 3 d r r r 3 d rd r d r 3 d r r r r 3 rd r d r 3 d d r r r 3 r r d r 3 d d rd r 3 r 3 r r r 3 d d rd r d d d r 3 d r d rd r 3 r r rd rd d r 3 d r d r r 3 r r d r d rd d r 3 d r r r 3 r 3 d r 3 d r d rd d r 3 r r (b) Enumerate the subgroups, the normal subgroups and the conjugacy classes. There are eight proper subgroups of D 4 : {,r } {,d} {,rd} {,r d} {,r 3 d} Z, {,r,r,r 3 } Z 4, {,r,d,r d} {,r,rd,r 3 d} D. Among these subgroups, four are normal subgroups: 3 {,r } Z, {,r,r,r 3 } Z 4, and {,r,d,r d} {,r,rd,r 3 d} D. Finally, we enumerate the classes: C {}, C {r,r 3 }, C 3 {r }, C 4 {d,r d} and C 5 {rd,r 3 d}. (5) (c) Identify the factor groups. Is the full group the direct product of some of its subgroups? Using the results of part (b), the possible factor groups are: D 4 /Z D, D 4 /Z 4 Z, D 4 /D Z. (6) The last two factor groups are identified uniquely as Z, since this is the only group of two elements. The identification of the first factor group is non-trivial, since there are two possible groups of order four D and Z 4. Note that D is not a cyclic group, whereas Z 4 is a cyclic group. However, it is clear that D 4 /Z is not a cyclic group. In particular, writing out the left cosets, { } D 4 /Z {,r }, {r,r 3 }, {d,r d}, {rd,r 3 d}, 3 One can prove that if a finite group G possesses a subgroup H that contains exactly half the number of elements of G, then H is a normal subgroup of G. 7

8 and identifying {,r } as the identity element of D 4 /Z, it is straightforward to check that the squares of all the other elements of D 4 /Z yields the identity element, which is not in general satisfied by the elements of Z 4. In light of eq. (6), the only possible candidates for writing D 4 as a direct product of its subgroups are Z D or Z Z 4. But the latter two are direct products of abelian groups, which imply that the corresponding direct product groups are abelian, whereas D 4 is a non-abelian group. Hence, D 4 is not a direct product of some of its subgroups. On the other hand, D 4 can be expressed as a semi-direct product of its subgroups in two different ways, D 4 Z4 Z D Z. (7) If we take D {,r,rd,r 3 d}, then we identify Z {,d} in both semi-direct products of eq. (7). 4 Note that D 4 cannot be written as Z D, since the first group of the semi-direct product is the normal subgroup. But, with Z {,r }, we see that one does not obtain all elements of D 4 in the form of g g, with g Z {,r } and g D. 5. The center of a group G, denoted by Z(G), is defined as the set of elements z G that commute with all elements of the group. That is, Z(G) {z G zg gz, g G}. (a) Show that Z(G) is an abelian subgroup of G. To prove that Z(G) is a subgroup of G, we must prove that: (i) z, z Z(G) z z Z(G), (ii) e Z(G), where e is the identity, (iii) z Z(G) z Z(G). To prove (i), we note that z, z Z(G) means that z g gz, for all g G, (8) z g gz, for all g G. (9) Multiply eq. (8) on the right by z to obtain z gz gz z. (0) Then, use eq. (9) to write z gz z z g. Then, eq. (0) can be rewritten as z z g gz z, which means that z z commutes with any element g G. Hence, z z Z(G). 4 If D {,r,d,r d} then we identify Z {,rd} in the second semi-direct product in eq. (7). 8

9 The proof of (ii) is trivial since e commutes with all elements of G. Finally to prove (iii) we note that z Z(G) means that zg gz for all g G. Multiplying this equation on the left by g and on the right by g yields Taking the inverse of eq. () yields g z zg, for all g G. () z g gz, for all g G. Hence, z Z(G). Thus, we have succeeded in showing Z(G) is a subgroup of G. Finally, it should be clear that Z(G) is an abelian subgroup. As previously noted, for any z, z Z(G), eq. (8) is satisfied. In particular, choosing g z in eq. (8), it follows that z z z z. This arguments continues to hold for any choice of z,z Z(G). Thus, we conclude that Z(G) is an abelian subgroup of G. (b) Show that Z(G) is a normal subgroup of G. To show that Z(G) is a normal subgroup, one must show that for any z Z(G) and g G, we have gzg Z(G). By definition, if z Z(G) then gz zg for all g G. Hence, for any z Z(G), we have gzg zgg z Z(G) for all g G, as required for a normal subgroup. (c) Find the center of D 4 and construct the group D 4 /Z(D 4 ). Determine whether the isomorphism D 4 [D4 /Z(D 4 )] Z(D 4 ) is valid. The multiplication table for D 4 was given in part (a) of problem 4. Inspection of the multiplication table reveals that: Z(D 4 ) {e,r } Z, where the identification of the center follows from the fact that any finite group of two elements must be isomorphic to Z. The left cosets of D 4 with respect to the Z subgroup are: Z {e,r }, rz {r,r 3 }, dz {d,r d}, rdz {rd,r 3 d}, which exhausts all the elements of D 4. We identify the quotient group { } D 4 /Z {e,r }, {r,r 3 }, {d,r d}, {rd,r 3 d}. 9

10 From the multiplication table for D 4, one can construct the multiplication table for D 4 /Z, {e,r } {r,r 3 } {d,r d} {rd,r 3 d} {e,r } {e,r } {r,r 3 } {d,r d} {rd,r 3 d} {r,r 3 } {r,r 3 } {e,r } {rd,r 3 d} {d,r d} {d,r d} {d,r d} {rd,r 3 d} {e,r } {r,r 3 } {rd,r 3 d} {rd,r 3 d} {d,r d} {r,r 3 } {e,r } This is clearly not a cyclic group with one generator. Hence, it is not isomorphic to the cyclic group Z 4, which leave only one remaining possibility, D. Indeed, one can check that the multiplication table above is equivalent to that of D. Hence, D 4 /Z D. Finally, if the isomorphism D 4 [D4 /Z(D 4 )] Z(D 4 ) were valid, then D 4? D Z. But this identification is incorrect. In particular, D 4 is a nonabelian group, whereas both D and Z are abelian groups. Thus, it follows that D Z is abelian, which means that this group cannot be isomorphic to the nonabelian group D An automorphism is defined as an isomorphism of a group G onto itself. (a) Show that for any g G, the mapping T g (x) gxg is an automorphism (called an inner automorphism), where x G. To show that T g (x) gxg is an automorphism, we must show that it is a homomorphism from the group G to itself that is one-to-one and onto. To prove that T g is a homomorphism, one must verify that T g (x)t g (y) T g (xy), for all x,y G. () That is, T g (x) preserves the group multiplication table. The computation is straightforward: T g (x)t g (y) (gxg )(gyg ) gxyg T g (xy). To see that T g (x) gxg is one-to-one and onto (i.e. it is an isomorphism), we can invoke the rearrangement lemma. Multiplication on the left and/or on the right by a fixed element of G simply reorders the group multiplication table. 5 Hence, we conclude that T g is an isomorphism from G G. That is, T g is an automorphism of the group G. 5 One can also prove the one-to-one and onto properties directly. To prove that the homomorphism is one-to-one, one must show that T g (x) T g (y) x y. But, T g (x) T g (y) implies that gxg gyg. Multiplying this equation on the left by g and on the right by g then yields x y. To prove that the homomorphism is onto, one must show that for all y G, there exists an x G such that T g (x) y. In this case, it is sufficient to choose x g yg. Evaluating T g (x) for this choice, T g (g yg) g(g yg)g y, as required. Thus, for any choice of y G, we have explicitly determined the required x, namely x g yg, such that T g (x) y. That is, the homomorphism maps G onto itself. 0

11 (b) Show that the set of all inner automorphisms of G, denoted by I(G), is a group. Define I(G) {T g g G}. Since T g is an automorphism, we can introduce a group multiplication law that consists of the composition of two maps. In particular, T g T g (x) T g (g xg ) g g xg g (g g )x(g g ) T g g (x), which holds for any x G. Hence, the composition of two maps is given by: T g T g T g g. (3) It follows that I(G) satisfies the axioms of a group by virtue of the fact that the group G satisfies the group axioms. In particular, eq. (3) implies that I(G) is closed with respect to the group multiplication law. Moreover, associativity is guaranteed because g (g g 3 ) (g g )g 3 implies that T g (T g T g3 ) (T g T g )T g3 T g g g 3. The identity of I(G) is T e (where e is the identity element of the group G) since The inverse of T g is T g, since T g T e T e T g T ge T eg T g. T g T g T g T g T gg T g g T e. Thus, the group axioms are satisfied, which implies that I(G) is a group. (c) Show that I(G) G/Z(G), where Z(G) is the center of G. The kernel of the map f : G G is defined by K ker f {g G f(g) e }, where G is the image of f and e is the identity element of G. Introduce the two homomorphisms, φ : G G/K ψ : G/K G given by φ(g) gk, given by ψ(gk) f(g). It follows that ψ φ(g) f(g). It is straightforward to show that ψ is an isomorphism, in which case we can identify G G/K. (4) This result can be represented diagrammatically by: f G G φ G/K ψ

12 Consider the homomorphism, f : G I(G), given by f(g) T g. Note that f is onto, i.e. I(G) is the image of f. The kernel of f is K {g G} f(g) T e }, where T e is the identity element of I(G), i.e. T e (x) x. Thus, K consists of all elements of G satisfying T g T e, or equivalently, gxg x, which implies that gx xg for all x G. We recognize this as the center of G, denoted by Z(G) in problem 4. Using eq. (4), it follows that I(G) G/Z(G). (5) (d) Show that the set of all automorphisms of G, denoted by A(G), is a group and that I(G) is a normal subgroup. (The factor group A(G)/I(G) is called the group of outer automorphisms of G.) Let A(G) be the set of all automorphisms of G. To show that this is a group, we must define the group multiplication law. As in the case of part (b), we define A A (g) A (A (g)), for A,A A and g G. That is the multiplication law is simply the composition of maps. It is straightforward to verify that the group axioms are satisfied. Note that since an automorphism is one-to-one and onto, each element of A(G) possesses a unique inverse. Next, we demonstrate that the set of inner automorphisms, {T g g G}, is a normal subgroup of A(G). To do this, one must show that AT g A I(G), for all A A(G). Consider, AT g A (x) AT g (A (x)) A(gA (x)g ) A(g)A(A (x))a(g ) A(g)xA (g) T A(g) (x), (6) where we have used the fact that A is a homomorphism, which therefore satisfies A(g g ) A(g )A(g ) and A(g ) A (g), for any g,g,g G. (7) It follows that AT g A T A(g) I(G). 7. Consider an arbitrary orthogonal matrix R, which satisfies RR T (where is the identity matrix). (a) Prove that the possible values of detr are ±. Using the fact that detr T detr, it follows that det(rr T ) (detr)(detr T ) [detr], (8) since RR T implies that det(rr T ) det. Taking the square root of eq. (8) yields detr ±.

13 (b) The group SO() consists of all orthogonal matrices with unit determinant. Prove that SO() is an abelian group. Suppose that Q SO(). If we parameterize a b Q, c d then we can find relations among the parameters a, b, c and d by imposing the conditions Q T Q and detq. That is, a c a b a +c ab+cd 0 b d c d ab+cd b +d, 0 and det Q ad bc. Hence, the relations among the parameters a, b, c and d are determined by the following conditions, a +c b +d, ab+cd 0, ad bc. (9) We now consider two cases. First if c 0, it follows that d ab/c. Inserting this result back into eq. (9) yields ad bc a b c bc b ( a +c ) b c c, after using eq. (9). That is, c b. It immediately follows that d ab/c a, and we conclude that the most general SO() matrix is given by a b Q. b a In light of eq. (9), c b yields a +b, which implies that a,b. Thus, it is convenient to parameterize a and b by defining a cosθ and b sinθ. Hence, the most general SO() matrix is given by cosθ sinθ Q, (30) sinθ cosθ where 0 θ < π. Next, we examine the case of c 0. In this case, eq. (9) yields a, ab 0, and ad. It follows that b 0 and a d ±. Hence the form for Q in this case (where a d ± and b c 0) is consistent with eq. (30). It is now a simple matter to show that SO() is a group and any two elements of SO() of the form given in eq. (30) commute. In particular, cosθ sinθ cosθ sinθ sinθ cosθ sinθ cosθ cosθ cosθ sinθ sinθ sinθ cosθ +cosθ sinθ sinθ cosθ cosθ sinθ cosθ cosθ sinθ sinθ cos(θ +θ ) sin(θ +θ. (3) sin(θ +θ ) cos(θ +θ ) 3

14 The form of the group multiplication law given above exhibits closure. The identity corresponds to taking θ 0 in eq. (30), and the inverse of Q is obtained by taking θ θ. Finally, if we interchange θ and θ in eq. (3), we recover the same result. Hence, all products of SO() elements are commutative (which implies associativity), and we conclude that SO() is an abelian group. (c) The group O() consists of all orthogonal matrices, with no restriction on the sign of its determinant. Is O() abelian or non-abelian? (If the latter, exhibit two O() matrices that do not commute.) The matrix Q given in eq. (30) is also an element of O(). An element of O() that is not an element of SO() is 0. 0 But this matrix does not commute with Q. In particular, cosθ sinθ 0 cosθ sinθ, sinθ cosθ 0 sinθ cosθ whereas 0 cosθ sinθ cosθ sinθ. 0 sinθ cosθ sinθ cosθ Hence, we conclude that O() is a non-abelian group. REMARK: Note that SO() is a normal subgroup of O(). To prove this result, consider the homomorphism, f : O() {+, }, which is defined by f(a) deta, for A O(). The kernel of f is SO(), since the latter corresponds to the set of all elements of O() with determinant equal to one. Hence, O()/kef f {+, }. Since we can identify Z {+, } where the group operation is ordinary multiplication, we can conclude that O()/SO() Z. However, it does not follow that O() SO() Z. Indeed, O() is a nonabelian group whereas SO() Z is an abelian group. Nevertheless, it is true that O() is a semi-direct product, O() SO() Z. To show this, we simply need to exhibit a Z subgroup of O() such that SO() Z {e}, where e is the identity element of O(). A possible choice for the Z subgroup of O() that satisfies this requirement is, Z { 0, 0 } 0. 0 One can easily verify that this Z subgroup is not a normal subgroup of O(). In particular, gz g Z for all g O(), as one can easily check. 4

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative. Chapter 1 Groups A group G is a set of objects { a, b, c, } (not necessarily countable) together with a binary operation which associates with any ordered pair of elements a, b in G a third element ab

More information

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

book 2005/1/23 20:41 page 132 #146

book 2005/1/23 20:41 page 132 #146 book 2005/1/23 20:41 page 132 #146 132 2. BASIC THEORY OF GROUPS Definition 2.6.16. Let a and b be elements of a group G. We say that b is conjugate to a if there is a g G such that b = gag 1. You are

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, 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 information

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M. 1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e

More information

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

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 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 information

Elements of solution for Homework 5

Elements of solution for Homework 5 Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered 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 information

x 2 = xn xn = x 2 N = N = 0

x 2 = xn xn = x 2 N = N = 0 Potpourri. Spring 2010 Problem 2 Let G be a finite group with commutator subgroup G. Let N be the subgroup of G generated by the set {x 2 : x G}. Then N is a normal subgroup of G and N contains G. Proof.

More information

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS Math 330 - Abstract Algebra I Spring 2009 SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS (1) Suppose that G is a group, H G is a subgroup and K G is a normal subgroup. Prove that H K H. Solution: We

More information

MA441: Algebraic Structures I. Lecture 26

MA441: Algebraic Structures I. Lecture 26 MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order

More information

Normal Subgroups and Factor Groups

Normal Subgroups and Factor Groups Normal Subgroups and Factor Groups Subject: Mathematics Course Developer: Harshdeep Singh Department/ College: Assistant Professor, Department of Mathematics, Sri Venkateswara College, University of Delhi

More information

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both

More information

The Outer Automorphism of S 6

The Outer Automorphism of S 6 Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements

More information

Math 210A: Algebra, Homework 5

Math 210A: Algebra, Homework 5 Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose

More information

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then

More information

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

More information

Algebra-I, Fall Solutions to Midterm #1

Algebra-I, Fall Solutions to Midterm #1 Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the

More information

1. Groups Definitions

1. Groups Definitions 1. Groups Definitions 1 1. Groups Definitions A group is a set S of elements between which there is defined a binary operation, usually called multiplication. For the moment, the operation will be denoted

More information

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

GROUPS 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 information

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

MATH 436 Notes: Cyclic groups and Invariant Subgroups. MATH 436 Notes: Cyclic groups and Invariant Subgroups. Jonathan Pakianathan September 30, 2003 1 Cyclic Groups Now that we have enough basic tools, let us go back and study the structure of cyclic groups.

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More information

Theorems and Definitions in Group Theory

Theorems and Definitions in Group Theory Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3

More information

Solution Outlines for Chapter 6

Solution Outlines for Chapter 6 Solution Outlines for Chapter 6 # 1: Find an isomorphism from the group of integers under addition to the group of even integers under addition. Let φ : Z 2Z be defined by x x + x 2x. Then φ(x + y) 2(x

More information

Group Theory

Group 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 information

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation. 1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm Johns Hopkins University, Department of Mathematics 110.401 Abstract Algebra - Spring 2009 Midterm Instructions: This exam has 8 pages. No calculators, books or notes allowed. You must answer the first

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. Problem 1 Find all homomorphisms a) Z 6 Z 6 ; b) Z 6 Z 18 ; c) Z 18 Z 6 ; d) Z 12 Z 15 ; e) Z 6 Z 25 Proof. a)ψ(1)

More information

1.5 Applications Of The Sylow Theorems

1.5 Applications Of The Sylow Theorems 14 CHAPTER1. GROUP THEORY 8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is a result about subgroups of index p. Let H be a subgroup of the finite group G, and assume

More information

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H.

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H. Some of the problems are very easy, some are harder. 1. Let G and H be two groups and G H the external direct product of G and H. (a) Prove that the map f : G H H G defined as f(g, h) = (h, g) is a group

More information

120A LECTURE OUTLINES

120A LECTURE OUTLINES 120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication

More information

PROBLEMS FROM GROUP THEORY

PROBLEMS FROM GROUP THEORY PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.

More information

1 Chapter 6 - Exercise 1.8.cf

1 Chapter 6 - Exercise 1.8.cf 1 CHAPTER 6 - EXERCISE 1.8.CF 1 1 Chapter 6 - Exercise 1.8.cf Determine 1 The Class Equation of the dihedral group D 5. Note first that D 5 = 10 = 5 2. Hence every conjugacy class will have order 1, 2

More information

Symmetries in Physics. Nicolas Borghini

Symmetries in Physics. Nicolas Borghini Symmetries in Physics Nicolas Borghini version of February 21, 2018 Nicolas Borghini Universität Bielefeld, Fakultät für Physik Homepage: http://www.physik.uni-bielefeld.de/~borghini/ Email: borghini at

More information

1 g 1,gg 2 xg 1. 2 g 1,...,gg n xg 1. n g 1 } = {gxg 1,gg 1 x(gg 1 ) 1,gg 2 x(gg 2 ) 1,...,gg n x(gg n ) 1 } = {x,g 1 xg 1. 2,...

1 g 1,gg 2 xg 1. 2 g 1,...,gg n xg 1. n g 1 } = {gxg 1,gg 1 x(gg 1 ) 1,gg 2 x(gg 2 ) 1,...,gg n x(gg n ) 1 } = {x,g 1 xg 1. 2,... Physics 5 Solution Set Spring 7. A finite group G can be decomposed into conjugacy classes C k. (a) Construct the set C k gc kg, which is obtained by replacing each element x C k by gxg. Prove that C k

More information

S10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder.

S10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder. Some of the problems are very easy, some are harder. 1. Let F : Z Z be a function defined as F (x) = 10x. (a) Prove that F is a group homomorphism. (b) Find Ker(F ) Solution: Ker(F ) = {0}. Proof: Let

More information

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

More information

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld. ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

More information

Author: Bob Howlett Group representation theory Lecture 1, 28/7/97. Introduction

Author: Bob Howlett Group representation theory Lecture 1, 28/7/97. Introduction Author: Bob Howlett Group representation theory Lecture 1, 28/7/97 Introduction This course is a mix of group theory and linear algebra, with probably more of the latter than the former. You may need to

More information

Introduction to Groups

Introduction to Groups Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)

More information

REU 2007 Discrete Math Lecture 2

REU 2007 Discrete Math Lecture 2 REU 2007 Discrete Math Lecture 2 Instructor: László Babai Scribe: Shawn Drenning June 19, 2007. Proofread by instructor. Last updated June 20, 1 a.m. Exercise 2.0.1. Let G be an abelian group and A G be

More information

Figure 1. Symmetries of an equilateral triangle

Figure 1. Symmetries of an equilateral triangle 1. Groups Suppose that we take an equilateral triangle and look at its symmetry group. There are two obvious sets of symmetries. First one can rotate the triangle through 120. Suppose that we choose clockwise

More information

MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I. Lecture 14 MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

More information

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017 MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017 Questions From the Textbook: for odd-numbered questions, see the back of the book. Chapter 5: #8 Solution: (a) (135) = (15)(13) is

More information

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................

More information

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) =

More information

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Automorphism Groups 9-9-2012 Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Example. The identity map id : G G is an automorphism. Example.

More information

Math 451, 01, Exam #2 Answer Key

Math 451, 01, Exam #2 Answer Key Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Notes on Algebra. Donu Arapura

Notes on Algebra. Donu Arapura Notes on Algebra Donu Arapura December 5, 2017 Contents 1 The idea of a group 3 1.5 Exercises............................... 8 2 The group of permutations 11 2.11 Exercises...............................

More information

Fall /29/18 Time Limit: 75 Minutes

Fall /29/18 Time Limit: 75 Minutes Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages

More information

Math 120A: Extra Questions for Midterm

Math 120A: Extra Questions for Midterm Math 120A: Extra Questions for Midterm Definitions Complete the following sentences. 1. The direct product of groups G and H is the set under the group operation 2. The symmetric group on n-letters S n

More information

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES 1 Some Definitions For your convenience, we recall some of the definitions: A group G is called simple if it has

More information

4. Permutations - worked solutions Alastair Farrugia MAT (a) What is the length of (abcd)? Its order? Its parity? (abcd) has length 4

4. Permutations - worked solutions Alastair Farrugia MAT (a) What is the length of (abcd)? Its order? Its parity? (abcd) has length 4 4. Permutations - worked solutions Alastair Farrugia MAT 1101 1. (a) What is the length of (abcd)? Its order? Its parity? (abcd) has length 4 [because there are 4 elements in the cycle], and order 4 [because

More information

2. The center of G, denoted by Z(G), is the abelian subgroup which commutes with every elements of G. The center always contains the unit element e.

2. The center of G, denoted by Z(G), is the abelian subgroup which commutes with every elements of G. The center always contains the unit element e. Chapter 2 Group Structure To be able to use groups in physics, or mathematics, we need to know what are the important features distinguishing one group from another. This is under the heading of group

More information

Mathematics Department Qualifying Exam: Algebra Fall 2012

Mathematics Department Qualifying Exam: Algebra Fall 2012 Mathematics Department Qualifying Exam: Algebra Fall 202 Part A. Solve five of the following eight problems:. Let {[ ] a b R = a, b Z} and S = {a + b 2 a, b Z} 2b a ([ ]) a b Define ϕ: R S by ϕ = a + b

More information

17 More Groups, Lagrange s Theorem and Direct Products

17 More Groups, Lagrange s Theorem and Direct Products 7 More Groups, Lagrange s Theorem and Direct Products We consider several ways to produce groups. 7. The Dihedral Group The dihedral group D n is a nonabelian group. This is the set of symmetries of a

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

Algebra SEP Solutions

Algebra 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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 information

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1 Mathematics 331 Solutions to Some Review Problems for Exam 2 1. Write out all the even permutations in S 3. Solution. The six elements of S 3 are a =, b = 1 3 2 2 1 3 c =, d = 3 2 1 2 3 1 e =, f = 3 1

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 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 Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

More information

Chapter 16 MSM2P2 Symmetry And Groups

Chapter 16 MSM2P2 Symmetry And Groups Chapter 16 MSM2P2 Symmetry And Groups 16.1 Symmetry 16.1.1 Symmetries Of The Square Definition 1 A symmetry is a function from an object to itself such that for any two points a and b in the object, the

More information

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups Normal Subgroups CHAPTER 9 Normal Subgroups and Factor Groups If H apple G, we have seen situations where ah 6= Ha 8 a 2 G. Definition (Normal Subgroup). A subgroup H of a group G is a normal subgroup

More information

Section III.15. Factor-Group Computations and Simple Groups

Section III.15. Factor-Group Computations and Simple Groups III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor

More information

CONJUGATION IN A GROUP

CONJUGATION IN A GROUP CONJUGATION IN A GROUP KEITH CONRAD 1. Introduction A reflection across one line in the plane is, geometrically, just like a reflection across any other line. That is, while reflections across two different

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg

More information

Lecture 3.7: Conjugacy classes

Lecture 3.7: Conjugacy classes Lecture 3.7: Conjugacy classes Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 3.7:

More information

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

More information

2) 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.

2) 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 information

SYMMETRIES IN R 3 NAMITA GUPTA

SYMMETRIES IN R 3 NAMITA GUPTA SYMMETRIES IN R 3 NAMITA GUPTA Abstract. This paper will introduce the concept of symmetries being represented as permutations and will proceed to explain the group structure of such symmetries under composition.

More information

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your

More information

The Symmetric Groups

The 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 information

SCHOOL OF DISTANCE EDUCATION

SCHOOL OF DISTANCE EDUCATION SCHOOL OF DISTANCE EDUCATION B. Sc. MATHEMATICS MM5B06: ABSTRACT ALGEBRA (Core Course) FIFTH SEMESTER STUDY NOTES Prepared by: Vinod Kumar P. Assistant Professor P. G.Department of Mathematics T. M. Government

More information

SPRING OF 2008 D. DETERMINANTS

SPRING OF 2008 D. DETERMINANTS 18024 SPRING OF 2008 D DETERMINANTS In many applications of linear algebra to calculus and geometry, the concept of a determinant plays an important role This chapter studies the basic properties of determinants

More information

ALGEBRA HOMEWORK SET 2. Due by class time on Wednesday 14 September. Homework must be typeset and submitted by as a PDF file.

ALGEBRA HOMEWORK SET 2. Due by class time on Wednesday 14 September. Homework must be typeset and submitted by  as a PDF file. ALGEBRA HOMEWORK SET 2 JAMES CUMMINGS (JCUMMING@ANDREW.CMU.EDU) Due by class time on Wednesday 14 September. Homework must be typeset and submitted by email as a PDF file. (1) Let H and N be groups and

More information

Algebra Exercises in group theory

Algebra Exercises in group theory Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

DIHEDRAL GROUPS II KEITH CONRAD

DIHEDRAL 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 information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Supplement. 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 information

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 AARON LANDESMAN 1. INTRODUCTION In this class, we investigate the outer automorphism of S 6. Let s recall some definitions, so that we can state what an outer

More information

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1 10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g

More information

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is

More information

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G. 10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

More information

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK Graduate Abstract Algebra I May 2, 2004 Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it

More information

MA441: Algebraic Structures I. Lecture 15

MA441: Algebraic Structures I. Lecture 15 MA441: Algebraic Structures I Lecture 15 27 October 2003 1 Correction for Lecture 14: I should have used multiplication on the right for Cayley s theorem. Theorem 6.1: Cayley s Theorem Every group is isomorphic

More information

Math 3140 Fall 2012 Assignment #2

Math 3140 Fall 2012 Assignment #2 Math 3140 Fall 2012 Assignment #2 Due Fri., Sept. 14. sources. Remember to cite your Exercise 2. [Fra, 4, #9]. Let U be the set of complex numbers of absolute value 1. (a) Show that U is a group under

More information

Homework #5 Solutions

Homework #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 information