COMPUTING CHARACTER TABLES OF FINITE GROUPS. Jay Taylor (Università degli Studi di Padova)

Size: px
Start display at page:

Download "COMPUTING CHARACTER TABLES OF FINITE GROUPS. Jay Taylor (Università degli Studi di Padova)"

Transcription

1 COMPUTING CHARACTER TABLES OF FINITE GROUPS Jay Taylor (Università degli Studi di Padova)

2

3 Symmetry

4 Chemistry Symmetry

5 Symmetry Chemistry Biology

6 Symmetry Chemistry Biology Physics

7 Groups Symmetry Chemistry Biology Physics

8 Number Theory Groups Symmetry Chemistry Biology Physics

9 Number Theory Topology Groups Symmetry Chemistry Biology Physics

10 Number Theory Topology Algebraic Geometry Groups Symmetry Chemistry Biology Physics

11 DEFINITION

12 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:

13 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:. there exists an element e G such that x? e = e? x = x for all x G

14 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:. there exists an element e G such that x? e = e? x = x for all x G. for every g G there exists an element g - G such that g.? g - = g -? g = e

15 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:. there exists an element e G such that x? e = e? x = x for all x G. for every g G there exists an element g - G such that g.? g - = g -? g = e. a? (b? c) =(a? b)? c for all a, b, c G.

16 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:. there exists an element e G such that x? e = e? x = x for all x G. for every g G there exists an element g - G such that g.? g - = g -? g = e. a? (b? c) =(a? b)? c for all a, b, c G. Examples with, (Z, +) Z = {...,-, -, 0,,,... }

17 DEFINITION A group is a pair (G,?) with G a set and? : G G! G a binary operation such that:. there exists an element e G such that x? e = e? x = x for all x G. for every g G there exists an element g - G such that g.? g - = g -? g = e. a? (b? c) =(a? b)? c for all a, b, c G. Examples (Z, +) with Z = {...,-, -, 0,,,... }, (R, ) with R = R \{0} where R denote the real numbers.

18 DIHEDRAL GROUPS

19 DIHEDRAL GROUPS

20 DIHEDRAL GROUPS 4

21 DIHEDRAL GROUPS 4

22 DIHEDRAL GROUPS 4

23 DIHEDRAL GROUPS 4

24 DIHEDRAL GROUPS 4

25 DIHEDRAL GROUPS 4

26 DIHEDRAL GROUPS 4

27 DIHEDRAL GROUPS 4

28 DIHEDRAL GROUPS 4

29 DIHEDRAL GROUPS 4

30 DIHEDRAL GROUPS 4 90 o

31 DIHEDRAL GROUPS 4

32 DIHEDRAL GROUPS 4 90 o

33 DIHEDRAL GROUPS 4 90 o

34 DIHEDRAL GROUPS 4 90 o

35 DIHEDRAL GROUPS 4 90 o

36 DIHEDRAL GROUPS 4 90 o

37 DIHEDRAL GROUPS 4 90 o

38 DIHEDRAL GROUPS 4 80 o 90 o

39 DIHEDRAL GROUPS 4 90 o

40 DIHEDRAL GROUPS 4 90 o 80 o

41 DIHEDRAL GROUPS 4 90 o 80 o

42 DIHEDRAL GROUPS 4 90 o 80 o

43 DIHEDRAL GROUPS 4 90 o 80 o

44 DIHEDRAL GROUPS 4 90 o 80 o

45 DIHEDRAL GROUPS 4 90 o 80 o

46 DIHEDRAL GROUPS 70 o 4 90 o 80 o

47 DIHEDRAL GROUPS 90 o 80 o

48 DIHEDRAL GROUPS 90 o 80 o 70 o

49 DIHEDRAL GROUPS 90 o 80 o 70 o

50 DIHEDRAL GROUPS 90 o a b 80 o 70 o

51 DIHEDRAL GROUPS 90 o a b ab 80 o 70 o

52 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o

53 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab

54 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa

55 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab

56 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab e

57 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab e a = e,

58 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab e a = e, b = e,

59 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab e a = e, b = e, (ab) 4 = e

60 DIHEDRAL GROUPS 90 o a b ab aba 80 o 70 o abab ababa ababab e I (4) =ha, b a = e, b = e, (ab) 4 = ei

61 DIHEDRAL GROUPS

