REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS
|
|
- Rodney Evans
- 5 years ago
- Views:
Transcription
1 SUMMER PROJECT REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS September 29, 2017 Miriam Norris School of Mathematics
2 Contents 0.1 Introduction Representations of Groups FG-modules and Reducibility Reducibility Group Algebra FG-homomorphisms Maschke s Theorem Schur s Lemma Irreducible Modules Conjugacy Classes Characters Inner Products and Orthogonality Character tables Normal Subgroups and Lifted characters Acknowledgements References
3 0.1 INTRODUCTION This report covers the key elements of representation theory that I looked at during my summer project. I have constructed it so that it is hopefully clear how the earlier groundwork built up to allow me to find some interesting results. I wanted to center the report around two groups, the symmetries of a square, D 8 and the quaternions, Q 4 because of there interesting relationship that this report should demonstrate. 0.2 REPRESENTATIONS OF GROUPS Before we delve into representations recall the structure of a group. The following theorems and definitions are based on James and Leibeck Representations and Characters of Finite Groups [1]. Definition 1. A group, G, is a set of elements with some operation that combining elements in G to form another element in G such that it satisfies the following properties; 1. It must be associative such that for all g,h,k in G, i.e. (g h)k = g (hk); 2. There must exist an identity element e in G such that for all g in G, eg = g e = g ; 3. Every element g in G must have an inverse element g 1 in G such that g g 1 = g 1 g = e. Given this definition consider the set of invertible n n matrices over some field, F, along with standard matrix multiplication. If we combine any matrices, A and B, in this set we get another invertible matrix, AB, since (AB) 1 = A 1 B 1 and A and B are invertible. Since the three properties above are clearly satisfied this set is a group, we call it the general linear group, and write, GL(n, F ). A representation of a group over some field is a relationship between the group and the general linear group over this field. To define it properly we need to specify this relationship. Definition 2. Suppose G and H are groups. A group homomorphism is a function, f, from G to H, f : G H such that for all g,h G (g h)f = (g f )(h f ). Definition 3. A representation of a group, G, over a field, F, is a homomorphism, ρ, from G to GL(n,F ). Where the integern is the degree of ρ. Example 1. Consider the set of symmetries of a square, call it D 8, where a is the rotation by π/2 and b the reflection through the vertical line. All other symmetries can be generated by Page 2 of 22
4 combinations of powers of a and b. It is useful for describe the set of symmetries therefore using its generators, we write D 8 =< a,b : a 4 = b 2 = 1,b 1 ab = a 1 >. It is easy to see that this set satisfies the conditions above and is therefore a group. Example 2. Consider the quaternion group of order 8, we call it Q 8. We say Q 8 is the group generated by element a and b determine by the following conditions, a 4 = 1, a 2 = b 2,b 1 ab = a 1. We write this Q 8 =< a,b : a 4 = 1, a 2 = b 2,b 1 ab = a 1 >. Although this group is similar to the one above notice that there is a distinct difference in the relations as b 2 1. Consider Example 1., clearly if we construct a function that sends every element of D 8 to the 1 1 matrix (1) it satisfies Definition 3. This is called the trivial representation. In fact for any integer n we could construct a representation that sends every element in the group to the n n identity matrix I n. It therefore becomes useful to determine how many elements are sent to I n by the representation ρ, so we define the kernel of ρ as Kerρ = {g G : g ρ = I n }. This gives rise to the following definition. Definition 4. A representation ρ is said to be faithful if Kerρ = {1}, that is if the only element of G sent to I n by ρ is the identity element of G. It will also prove useful to define the relationships between representations themselves. Suppose we have some representation, ρ, of a group, G, and an invertible matrix T. Consider the function σ = T 1 ρt, for elements g,h in G we have, (g h)σ = T 1 ((g h)ρ)t = T 1 ((g ρ)(hρ))t = T 1 (g ρ)t T 1 (hρ)t = (g σ)(hσ) Therefore by Definition 3 σ is itself a representation of G. We define the relationship between these two representations as follows; Definition 5. Representations ρ : G GL(n,F ) and σ : G GL(n,F ) are said to be equivalent if there exists an nxn matrix T such that for all g G g σ = T 1 (g ρ)t. To sum up this section we can consider the following example. Page 3 of 22
5 Example 3. Let G = D 8 = a,b : a 4 = b 2 = 1,b 1 ab = a 1. Define the matrices A,B,C,D over C by ( ) ( ) i A =, B =, 0 i 1 0 ( ) ( ) C =, D = Prove that each of the functions ρ k : G GL(2,C) (k = 1,2,3), given by ρ 1 :a r b s A r B s, ρ 2 :a r b s A 2r ( B) s, ρ 3 :a r b s C r D s (0 r 5,0 s 1), is a representation of G. Which of these representations are faithful? Which are equivalent. Solution 1. To show each of these are representations we need to prove that for all i ρ i is a homomorphism. Take any pair of matrices A and B such that A 4 = B 2 = I n,b 1 AB = A 1. We know that for 0 r, t 3 0 s,k 1 a r b s a t b k = a i b j for some i and j detrmined by repeatedly using a 4 = b 2 = 1,b 1 ab = a 1.Since A and B also satisfy A 4 = B 2 = I n,b 1 AB = A 1 it follows that A r B s A t B k = A i B j. Therefore if ρ : a i b j A i B j then (a r b s a t b k )ρ = (a i b j )ρ = A i B j = A r B s A t B k = (a r b s )ρ (a t b k )ρ, hence ρ is a homomorphism and therefore a representation of G. It therefore remains only to show that for A,B,C,D above A 4 = B 2 = I n,b 1 AB = A 1, A 8 = B 2 = I n,b 1 A 2 B = A 2,C 4 = D 2 = I n,d 1 C D = C 1. It is clear that for 0 r 3,0 s 1 matrices A r B s and C r D s are all different, therefore ρ 1 and ρ 3 are faithful. However a 2 ρ 2 = I so ρ 2 is not faithful. Page 4 of 22
6 Lastly we can see that ρ 1 and ρ 3 are equivalent since for ( ) 1 1 T = i i T 1 (g ρ 3 )T = g ρ 1 for all g G. Page 5 of 22
7 0.3 FG-MODULES AND REDUCIBILITY It will be useful to now define an FG-module and its relationship to representations of G over F. Definition 6. A vector space, V, over F is an FG-module for some G if multiplication v g for some v V, g G is defined satisfying the following conditions for all v,u V, g,h G and λ F. 1. v g V 2. v(g h) = (v g )h 3. v1 = v 4. (λv)g = λ(v g ) 5. (u + v)g = ug + v g The permutation module is a particularly important example of an FG-module. If G is a subgroup of S n for some n, as all the examples above have been, then the permutation module, V, with basis v 1...v n has multiplication defined v i g = v i g fo all i and g G. These vector spaces tie in with representations through the following theorem Theorem 1. If ρ : G GL(n, F ) is a representation of G over F then V is a F G-module multiplication is defined v g = v(g ρ) and there is a basis β of V such that g ρ = [g ] β. Furthermore if V is an FG-module and β a basis the θ : [g ] β is a representation of G over F. The following example demonstrates this result. Example 4. Consider the representation ρ 1 in Example 3. For G = D 8 = a,b : a 4 = b 2 = 1,b 1 ab = a 1 we have, ( ) ( ) i aρ =,bρ = 0 i 1 0 If we set V = F 2 then Theorem 1. gives us that V becomes an FG-module if we define v g = v(g ρ)(v V, g G). Therefore if v 1, v 2 is the basis, (1,0),(0,1) of V, then we have, v 1 a = i v 1, v 1 b = v 2, v 2 a = i v 2, v 2 b = v 1. Page 6 of 22
8 If β denotes the basis v 1, v 2 then, by Theorem 1. again, the representation g [g ] β (g G) is just the representation ρ 1 from Example 3. An important example of a FG-module for subgroups of the symmetric group S n is defined as follows and we will come back to later on in this report. Definition 7. Let G be a subgroup of S n. The FG-module V with basis v 1,..., v n such that v i g = v i g for all i and all g G is called the permutation module of G over F. The idea of equivalence we defined for representations corresponds to F G-modules through the following theorem. Theorem 2. Let V be an FG-module with basis β, let ρ be the representation of G over F defined by, ρ : g [g ] β. If β is another basis of V then the representation σ : g [g ] β of G is equivalent to ρ. If θ is a representation of G which is equivalent to ρ then there is a basis β of V such that, θ : g [g ] β Reducibility The concepts of reducibility and irreducibility will prove very important for representation theory, so we need the following definitions. Definition 8. A subset of the FG-module V, call it W, is an FG-submodule if it is closed under multiplication on the right by elements of G. Definition 9. If V is an FG-module with an FG-submodule W such that W is not equal to {0} or V then V is said to be reducible. If no such W exist then V is said to be irreducible A representation ρ : G GL(n,F ) is therefore said to be irreducible if is corresponding FGmodule with multiplication defined by v g = v(g ρ) is irreducible Group Algebra If F is R or C and G is a finite group with elements g 1,..., g n, then we can define a vector space, FG, over F with basis g 1,..., g n. All elements of FG are of the form λ 1 g λ n g n for all λ i F. Page 7 of 22
9 Definition 10. The vector space FG along with multiplication defined as is called the group algebra of G over F. ( λ g g )( µ h h) = λ g µ h (g h), g G h G g,h G We can use this definition to define an FG-module that will prove to be fundamental for the next few sections. Definition 11. Let G be a finite group and F be R or C. The vector space FG as defined above along with natural multiplication, v g is called the regular F G-module. Its corresponding representation formed by taking the basis β to be the natural basis of FG and sending g [g ] β is called the regular representation of G over F FG-homomorphisms Definition 12. An FG-homomorphism, θ, is a linear transformation from one FG-module, V to another, W such that (v g )θ = (vθ)g for all v V, g G. If θ is also invertible then it is an FG-isomorphism. Example 5. Consider the following elements in CD 8, the group algebra of D 8 over G, u 1 = 1 i a 1a 2 + i a 3, u 2 = b + i ba ba 2 i ba 3 v 1 = 1 + i a a 2 i a 3, v 2 = b i ba ba 2 + i ba 3 Let U = sp(u 1,u 2 ),V = sp(v 1, v 2 ), it is easy to check that with multiplication defined in the natural way these vector spaces satisfy Definition 6. and so are FG-modules. Prove that the function θ : u 1 v 2 u 2 v 1 is an FG-homomorphism. Solution 2. To see this we only need that (ua)θ = (uθ)a and (ub)θ = (uθ)b for all u U since these elements generate the group. Take u 1,u 2, v 1, v 2 to be the basis element respectively of U and V. On these basis elements we have u 1 a = i u 1, u 2 a = i u 2, u 1 b = u 2, u 2 b = u 1 v 1 a = i v 1, v 2 a = i v 2, v 1 b = v 2, v 2 b = v 1 Page 8 of 22
10 We can write any element u U as a product of the basis element, u = αu 1 +βu 2. Putting this together we get, (ua)θ = (αu 1 a + βu 2 a)θ = (αi u 1 βi u 2 )θ = αi v 2 βi v 1 (uθ)a = (αu 1 θ + βu 2 θ)a = (αv 2 + βv 1 )a = αi v 2 βi v 1 (ub)θ = (αu 1 b + βu 2 b)θ = (αu 2 + βu 1 )θ = αv 1 + βv 2 (uθ)b = (αu 1 θ + βu 2 θ)b = (αv 2 + βv 1 )b = αv 1 + βv 2. Therefore θ is an FG-homomorphism. In fact it is an FG-isomorphism as θ is clearly invertible Maschke s Theorem Maschke s Theorem is one of the fundamental building blocks of representation theory because of its consequences for understanding the structure of a representation. Theorem 3 (Maschke s Theorem). Let G be a finite group and let F be R or C and let V be an FG-module. If U is an FG-submodule of V, then there exists a FG-submodule w of V, such that V = U W. This result means that if ρ is a reducible representation of a finite group G over F of degree n, then ρ is equivalent to some representation of the form ( ) Ag 0 g 0 B g For our first important consequence we need to define the following term. Definition 13. An FG-module V is completely reducible if V = U 1... U r where each U i is an irreducible FG-submodule of V. Theorem 4. If G is a finite group and F = Cor R then every non-zero FG-module is completely reducible. Proof. For V a non-zero FG-module we will prove this by induction on dimv. If dimv = 1 then V is necessarily irreducible and if V is irreducible then the result holds. Therefore suppose V is reducible, meaning there exists an FG-submodule W, not equal to {0} or V, and that dimv = n. By Maschke s Theorem, there is another F G-submodule U such that Page 9 of 22
11 V = W U. Since dimu dimv and dimw dimv, by induction, W = W 1.. W r,u = U 1... U r, where each W i,u i are irreducible FG-modules. Combining this we get V = W 1.. W r U 1... U r a direct sum of irreducible FG-submodules. Example 6. Let G be a finite group and let ρ : G GL(2,C) be a representation of G. Suppose there are elements g, h in G such that the matrices g ρ and hρ do not commute. Prove that ρ is irreducible. Solution 3. Suppose that ρ is reducible and has a sub representation of degree 1. It therefore follows from Maschke s Theorem that ρ is equivalent to some representation σ where ( ) λg 0 g σ =. 0 µ g Since all diagonal matrices commute all matrices g σ and hσ commute and therefore so do g ρ and hρ. Therefore if there are elements g, h in G such that the matrices g ρ and hρ do not commute ρ must be irreducible. Example 7. Consider the CD 8 -module, U, from Example 5. prove that it is irreducible. Solution 4. Using Theorem 1. we see that the representation corresponding to U it ρ 1 from Example 4. Therefore we have ( ) ( ) 0 i 0 i (aρ)(bρ) = = (bρ)(aρ). i 0 i 0 So the result follows from Example Schur s Lemma Theorem 5. Let V and W be irreducible CG-modules. 1. If θ : V W is a CG-homomorphism, then wither θ is a CG-isomorphism, or vθ = 0 for all v V. 2. If θ : V V is a CG-isomorphism, the θ is a scalar multiple of the identity endomorphism 1 v. Let G be finite abelian group and V an irreducible CG-module. For x G we have v g x = v xg for all g G. Therefore the endomorphism v v x is CG-homomorphism, so by Schur s Page 10 of 22
12 ω = e πi /2 v 0 = 1 + a + a 2 + a 3 w 0 = bv 0 Miriam Norris Lemma this endomorphism is a scalar multiple of th identity, call it λ x 1 v. Therefore every subspace of V is CG-submodule but since V is irreducible this implies di mv = 1. we have therefore shown that for every finite group, G, every irreducible CG-module has dimensions 1. The following theorem follows from this. Theorem 6. Let G be the abelian group C n1... C nr with c i,1 i r the generators of C ni. If g i = (1,...,c i,...,1) with c i in the i th position we can rewrite G = g 1,..., g r with g n i i representations satisfying (g i g i r r )ρ = (λ 1 i 1...λ i r r ) =. The where λ i is the n i th root of unity are irreducible and have degree 1. There are G of these representations, and every irreducible representation of G over C is equivalent to precisely one of them Irreducible Modules Theorem 7. Let CG be the regular CG-module, and write CG = U 1... U r, a direct sum of irreducible CG-submodules. Then every irreducible CG-module is isomorphic to one of the CG-modules U i. Given the theorem above it is extremely valuable to be able to find these irreducible CG-modules for any finite group, G and their corresponding representations. The following example illustrates how we can use the theory from this section to do exactly that. Example 8. Find all the irreducible representations of D 8 over C. Solution 5. To do this we want to decompose the group algebra CD 8 as a direct sum of irreducible CD 8 -submodules. We begin by defining the following elements of CD 8, where v 1 = 1 + ω 3 a + ω 2 a 2 + ωa 3 w 1 = bv 1 v 2 = 1 + ω 2 a + a 2 + ω 2 a 3 w 2 = bv 2 v 3 = 1 + ωa + ω 2 a 2 + ω 3 a 3 w 3 = bv 3. It is easy to see that v i a = ω i v i for i = 0,1,2,3 and likewise with w i, therefore we can deduce Page 11 of 22
13 that sp(v i ), sp(w i ) are C < a >-modules. We also have v 0 b = w 0 w 0 b = v 0 v 1 b = w 3 w 1 b = v 3 v 2 b = w 2 w 2 b = v 2 v 3 b = w 1 w 3 b = v 1 Therefore sp(v 0, w 0 ), sp(v 2, w 2 ), sp(v 1, w 3 ) and sp(v 3, w 1 ) are C < b >-modules and therefore CD 8 -submodules of CD 8. By Example 5. we have that U 4 = sp(v 1, w 3 ) and U 5 = sp(v 3, w 1 ) are isomorphic and from in Example 7. we know U 5 is irreducible. However sp(v 0, w 0 ), sp(v 2, w 2 ) are reducible as U 0 = sp(v 0 + w 0 ) and U 1 = sp(v 0 w 0 ) and U 2 = sp(v 2 + w 2 ) and U 3 = sp(v 2 w 2 ). Since v 0, v 1, v 2, v 3, w 0, w 1, w 2, w 3 form a basis of CD 8 we can write CD 8 = U 0 U 1 U 2 U 3 U 4 a direct sum of non-isomorphic irreducible CD 8 -submodules. Therefore by Theorem 6 there are exactly 5 non-isomorphic irreducible CD 8 -modules and every other irreducible CD 8 - module is isomorphic to one of them. Using Theorem 1. we can see that these modules correspond to the representations ρ 0,ρ 1,ρ 2,ρ 3 and ρ 4 as follows, aρ 0 = (1), bρ 0 = (1) aρ 1 = (1), bρ 1 = ( 1) aρ 2 = ( 1), bρ 2 = (1) aρ 3 = ( 1), bρ 3 = ( 1) ( ) ( ) ω aρ 0 = 0 ω 3, bρ 0 =. 1 0 Before we end this section it will be useful to observe the following theorem that follows from Theorem 7. Theorem 8. Let V 1,...,V k form a complete set of non-isomorphic irreducible CG-modules. Then k (di mv i ) 2 = G. i=1 Page 12 of 22
14 0.4 CONJUGACY CLASSES Definition 14. For x, y G, we say x is conjugate to y in G if there exists some g G such that y = g 1 xg. The conjugacy class of x is the set of all element conjugate to x in G, we write it as x G = {g 1 xg : g G} Definition 15. For x G the centralizer of x in G, C G (x) is the set of elements that commute with x, we write it as C G (x) = {g G : xg = g x}. Example 9. Find the centralizer of 1, a, a 2,b, ab Q 8, the quaternion group of order 8. Solution 6. By the definition of the identity 1 commutes with everything therefore C Q8 (1) = Q 8. By the definition of the quaternion group in Example! a i and b do not commute and therefore neither do a i and a j b, if (a i ) 1 (a i ). This is the case for i = 1, therefore since a clearly commutes with all a i Q 8, C Q8 (a) =< a >. However (a 2 ) 1 = a 2 so it commutes with all of Q 8, C Q8 (a 2 ) = Q 8. Clearly b commutes with itself, We know b does not commute with a or a 3 and therefore does not commute with ab or a 3 b, but it does commute with a 2 and therefore a 2 b therefore C Q8 (b) = {1, a 2,b, a 2 b}. Lastly ab clearly commutes with itself and we have seen it commutes with a 2, it is easy to check it also commutes with a 3 b. But as we have already covered ab does not commute with a, a 3, b and it is easy to check {a 2 b}. Therefore C Q8 (ab) = {1, a 2, ab, a 3 b}. Theorem 9. For x G the size of x G is given by, x G = G : C G (x) = G / C G (x). We can use the theorem above to determine the conjugacy classes of all dihedral groups. To do so it is useful to distinguish between dihedral groups, D 2n where n is odd and where n is even. We will discuss the case where n is even so we can use it later on but the case when n is odd is very similar. When n is even, n = 2m, we have b 1 a m b = a m = a m so the centralizer of a m contains both a and b and is therefore G. by above we have the conjugacy class of a m has only one element and since conjugacy is an equivalence relation and so is reflexive it Page 13 of 22
15 must be {a m }. For a i,i m it is clear that C G (a i ) contains < a >, therefore, G : C G (a i ) G :< a > = 2 and on the other hand since b 1 a i b = a i we have {a i, a i } (a i ) G. Putting this together by the theorem above we have 2 G : C (a i ) = (a i ) G 2. So the equality holds and (a i ) G = {a i, a i } for1 i m 1. For every intger j, a j ba j = a 2j b, a j (ab)a j = a 2j +1 b. Therefore b G = {a 2j b : 0 j m 1},(ab) G = {a 2j +1 b : 0 j m 1}. Remark 1. The Dihedral group D 2n (n even) has precisely m + 3 conjugacy classes: {1},{a m },{a, a 1 }...,{a m 1, a m+1 },{a 2j b : 0 j m 1},{a 2j +1 b : 0 j m 1}. 0.5 CHARACTERS Now we have done all this groundwork we can begin to look at the Characters of groups and the interesting results that come from them. Lets start with some definitions and the basic theorems that help us use these characters. Definition 16. If V is a CG-module with basis β. Then the character of V is the function χ : G C defined by χ(g ) = tr [g ] β. This corresponds to representations in the obvious way. The character of the representation ρ : G GL(n,F ) is the character χ of the corresponding CG-module, χ(g ) = tr (g ρ),(g G). There are a couple of things to notice about this definition. Remark 2. Firstly it is clear that the chose of basis of a CG-module does not effect the character. If β and β are basis for V then there is an invertible matrix T such that [g ] β = T 1 [g ] β T, Page 14 of 22
16 but it is easy to see that tr (T 1 [g ] β T ) = tr ([g ] β ). Therefore tr ([g ] β ) = tr ([g ] β ). This result means that isomorphic CG-modules have the same character. Remark 3. Another thing that follows from this observation is that is x, y are conjugate elements in G then χ(x) = χ(y) for all characters χ of G. Clearly if x is conjugate to y, x = g 1 y g for some g G, therefore [x] β = [g 1 y g ] β = [g 1 ] β [y] β [g ] β. Therefore the result follows from above. Definition 17. We say χ is the character of G if it is the character of some CG-module. Therefore it makes sense that χ of G is irreducible if it is the character of an irreducible CG-module and χ of G is reducible if it is the character of a reducible CG-module. Consider the permutation module, V, for G over C, we introduced in section 0.3.0, such that if β is the basis v 1,..., v n, v i g = v i g. The i i -th entry in the matrix [g ] β is 1 if i g = i and 0 otherwise. Therefore the character π of V counts the number of i, 1 i n, such that i g = i. We write f i x(g ) = {i : (1 i n)(i g = i )} so that π(g ) = f i x(g ) (g G) and call π the permutation character. Example 10. Consider the group D 8 as a subgroup of S 4 where the elements are permutations of the corners of the square, such that a = (1,2,3,4) and b = (1,2)(3,4). Find the permutation module for D 8 over C. Solution 7. By Remark 1. we can see that the representatives of the 5 conjugacy classes of D 8 are e = (1), a = (1,2,3,4), a 2 = (1,3)(2,4),b = (1,2)(3,4), ab = (1,3), and by Remark 3. the permutation character is constant on the conjugacy classes it is enough to find the values just for these representatives. We have the following values for the permutation character, e a a 2 b ab π Page 15 of 22
17 0.5.1 Inner Products and Orthogonality We need to cover a few more definitions and theorems to get to our finial results. Definition 18. the inner product of two functions, θ,φ from G to C is given by θ,φ = 1 G θ(g )φ(g ). Theorem 10. If χ 1...χ k are the irreducible characters of G, and ψ is any charcter, then g G ψ = d 1 χ d k χ k where d i = ψ,χ i Character tables Definition 19. Let χ 1...χ n be the irreducible characters of G and let g 1,...g k be the representatives of the conjugacy classes of G. The character table of G is the matrix whose i j -entry is χ i (g j ). One observation which we will use later is as follows. Theorem 11. The number of irreducible characters of G is equal to the number of conjugacy classes of G. Therefore a completed table is an n n matrix. Theorem 12. Let χ 1,..χ n be the irreducible characters of G and let g 1,...g k be the representatives of the conjugacy classes of G. 1. There exists the following row orthogonality relation: k χ r (g i )χ s (g i ) = δ r s. C G (g i ) i=1 2. There exists the following column orthogonality relation: k χ i (g r )χ i (g s ) = δ r s C G (g r ). i=1 Example 11. Find the character table of C 2 C 2. Page 16 of 22
18 Solution 8. Let us first label the elements of G = C 2 C 2 as follows G = {(1,1),(a,1),(1,b),(a,b)}, where a 2 = b 2 = 1. By Theorem 6 we have exactly 4 irreducible, non-isomorphic representations of G, ρ 0,ρ 1,ρ 2,ρ 3, such that for any element x = (a i,b j ) G xρ 0 = 1 xρ 1 = ( 1) j. xρ 2 = ( 1) i xρ 3 = ( 1) i+j since G is ableian each element is its own conjugacy class. Let χ i be the character of ρ i then putting this together we get the following character table; (1,1) (a,1) (1,b) (a,b) χ χ χ χ Example 12. Consider the group D 8 as a subgroup of S 4 that permutes the four corners of a square such that, a = (1234),b = (12)(34) and D 8 =< a,b : a 4 = b 2 = 1,b 1 ab = a 1 >. 1. Find the character table of D 8 by determining its irreducible representations over C and conjugacy classes. 2. Let π be the corresponding permutation character of D 8. Find the value of π on the elements of D 8 and express π as a sum of irreducible characters. Solution From Example 8. we have the non-isomorphic irreducible representations of D 8 and from Remark 1. we can find the conjugacy classes. Taking representatives from each class, 1, a, a 2,b, ab, and putting this together we get the following character table. Page 17 of 22
19 e a a 2 b ab χ χ χ χ χ We calculated the in Example 8. the values of the permutation character over the representatives of the conjugacy classes of D 8. e a a 2 b ab π By Theorem 9. we need to calculate the inner product of π and the irreducible models to find out which of the irreducible characters make up the permutation character. We have, π,χ 0 = 1 π,χ 1 = 0 π,χ 2 = 0 π,χ 3 = 1 π,χ 4 = 1. Therefore by Theorem! we have π = χ 0 + χ 3 + χ Normal Subgroups and Lifted characters We now need to recall the notion of a normal subgroup of G i.e. a subset of G, call it N such that for all g G, g N = N g. Also recall that we can factor a group G by N to get the set G/N = {g N : g G}. We have the following theorem. Theorem 13. Let N G (a normal subgroup of G), let χ be a character of G/N. Then let χ : G C be such that χ(g ) = χ(n g ) then χ is a character of G and χ and χ have the same degree. Definition 20. If N G and χ is a character of G/N then χ of G such that χ(g ) = χ(n g ) is called the lift of χ to G. Page 18 of 22
20 Definition 21. Let G be a subgroup of G generated as follows G = {x G ( g,h G)(x = g 1 h 1 g h)}. Then G is called the derived subgroup of G. Theorem 14. The linear characters of G are the lifts to G of the irreducible characters of G/G. Therefore the number of distinct linear characters of G is G/G and so divides G. Example 13. Let G = Q 8 1. Find the five conjugacy classes of G. 2. Find G, and construct all the linear characters of G. 3. Complete the character table to G using orthogonality. Solution It is easy to check that Remark 1 applies to the quaternion group of even order. Therefore the conjugacy classes of Q 8 are {1},{a, a 3 },{a 2 },{b, a 2 b},{ab, a 3 b}. 2. To find G first we observe that if g,h < a > then we get x = 1. Suppose therefore we have g = a,h = a k b. It is easy to check that (a i b) 1 = a j +2 b therefore we have g 1 h 1 g h = a 1 (a k b) 1 = a 3 a k+2 ba k+1 b = a k+1 bba (k+1) = a k+2 a 2 a (k+1) = a 2 We can see from the equations above that putting g = a 2 or a 3 would lead to the same result (as we would just be adding to the LHS of the second last line and subtracting from the RHS). Alternatively we could have g = a k b,h = a in which case we get, g 1 h 1 g h = (a k b) 1 a 1 a k ba = a k+2 ba k+3 ba = a k+2 ba k+2 b = 1. Page 19 of 22
21 Lastly we could have g = a i b,h = a j b in which case we get g 1 h 1 g h = (a i b) 1 (a j b) 1 a i ba j b = a i+2 ba j +2 ba i ba j b = a i+2 bba (j +2) a i bba j = a 2i 2j. It is easy to check that 2i 2j mod 4 is 2 or 0. This covers all possibilities for x therefore G = {1, a 2 }. Therefore Q 8 /Q 8 = {Q 8,Q 8 a,q 8 b,q 8 ab} which is isomorphic to C 2 C 2 which we found the irreducible characters for in Example 9. Therefore by Theorem 13. these are the 4 linear characters of Q Since there are 5 conjugacy classes by Theorem 11. we know there must be 5 irreducible representations. Since all the linear characters correspond to 1 dimensional CQ 8 -modules using Theorem 8. we can see that the dimension of the CQ 8 -module corresponding to our missing character, χ 5 is 2. Therefore it is clear to see that χ 5 (1) = 2 (since it is the trace of a 2 dimensional identity matrix). Combining the row and column orthogonality form Theorem 13. and Example 8. which gives us the values of C Q8 (g ) over the representatives of the conjugacy classes we can complete the character table, we get; e a a 2 b ab χ χ χ χ χ If we compare this to the character table of D 8 we found in Example 12. we can see they are the same. This is not an obvious result as they are different groups. Page 20 of 22
22 0.6 ACKNOWLEDGEMENTS I would like to thank Sue Sierra for supervising my project. I would also like to thank EPSRC for funding it. Page 21 of 22
23 REFERENCES [1] G. James and M.W. Liebeck. Representations and Characters of Groups. Cambridge mathematical textbooks. Cambridge University Press,
Representation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More information4 Group representations
Physics 9b Lecture 6 Caltech, /4/9 4 Group representations 4. Examples Example : D represented as real matrices. ( ( D(e =, D(c = ( ( D(b =, D(b =, D(c = Example : Circle group as rotation of D real vector
More information18.702: Quiz 1 Solutions
MIT MATHEMATICS 18.702: Quiz 1 Solutions February 28 2018 There are four problems on this quiz worth equal value. You may quote without proof any result stated in class or in the assigned reading, unless
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationA basic note on group representations and Schur s lemma
A basic note on group representations and Schur s lemma Alen Alexanderian Abstract Here we look at some basic results from group representation theory. Moreover, we discuss Schur s Lemma in the context
More informationA 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 informationRepresentations Associated to the Group Matrix
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 014-0-8 Representations Associated to the Group Matrix Joseph Aaron Keller Brigham Young University - Provo Follow this and additional
More informationTENSOR PRODUCTS, RESTRICTION AND INDUCTION.
TENSOR PRODUCTS, RESTRICTION AND INDUCTION. ANDREI YAFAEV Our first aim in this chapter is to give meaning to the notion of product of characters. Let V and W be two finite dimensional vector spaces over
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationM3/4/5P12 PROBLEM SHEET 1
M3/4/5P12 PROBLEM SHEET 1 Please send any corrections or queries to jnewton@imperialacuk Exercise 1 (1) Let G C 4 C 2 s, t : s 4 t 2 e, st ts Let V C 2 with the stard basis Consider the linear transformations
More informationMath 306 Topics in Algebra, Spring 2013 Homework 7 Solutions
Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationMASCHKE S THEOREM. 1. Introduction
MASCHKE S THEOREM ABIGAIL SHELDON 1. Introduction Heinrich Maschke was born on October 24, 1853 in Breslau, Germany. He started his studies at the University of Heidelberg in 1872, studying there under
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationFinite Group Representations. for the. Pure Mathematician
Finite Group Representations for the Pure Mathematician by Peter Webb Preface This book started as notes for courses given at the graduate level at the University of Minnesota. It is intended to be used
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More information5 Irreducible representations
Physics 129b Lecture 8 Caltech, 01/1/19 5 Irreducible representations 5.5 Regular representation and its decomposition into irreps To see that the inequality is saturated, we need to consider the so-called
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationCHARACTER 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 informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationWeeks 6 and 7. November 24, 2013
Weeks 6 and 7 November 4, 03 We start by calculating the irreducible representation of S 4 over C. S 4 has 5 congruency classes: {, (, ), (,, 3), (, )(3, 4), (,, 3, 4)}, so we have 5 irreducible representations.
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
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 informationAdditional notes on group representations Hjalmar Rosengren, 30 September 2015
Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Throughout, group means finite group and representation means finitedimensional representation over C. Interpreting the character
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationGroups. 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 informationMath 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 informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationM3/4/5P12 GROUP REPRESENTATION THEORY
M3/4/5P12 GROUP REPRESENTATION THEORY JAMES NEWTON Course Arrangements Send comments, questions, requests etc. to j.newton@imperial.ac.uk. The course homepage is http://wwwf.imperial.ac.uk/ jjmn07/m3p12.html.
More informationSF2729 GROUPS AND RINGS LECTURE NOTES
SF2729 GROUPS AND RINGS LECTURE NOTES 2011-03-01 MATS BOIJ 6. THE SIXTH LECTURE - GROUP ACTIONS In the sixth lecture we study what happens when groups acts on sets. 1 Recall that we have already when looking
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationAlgebraic 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 informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
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 informationSolutions to Example Sheet 1
Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in
More informationYOUNG-JUCYS-MURPHY ELEMENTS
YOUNG-JUCYS-MURPHY ELEMENTS MICAH GAY Abstract. In this lecture, we will be considering the branching multigraph of irreducible representations of the S n, although the morals of the arguments are applicable
More informationGroups 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 informationArtin s and Brauer s Theorems on Induced. Characters
Artin s and Brauer s Theorems on Induced Characters János Kramár December 14, 2005 1 Preliminaries Let G be a finite group. Every representation of G defines a unique left C[G]- module where C[G] is the
More informationGroup-theoretic approach to Fast Matrix Multiplication
Jenya Kirshtein 1 Group-theoretic approach to Fast Matrix Multiplication Jenya Kirshtein Department of Mathematics University of Denver Jenya Kirshtein 2 References 1. H. Cohn, C. Umans. Group-theoretic
More information3 Representations of finite groups: basic results
3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above,
More informationAssignment 3. A tutorial on the applications of discrete groups.
Assignment 3 Given January 16, Due January 3, 015. A tutorial on the applications of discrete groups. Consider the group C 3v which is the cyclic group with three elements, C 3, augmented by a reflection
More informationCayley Graphs and the Discrete Fourier Transform
Cayley Graphs and the Discrete Fourier Transform Alan Mackey Advisor: Klaus Lux May 15, 2008 Abstract Given a group G, we can construct a graph relating the elements of G to each other, called the Cayley
More informationMath 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 informationREPRESENTATION THEORY FOR FINITE GROUPS
REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More informationFinite Subgroups of Gl 2 (C) and Universal Deformation Rings
Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationIntroduction to representation theory of finite groups
Introduction to representation theory of finite groups Alex Bartel 9th February 2017 Contents 1 Group representations the first encounter 2 1.1 Historical introduction........................ 2 1.2 First
More informationarxiv: v1 [math.rt] 16 Jun 2015
Representations of group rings and groups Ted Hurley arxiv:5060549v [mathrt] 6 Jun 205 Abstract An isomorphism between the group ring of a finite group and a ring of certain block diagonal matrices is
More informationGROUP THEORY PRIMER. D(g 1 g 2 ) = D(g 1 )D(g 2 ), g 1, g 2 G. and, as a consequence, (2) (3)
GROUP THEORY PRIMER New terms: representation, irreducible representation, completely reducible representation, unitary representation, Mashke s theorem, character, Schur s lemma, orthogonality theorem,
More informationGroups and Representations
Groups and Representations Madeleine Whybrow Imperial College London These notes are based on the course Groups and Representations taught by Prof. A.A. Ivanov at Imperial College London during the Autumn
More informationM C KAY GRAPHS DANE FRENETTE. BCS (Theory & Computation) University of New Brunswick
M C KAY GRAPHS by DANE FRENETTE BCS (Theory & Computation) University of New Brunswick A Thesis Submitted in Partial Fulfilment of the Requirements for the Degree of MASTER OF SCIENCE in the Graduate Academic
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationCOMPUTING CHARACTER TABLES OF FINITE GROUPS. Jay Taylor (Università degli Studi di Padova)
COMPUTING CHARACTER TABLES OF FINITE GROUPS Jay Taylor (Università degli Studi di Padova) Symmetry Chemistry Symmetry Symmetry Chemistry Biology Symmetry Chemistry Biology Physics Groups Symmetry Chemistry
More informationCOMMUTATIVITY DEGREE OF FINITE GROUPS. Anna Castelaz
COMMUTATIVITY DEGREE OF FINITE GROUPS By Anna Castelaz A Thesis Submitted to the Graduate Faculty of WAKE FOREST UNIVERSITY in Partial Fulfillment of the Requirements for the Degree of MASTER OF ARTS in
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationPMATH 745: REPRESENTATION THEORY OF FINITE GROUPS
PMATH 745: REPRESENTATION THEORY OF FINITE GROUPS HEESUNG YANG 1. September 8: Review and quick definitions In this section we review classical linear algebra and introduce the notion of representation.
More informationSome practice problems for midterm 2
Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is
More informationProblem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall
I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems
More informationGroup Determinants and k-characters
Group Determinants and k-characters Andy Hammerlindl December 12, 2005 1 Representations as Modules In class, we viewed representations as homomorphisms G GL(V ), but there is another way to regard representations,
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationChapter 3. Representations
Chapter 3 Representations 1 CHAPTER 3. REPRESENTATIONS 2 3.1 Basic definitions The main ingredients that are necessary to develop representation theory are introduced in this section. Some basic theorems
More informationREPRESENTATIONS OF THE SYMMETRIC GROUPS AND COMBINATORICS OF THE FROBENIUS-YOUNG CORRESPONDENCE MATTHEW JOHN HALL
REPRESENTATIONS OF THE SYMMETRIC GROUPS AND COMBINATORICS OF THE FROBENIUS-YOUNG CORRESPONDENCE By MATTHEW JOHN HALL A Thesis Submitted to The Honors College In Partial Fulfillment of the Bachelor s degree
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationAuthor: 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 informationIIT 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 informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationAlgebras. Chapter Definition
Chapter 4 Algebras 4.1 Definition It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) that is an R-module
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationRepresentation theory
Representation theory Dr. Stuart Martin 2. Chapter 2: The Okounkov-Vershik approach These guys are Andrei Okounkov and Anatoly Vershik. The two papers appeared in 96 and 05. Here are the main steps: branching
More informationComputation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group
Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group M. R. Darafsheh, M. R. Pournaki Abstract The dimensions of the symmetry
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 informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationDEPARTMENT 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 informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationSolutions I.N. Herstein- Second Edition
Solutions I.N. Herstein- Second Edition Sadiah Zahoor 25, July 2016 Please email me if any corrections at sadiahzahoor@cantab.net. Problem 0.1. In the following determine whether the systems described
More informationClassification of Root Systems
U.U.D.M. Project Report 2018:30 Classification of Root Systems Filip Koerfer Examensarbete i matematik, 15 hp Handledare: Jakob Zimmermann Examinator: Martin Herschend Juni 2018 Department of Mathematics
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 informationSUMMARY 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 informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationAbstract 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 informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationGroup 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 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 informationMath 110: Worksheet 3
Math 110: Worksheet 3 September 13 Thursday Sept. 7: 2.1 1. Fix A M n n (F ) and define T : M n n (F ) M n n (F ) by T (B) = AB BA. (a) Show that T is a linear transformation. Let B, C M n n (F ) and a
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 informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationHOMEWORK 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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More information