62 DIHEDRAL GROUPS 7 o 44 o a b ab aba (ab) 6 o 88 o (ab) a (ab) (ab) a (ab) 4 e

63 DIHEDRAL GROUPS 7 o 44 o a b ab aba (ab) 6 o 88 o (ab) a (ab) (ab) a (ab) 4 e I (5) =ha, b a,b, (ab) 5 i

64 DIHEDRAL GROUPS 7 o 44 o a b ab aba (ab) 6 o 88 o (ab) a (ab) (ab) a (ab) 4 e I (m) =ha, b a,b, (ab) m i

65 MATRIX REPRESENTATION

66 MATRIX REPRESENTATION v v

67 MATRIX REPRESENTATION v v

68 MATRIX REPRESENTATION v v v v

69 MATRIX REPRESENTATION v v v v apple 0 0 a

70 MATRIX REPRESENTATION v v apple 0 0 a

71 MATRIX REPRESENTATION v v apple 0 0 a

72 MATRIX REPRESENTATION v v v v apple 0 0 a

73 MATRIX REPRESENTATION v v v v apple 0 apple 0 0 a 0 - b

74 MATRIX REPRESENTATION v v apple 0 apple 0 0 a 0 - b

75 MATRIX REPRESENTATION v v apple 0 apple 0 0 a 0 - b

76 MATRIX REPRESENTATION v v v v apple 0 apple 0 0 a 0 - b

77 MATRIX REPRESENTATION v v v v apple 0 apple 0 apple a b ab

78 MATRIX REPRESENTATION apple 0 apple 0 apple 0 - apple a b ab aba apple - 0 apple 0 - apple 0 apple abab ababa ababab e

79 REPRESENTATIONS

80 REPRESENTATIONS V an n-dimensional C-vector space.

81 REPRESENTATIONS V an n-dimensional C-vector space. GL(V) = GL n (C) the group of all invertible linear transformations f : V! V.

82 REPRESENTATIONS V an n-dimensional C-vector space. GL(V) = GL n (C) the group of all invertible linear transformations f : V! V. A representation of a group (G,?) is a map : G! GL(V) such that for all a, b G we have (a? b) = (a) (b)

83 CHARACTERS Let : G! GL n (C) be a representation of a group (G,?). The function : G! C defined by (a) =Tr( (a)) is called the character of.

84 CHARACTERS Let : G! GL n (C) be a representation of a group (G,?). The function : G! C defined by (a) =Tr( (a)) is called the character of. e a b ab aba abab ababa ababab apple 0 0 apple 0 0 apple apple 0-0 apple apple apple apple

85 CONJUGACY

86 CONJUGACY For any matrices A, B GL n (C) recall that Tr(ABA - )=Tr(B)

87 CONJUGACY For any matrices A, B GL n (C) recall that Tr(ABA - )=Tr(B) Hence for any two elements a, b G and any character : G! C we have (a? b? a - )= (b)

88 CONJUGACY For any matrices A, B GL n (C) recall that Tr(ABA - )=Tr(B) Hence for any two elements a, b G and any character : G! C we have (a? b? a - )= (b) We say a, b G are conjugate if there exists an element x G such that. x? a? x - = b

89 CONJUGACY For any matrices A, B GL n (C) recall that Tr(ABA - )=Tr(B) Hence for any two elements a, b G and any character : G! C we have (a? b? a - )= (b) We say a, b G are conjugate if there exists an element x G such that. x? a? x - = b This defines an equivalence relation on G. The resulting equivalence classes are called conjugacy classes.

90 CONJUGACY a ababa b aba 90 o 70 o 80 o ab ababab abab e

91 IRREDUCIBLE CHARACTERS

92 IRREDUCIBLE CHARACTERS A representation : G! GL(V) is irreducible if there is no proper subspace W V which is invariant under G. By this we mean that for all g G we have (g)w W.

93 IRREDUCIBLE CHARACTERS A representation : G! GL(V) is irreducible if there is no proper subspace W V which is invariant under G. By this we mean that for all g G we have (g)w W. We have : G! GL(V) is irreducible if and only if G X gg (g) (g) =

94 IRREDUCIBLE CHARACTERS A representation : G! GL(V) is irreducible if there is no proper subspace W V which is invariant under G. By this we mean that for all g G we have (g)w W. We have : G! GL(V) is irreducible if and only if G X gg (g) (g) = A character with this property is also called irreducible.

95 IRREDUCIBLE CHARACTERS a b

96 IRREDUCIBLE CHARACTERS a b 8 ( (-) ) =

97 CHARACTER TABLES Theorem The number of distinct irreducible characters of a finite group is equal to the number of conjugacy classes.

98 CHARACTER TABLES Theorem The number of distinct irreducible characters of a finite group is equal to the number of conjugacy classes. Let g,...,g n G be representatives for the conjugacy classes and let,..., n be the irreducible characters of G. The square matrix ( i (g j )) 6i,j6n is called the character table of G.

99 CHARACTER TABLES I (4) e a b ab (ab)

100 CHARACTER TABLES I (m) e a b (ab) r (ab) m - (-) r (-) m - (-) r (-) m j 0 0 " jr + " -jr (-) j

101 CHARACTER TABLES I (m) e a b (ab) r (ab) m - (-) r (-) m - (-) r (-) m j 0 0 " jr + " -jr (-) j 6 j, r 6 m - " = e i/m

102 SYMMETRIC GROUPS

103 SYMMETRIC GROUPS S n is the group of all bijective functions f : {,..., n}! {,..., n}.

104 SYMMETRIC GROUPS S n is the group of all bijective functions f : {,..., n}! {,..., n}. S n We call the symmetric group on n points.

105 SYMMETRIC GROUPS S n is the group of all bijective functions f : {,..., n}! {,..., n}. S n We call the symmetric group on n points. S n = n! which can be very large even for small n. For example S 0 =

106 SYMMETRIC GROUPS

107 SYMMETRIC GROUPS Example ( n = )

108 SYMMETRIC GROUPS Example ( ) n =

109 SYMMETRIC GROUPS = Example ( ) n =

110 SYMMETRIC GROUPS = = Example ( ) n =

111 SYMMETRIC GROUPS A function f S n is called a cycle of length k if there exists a subset X = {x,...,x k } {,..., n} such that f(i) =i for any integer i 6 X and f acts on the elements of X in the following way f x f f x k x f x k- x f f x 4 f

112 SYMMETRIC GROUPS Lemma Every element of S n is a product of disjoint cycles.

113 SYMMETRIC GROUPS Lemma Every element of S n is a product of disjoint cycles. =

114 SYMMETRIC GROUPS

115 SYMMETRIC GROUPS A partition of n is a sequence µ =(µ,...,µ k ) of integers such that µ > > µ k > and µ + + µ k = n.

116 SYMMETRIC GROUPS A partition of n is a sequence µ =(µ,...,µ k ) of integers such that µ > > µ k > and µ + + µ k = n. For example the partitions of 5 are (5), (4, ), (, ), (,, ), (,, ), (,,, ), (,,,, )

117 SYMMETRIC GROUPS A partition of n is a sequence µ =(µ,...,µ k ) of integers such that µ > > µ k > and µ + + µ k = n. For example the partitions of 5 are (5), (4, ), (, ), (,, ), (,, ), (,,, ), (,,,, ) Given f S n let f f k be a decomposition of f into a product of disjoint cycles. If µ i denotes the length of the cycle f i then the sequence µ(f) =(µ,...,µ k ) is a partition of n, after possibly reordering the entries. We call µ(f) the cycle type of f.

118 SYMMETRIC GROUPS Theorem Two elements of the symmetric group are conjugate if and only if they have the same cycle type.

119 SYMMETRIC GROUPS Theorem Two elements of the symmetric group are conjugate if and only if they have the same cycle type. We will write P(n) for the set of all partitions of n.

120 SYMMETRIC GROUPS Theorem Two elements of the symmetric group are conjugate if and only if they have the same cycle type. We will write P(n) for the set of all partitions of n. For any partition P(n) we denote by an irreducible character of. S n

121 SYMMETRIC GROUPS Theorem Two elements of the symmetric group are conjugate if and only if they have the same cycle type. We will write P(n) for the set of all partitions of n. For any partition P(n) we denote by an irreducible character of. S n P(0) = 67

122 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9).

123 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9).

124 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9).

125 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9).

126 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). H

127 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). H h = 6

128 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). H h = 6 l = 6

129 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). h = 6 l = 6

130 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). R h = 6 l = 6

131 HOOKS OF PARTITIONS Consider the partition µ =(5, 5, 4,,, ) P(9). R µ \ R h = 6 l = 6

132 CHARACTER TABLE Theorem (Murnaghan Nakayama Formula) Write f S n as a product f f k of disjoint cycles. Assume is a cycle of length m then the element f k g = f f k- is contained in the symmetric group S n-m. For any partition P(n) we have (f) = X (-) l ij \R ij (g) h ij =m

133 CHARACTER TABLE S

Sign elements in symmetric groups

Sign elements in symmetric groups Dept. of Mathematical Sciences University of Copenhagen, Denmark Nagoya, September 4, 2008 Introduction Work in progress Question by G. Navarro about characters in symmetric groups, related to a paper

More information

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

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

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

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

FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S 2 S 3

FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S 2 S 3 FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S S 3 JAY TAYLOR We would like to consider the representation theory of the Weyl group of type B 3, which is isomorphic to the wreath product S S 3 = (S S S )

More information

REPRESENTATION THEORY OF S n

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

Character Polynomials

Character Polynomials Character Polynomials Problem From Stanley s Positivity Problems in Algebraic Combinatorics Problem : Give a combinatorial interpretation of the row sums of the character table for S n (combinatorial proof

More information

(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l

(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l Chapter S k and Tensor Representations Ref: Schensted art II) If we have an arbitrary tensor with k indices W i,,i k ) we can act on it k with a permutation = so a b l w) i,i,,i k = w ia,i b,,i l. Consider

More information

1 r r 2 r 3 r 4 r 5. s rs r 2 s r 3 s r 4 s r 5 s

1 r r 2 r 3 r 4 r 5. s rs r 2 s r 3 s r 4 s r 5 s r r r r r s rs r s r s r s r s Warmup: Draw the symmetries for the triangle. () How many symmetries are there? () If we call the move rotate clockwise r, what is the order of r? Is there a way to write

More information

SF2729 GROUPS AND RINGS LECTURE NOTES

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

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

Algebraic Number Theory and Representation Theory

Algebraic Number Theory and Representation Theory Algebraic Number Theory and Representation Theory MIT PRIMES Reading Group Jeremy Chen and Tom Zhang (mentor Robin Elliott) December 2017 Jeremy Chen and Tom Zhang (mentor Robin Algebraic Elliott) Number

More information

Abstract Algebra Part I: Group Theory

Abstract Algebra Part I: Group Theory Abstract Algebra Part I: Group Theory From last time: Let G be a set. A binary operation on G is a function m : G G G Some examples: Some non-examples Addition and multiplication Dot and scalar products

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

Assignment 3. A tutorial on the applications of discrete groups.

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

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Moments of Random Matrices and Weingarten Functions. Yinzheng Gu

Moments of Random Matrices and Weingarten Functions. Yinzheng Gu Moments of Random Matrices and Weingarten Functions by Yinzheng Gu A project submitted to the Department of Mathematics and Statistics in conformity with the requirements for the degree of Master of Science

More information

L(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

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

Parameterizing orbits in flag varieties

Parameterizing orbits in flag varieties Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS

REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS SUMMER PROJECT REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS September 29, 2017 Miriam Norris School of Mathematics Contents 0.1 Introduction........................................ 2 0.2 Representations

More information

4 Group representations

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

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

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

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

Exercises on chapter 1

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

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

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

1 Linear Algebra Problems

1 Linear Algebra Problems Linear Algebra Problems. Let A be the conjugate transpose of the complex matrix A; i.e., A = A t : A is said to be Hermitian if A = A; real symmetric if A is real and A t = A; skew-hermitian if A = A and

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

A Note on Skew Characters of Symmetric Groups Jay Taylor

A Note on Skew Characters of Symmetric Groups Jay Taylor A Note on Skew Characters of Symmetric Groups Jay Taylor Abstract. In previous work Regev used part of the representation theory of Lie superalgebras to compute the values of a character of the symmetric

More information

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.

More information

REPRESENTATIONS OF S n AND GL(n, C)

REPRESENTATIONS OF S n AND GL(n, C) REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although

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

Representation Theory

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

CSC Discrete Math I, Spring Relations

CSC Discrete Math I, Spring Relations CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:

More information

0 A. ... A j GL nj (F q ), 1 j r

0 A. ... A j GL nj (F q ), 1 j r CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected

More information

Lecture 4: Orbits. Rajat Mittal. IIT Kanpur

Lecture 4: Orbits. Rajat Mittal. IIT Kanpur Lecture 4: Orbits Rajat Mittal IIT Kanpur In the beginning of the course we asked a question. How many different necklaces can we form using 2 black beads and 10 white beads? In the question, the numbers

More information

Representation Theory

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 information

SUPPLEMENT ON THE SYMMETRIC GROUP

SUPPLEMENT ON THE SYMMETRIC GROUP SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group S n differently than what is in Herstein. These notes will sketch this material. You

More information

Real representations

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

5 Irreducible representations

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

Rigidity of certain solvable actions on the torus

Rigidity of certain solvable actions on the torus Rigidity of certain solvable actions on the torus Masayuki ASAOKA July 24, 2014 Abstract An analog of the Baumslag-Solitar group BS(1, k) acts on the torus naturally. The action is not locally rigid in

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

3 Representations of finite groups: basic results

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

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Modular representations of symmetric groups: An Overview

Modular representations of symmetric groups: An Overview Modular representations of symmetric groups: An Overview Bhama Srinivasan University of Illinois at Chicago Regina, May 2012 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations

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

MATH 5b: Solutions to Homework Set 7 March 2015

MATH 5b: Solutions to Homework Set 7 March 2015 MATH 5b: Solutions to Homework Set 7 March 215 1. It is easy to see that the characteristic polynomial of the matrix is X 3 X = X(X + 1)(X 1). It is then clear from the factorization that this is the only

More information

Representations and Linear Actions

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

Class Equation & Conjugacy in Groups

Class Equation & Conjugacy in Groups Subject: ALEBRA - V Lesson: Class Equation & Conjugacy in roups Lesson Developer: Shweta andhi Department / College: Department of Mathematics, Miranda House, University of Delhi Institute of Lifelong

More information

THE REPRESENTATIONS OF THE SYMMETRIC GROUP. Contents

THE REPRESENTATIONS OF THE SYMMETRIC GROUP. Contents THE REPRESENTATIONS OF THE SYMMETRIC GROUP JE-OK CHOI Abstract. Young tableau is a combinatorial object which provides a convenient way to describe the group representations of the symmetric group, S n.

More information

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

The Cayley-Hamilton Theorem and the Jordan Decomposition

The Cayley-Hamilton Theorem and the Jordan Decomposition LECTURE 19 The Cayley-Hamilton Theorem and the Jordan Decomposition Let me begin by summarizing the main results of the last lecture Suppose T is a endomorphism of a vector space V Then T has a minimal

More information

FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP

FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP EUGENIO GIANNELLI AND MARK WILDON Abstract. The decomposition matrix of a finite group in prime characteristic p records the multiplicities

More information

Solutions of Assignment 10 Basic Algebra I

Solutions of Assignment 10 Basic Algebra I Solutions of Assignment 10 Basic Algebra I November 25, 2004 Solution of the problem 1. Let a = m, bab 1 = n. Since (bab 1 ) m = (bab 1 )(bab 1 ) (bab 1 ) = ba m b 1 = b1b 1 = 1, we have n m. Conversely,

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

Permutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation

Permutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation Notation Basics of permutation group theory Arc-transitive graphs Primitivity Normal subgroups of primitive groups Permutation Groups John Bamberg, Michael Giudici and Cheryl Praeger Centre for the Mathematics

More information

Root systems. S. Viswanath

Root systems. S. Viswanath Root systems S. Viswanath 1. (05/07/011) 1.1. Root systems. Let V be a finite dimensional R-vector space. A reflection is a linear map s α,h on V satisfying s α,h (x) = x for all x H and s α,h (α) = α,

More information

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1. MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection

More information

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

Additional notes on group representations Hjalmar Rosengren, 30 September 2015

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

More about partitions

More about partitions Partitions 2.4, 3.4, 4.4 02 More about partitions 3 + +, + 3 +, and + + 3 are all the same partition, so we will write the numbers in non-increasing order. We use greek letters to denote partitions, often

More information

Markov Chains, Stochastic Processes, and Matrix Decompositions

Markov Chains, Stochastic Processes, and Matrix Decompositions Markov Chains, Stochastic Processes, and Matrix Decompositions 5 May 2014 Outline 1 Markov Chains Outline 1 Markov Chains 2 Introduction Perron-Frobenius Matrix Decompositions and Markov Chains Spectral

More information

CHAPTER 6. Representations of compact groups

CHAPTER 6. Representations of compact groups CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

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

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear and Bilinear Algebra (2WF04) Jan Draisma Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension

More information

On Böttcher s mysterious identity

On Böttcher s mysterious identity AUSTRALASIAN JOURNAL OF COBINATORICS Volume 43 (2009), Pages 307 316 On Böttcher s mysterious identity Ömer Eğecioğlu Department of Computer Science University of California Santa Barbara, CA 93106 U.S.A.

More information

Math 250: Higher Algebra Representations of finite groups

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

Representation Theory. Ricky Roy Math 434 University of Puget Sound

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

Selected Solutions to Even Problems, Part 3

Selected Solutions to Even Problems, Part 3 Selected Solutions to Even Problems, Part 3 March 14, 005 Page 77 6. If one selects 101 integers from among {1,,..., 00}, then at least two of these numbers must be consecutive, and therefore coprime (which

More information

A Murnaghan-Nakayama Rule for k-schur Functions

A Murnaghan-Nakayama Rule for k-schur Functions A Murnaghan-Nakayama Rule for k-schur Functions Anne Schilling (joint work with Jason Bandlow, Mike Zabrocki) University of California, Davis October 31, 2012 Outline History The Murnaghan-Nakayama rule

More information

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

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

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

January 2016 Qualifying Examination

January 2016 Qualifying Examination January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,

More information

Abstract Algebra Study Sheet

Abstract Algebra Study Sheet Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,

More information

Differential Topology Final Exam With Solutions

Differential Topology Final Exam With Solutions Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function

More information

Supplement to Multiresolution analysis on the symmetric group

Supplement to Multiresolution analysis on the symmetric group Supplement to Multiresolution analysis on the symmetric group Risi Kondor and Walter Dempsey Department of Statistics and Department of Computer Science The University of Chicago risiwdempsey@uchicago.edu

More information

REPRESENTATION THEORY FOR FINITE GROUPS

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

Journal of Al-Nahrain University Vol.13 (2), June, 2010, pp Science COEFFICIENT THEOREM. Awss Jabbar Majeed

Journal of Al-Nahrain University Vol.13 (2), June, 2010, pp Science COEFFICIENT THEOREM. Awss Jabbar Majeed Journal of Al-Nahrain University Vol13 (2) June 2010 pp210-218 Science ARTIN EXPONENT OF COEFFICIENT THEOREM Awss Jabbar Majeed USING BRAUER Abstract In this paper we consider the Artin exponent of the

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and

Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and Dynamical Systems and Ergodic Theory PhD Exam Spring 2012 Introduction: This is the first year for the Dynamical Systems and Ergodic Theory PhD exam. As such the material on the exam will conform fairly

More information

33 Idempotents and Characters

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

Signatures of GL n Multiplicity Spaces

Signatures of GL n Multiplicity Spaces Signatures of GL n Multiplicity Spaces UROP+ Final Paper, Summer 2016 Mrudul Thatte Mentor: Siddharth Venkatesh Project suggested by Pavel Etingof September 1, 2016 Abstract A stable sequence of GL n representations

More information

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem Steven J. Miller June 19, 2004 Abstract Matrices can be thought of as rectangular (often square) arrays of numbers, or as

More information

M3/4/5P12 GROUP REPRESENTATION THEORY

M3/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 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

Conjugacy in epigroups

Conjugacy in epigroups October 2018 Conjugacy in epigroups António Malheiro (CMA/FCT/NOVA University of Lisbon) @ the York semigroup (joint work with João Araújo, Michael Kinyon, Janusz Konieczny) Acknowledgement: This work

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

SAMPLE TEX FILE ZAJJ DAUGHERTY

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

The Murnaghan-Nakayama Rule

The Murnaghan-Nakayama Rule The Murnaghan-Nakayama Rule Chandranandan Gangopadhyay April 21, 2014 The Murnaghan-Nakayama rule gives us a combinatorial way of computing the character table of any symmetric group S n Before illustrating

More information

REPRESENTATION THEORY WEEK 5. B : V V k

REPRESENTATION THEORY WEEK 5. B : V V k REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction

More information

The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

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

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 5: Integer Compositions and Partitions and Set Partitions Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict

More information