An Exposition on Group Characters
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
REPRESENTATIONS of FINITE GROUPS 1. Definition And
REPRESENTATIONS OF FINITE GROUPS 1. Definition and Introduction 1.1. Definitions. Let V be a vector space over the field C of complex numbers and let GL(V ) be the group of isomorphisms of V onto itself. An element a of GL(V ) is a linear mapping of V into V which has a linear inverse a−1. When V has dimension n and has n a finite basis (ei)i=1, each map a : V ! V is defined by a square matrix (aij) of order n. The coefficients aij are complex numbers. They are obtained by expressing the image a(ej) in terms of the basis (ei): X a(ej) = aijei: i Remark 1.1. Saying that a is an isomorphism is equivalent to saying that the determinant det(a) = det(aij) of a is not zero. The group GL(V ) is thus identified with the group of invertible square matrices of order n. Suppose G is a finite group with identity element 1. A representation of a finite group G on a finite-dimensional complex vector space V is a homomorphism ρ : G ! GL(V ) of G to the group of automorphisms of V . We say such a map gives V the structure of a G-module. The dimension V is called the degree of ρ. Remark 1.2. When there is little ambiguity of the map ρ, we sometimes call V itself a representation of G. In this vein we often write gv_ or gv for ρ(g)v. Remark 1.3. Since ρ is a homomorphism, we have equality ρ(st) = ρ(s)ρ(t) for s; t 2 G: In particular, we have ρ(1) = 1; ; ρ(s−1) = ρ(s)−1: A map ' between two representations V and W of G is a vector space map ' : V ! W such that ' V −−−−! W ? ? g? ?g (1.1) y y V −−−−! W ' commutes for all g 2 G. -
NOTES on FINITE GROUP REPRESENTATIONS in Fall 2020, I
NOTES ON FINITE GROUP REPRESENTATIONS CHARLES REZK In Fall 2020, I taught an undergraduate course on abstract algebra. I chose to spend two weeks on the theory of complex representations of finite groups. I covered the basic concepts, leading to the classification of representations by characters. I also briefly addressed a few more advanced topics, notably induced representations and Frobenius divisibility. I'm making the lectures and these associated notes for this material publicly available. The material here is standard, and is mainly based on Steinberg, Representation theory of finite groups, Ch 2-4, whose notation I will mostly follow. I also used Serre, Linear representations of finite groups, Ch 1-3.1 1. Group representations Given a vector space V over a field F , we write GL(V ) for the group of bijective linear maps T : V ! V . n n When V = F we can write GLn(F ) = GL(F ), and identify the group with the group of invertible n × n matrices. A representation of a group G is a homomorphism of groups φ: G ! GL(V ) for some representation choice of vector space V . I'll usually write φg 2 GL(V ) for the value of φ on g 2 G. n When V = F , so we have a homomorphism φ: G ! GLn(F ), we call it a matrix representation. matrix representation The choice of field F matters. For now, we will look exclusively at the case of F = C, i.e., representations in complex vector spaces. Remark. Since R ⊆ C is a subfield, GLn(R) is a subgroup of GLn(C). -
Molecular Symmetry
Molecular Symmetry Symmetry helps us understand molecular structure, some chemical properties, and characteristics of physical properties (spectroscopy) – used with group theory to predict vibrational spectra for the identification of molecular shape, and as a tool for understanding electronic structure and bonding. Symmetrical : implies the species possesses a number of indistinguishable configurations. 1 Group Theory : mathematical treatment of symmetry. symmetry operation – an operation performed on an object which leaves it in a configuration that is indistinguishable from, and superimposable on, the original configuration. symmetry elements – the points, lines, or planes to which a symmetry operation is carried out. Element Operation Symbol Identity Identity E Symmetry plane Reflection in the plane σ Inversion center Inversion of a point x,y,z to -x,-y,-z i Proper axis Rotation by (360/n)° Cn 1. Rotation by (360/n)° Improper axis S 2. Reflection in plane perpendicular to rotation axis n Proper axes of rotation (C n) Rotation with respect to a line (axis of rotation). •Cn is a rotation of (360/n)°. •C2 = 180° rotation, C 3 = 120° rotation, C 4 = 90° rotation, C 5 = 72° rotation, C 6 = 60° rotation… •Each rotation brings you to an indistinguishable state from the original. However, rotation by 90° about the same axis does not give back the identical molecule. XeF 4 is square planar. Therefore H 2O does NOT possess It has four different C 2 axes. a C 4 symmetry axis. A C 4 axis out of the page is called the principle axis because it has the largest n . By convention, the principle axis is in the z-direction 2 3 Reflection through a planes of symmetry (mirror plane) If reflection of all parts of a molecule through a plane produced an indistinguishable configuration, the symmetry element is called a mirror plane or plane of symmetry . -
Symmetries on the Lattice
Symmetries On The Lattice K.Demmouche January 8, 2006 Contents Background, character theory of finite groups The cubic group on the lattice Oh Representation of Oh on Wilson loops Double group 2O and spinor Construction of operator on the lattice MOTIVATION Spectrum of non-Abelian lattice gauge theories ? Create gauge invariant spin j states on the lattice Irreducible operators Monte Carlo calculations Extract masses from time slice correlations Character theory of point groups Groups, Axioms A set G = {a, b, c, . } A1 : Multiplication ◦ : G × G → G. A2 : Associativity a, b, c ∈ G ,(a ◦ b) ◦ c = a ◦ (b ◦ c). A3 : Identity e ∈ G , a ◦ e = e ◦ a = a for all a ∈ G. −1 −1 −1 A4 : Inverse, a ∈ G there exists a ∈ G , a ◦ a = a ◦ a = e. Groups with finite number of elements → the order of the group G : nG. The point group C3v The point group C3v (Symmetry group of molecule NH3) c ¡¡AA ¡ A ¡ A Z ¡ A Z¡ A Z O ¡ Z A ¡ Z A ¡ Z A Z ¡ Z A ¡ ZA a¡ ZA b G = {Ra(π),Rb(π),Rc(π),E(2π),R~n(2π/3),R~n(−2π/3)} noted G = {A, B, C, E, D, F } respectively. Structure of Groups Subgroups: Definition A subset H of a group G that is itself a group with the same multiplication operation as G is called a subgroup of G. Example: a subgroup of C3v is the subset E, D, F Classes: Definition An element g0 of a group G is said to be ”conjugate” to another element g of G if there exists an element h of G such that g0 = hgh−1 Example: on can check that B = DCD−1 Conjugacy Class Definition A class of a group G is a set of mutually conjugate elements of G. -
Lie Algebras of Generalized Quaternion Groups 1 Introduction 2
Lie Algebras of Generalized Quaternion Groups Samantha Clapp Advisor: Dr. Brandon Samples Abstract Every finite group has an associated Lie algebra. Its Lie algebra can be viewed as a subspace of the group algebra with certain bracket conditions imposed on the elements. If one calculates the character table for a finite group, the structure of its associated Lie algebra can be described. In this work, we consider the family of generalized quaternion groups and describe its associated Lie algebra structure completely. 1 Introduction The Lie algebra of a group is a useful tool because it is a vector space where linear algebra is available. It is interesting to consider the Lie algebra structure associated to a specific group or family of groups. A Lie algebra is simple if its dimension is at least two and it only has f0g and itself as ideals. Some examples of simple algebras are the classical Lie algebras: sl(n), sp(n) and o(n) as well as the five exceptional finite dimensional simple Lie algebras. A direct sum of simple lie algebras is called a semi-simple Lie algebra. Therefore, it is also interesting to consider if the Lie algebra structure associated with a particular group is simple or semi-simple. In fact, the Lie algebra structure of a finite group is well known and given by a theorem of Cohen and Taylor [1]. In this theorem, they specifically describe the Lie algebra structure using character theory. That is, the associated Lie algebra structure of a finite group can be described if one calculates the character table for the finite group. -
Groups for Which It Is Easy to Detect Graphical Regular Representations
CC Creative Commons ADAM Logo Also available at http://adam-journal.eu The Art of Discrete and Applied Mathematics nn (year) 1–x Groups for which it is easy to detect graphical regular representations Dave Witte Morris , Joy Morris Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta. T1K 3M4, Canada Gabriel Verret Department of Mathematics, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand Received day month year, accepted xx xx xx, published online xx xx xx Abstract We say that a finite group G is DRR-detecting if, for every subset S of G, either the Cayley digraph Cay(G; S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism ' of G such that '(S) = S. We show that every nilpotent DRR-detecting group is a p-group, but that the wreath product Zp o Zp is not DRR-detecting, for every odd prime p. We also show that if G1 and G2 are nontrivial groups that admit a digraphical regular representation and either gcd jG1j; jG2j = 1, or G2 is not DRR-detecting, then the direct product G1 × G2 is not DRR-detecting. Some of these results also have analogues for graphical regular representations. Keywords: Cayley graph, GRR, DRR, automorphism group, normalizer Math. Subj. Class.: 05C25,20B05 1 Introduction All groups and graphs in this paper are finite. Recall [1] that a digraph Γ is said to be a digraphical regular representation (DRR) of a group G if the automorphism group of Γ is isomorphic to G and acts regularly on the vertex set of Γ. -
The Conjugate Dimension of Algebraic Numbers
THE CONJUGATE DIMENSION OF ALGEBRAIC NUMBERS NEIL BERRY, ARTURAS¯ DUBICKAS, NOAM D. ELKIES, BJORN POONEN, AND CHRIS SMYTH Abstract. We find sharp upper and lower bounds for the degree of an algebraic number in terms of the Q-dimension of the space spanned by its conjugates. For all but seven nonnegative integers n the largest degree of an algebraic number whose conjugates span a vector space of dimension n is equal to 2nn!. The proof, which covers also the seven exceptional cases, uses a result of Feit on the maximal order of finite subgroups of GLn(Q); this result depends on the classification of finite simple groups. In particular, we construct an algebraic number of degree 1152 whose conjugates span a vector space of dimension only 4. We extend our results in two directions. We consider the problem when Q is replaced by an arbitrary field, and prove some general results. In particular, we again obtain sharp bounds when the ground field is a finite field, or a cyclotomic extension Q(!`) of Q. Also, we look at a multiplicative version of the problem by considering the analogous rank problem for the multiplicative group generated by the conjugates of an algebraic number. 1. Introduction Let Q be an algebraic closure of the field Q of rational numbers, and let α 2 Q. Let α1; : : : ; αd 2 Q be the conjugates of α over Q, with α1 = α. Then d equals the degree d(α) := [Q(α): Q], the dimension of the Q-vector space spanned by the powers of α. In contrast, we define the conjugate dimension n = n(α) of α as the dimension of the Q-vector space spanned by fα1; : : : ; αdg. -
GROUP REPRESENTATIONS and CHARACTER THEORY Contents 1
GROUP REPRESENTATIONS AND CHARACTER THEORY DAVID KANG Abstract. In this paper, we provide an introduction to the representation theory of finite groups. We begin by defining representations, G-linear maps, and other essential concepts before moving quickly towards initial results on irreducibility and Schur's Lemma. We then consider characters, class func- tions, and show that the character of a representation uniquely determines it up to isomorphism. Orthogonality relations are introduced shortly afterwards. Finally, we construct the character tables for a few familiar groups. Contents 1. Introduction 1 2. Preliminaries 1 3. Group Representations 2 4. Maschke's Theorem and Complete Reducibility 4 5. Schur's Lemma and Decomposition 5 6. Character Theory 7 7. Character Tables for S4 and Z3 12 Acknowledgments 13 References 14 1. Introduction The primary motivation for the study of group representations is to simplify the study of groups. Representation theory offers a powerful approach to the study of groups because it reduces many group theoretic problems to basic linear algebra calculations. To this end, we assume that the reader is already quite familiar with linear algebra and has had some exposure to group theory. With this said, we begin with a preliminary section on group theory. 2. Preliminaries Definition 2.1. A group is a set G with a binary operation satisfying (1) 8 g; h; i 2 G; (gh)i = g(hi)(associativity) (2) 9 1 2 G such that 1g = g1 = g; 8g 2 G (identity) (3) 8 g 2 G; 9 g−1 such that gg−1 = g−1g = 1 (inverses) Definition 2.2. -
Representation Theory
M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23. -
Notes on Representations of Finite Groups
NOTES ON REPRESENTATIONS OF FINITE GROUPS AARON LANDESMAN CONTENTS 1. Introduction 3 1.1. Acknowledgements 3 1.2. A first definition 3 1.3. Examples 4 1.4. Characters 7 1.5. Character Tables and strange coincidences 8 2. Basic Properties of Representations 11 2.1. Irreducible representations 12 2.2. Direct sums 14 3. Desiderata and problems 16 3.1. Desiderata 16 3.2. Applications 17 3.3. Dihedral Groups 17 3.4. The Quaternion group 18 3.5. Representations of A4 18 3.6. Representations of S4 19 3.7. Representations of A5 19 3.8. Groups of order p3 20 3.9. Further Challenge exercises 22 4. Complete Reducibility of Complex Representations 24 5. Schur’s Lemma 30 6. Isotypic Decomposition 32 6.1. Proving uniqueness of isotypic decomposition 32 7. Homs and duals and tensors, Oh My! 35 7.1. Homs of representations 35 7.2. Duals of representations 35 7.3. Tensors of representations 36 7.4. Relations among dual, tensor, and hom 38 8. Orthogonality of Characters 41 8.1. Reducing Theorem 8.1 to Proposition 8.6 41 8.2. Projection operators 43 1 2 AARON LANDESMAN 8.3. Proving Proposition 8.6 44 9. Orthogonality of character tables 46 10. The Sum of Squares Formula 48 10.1. The inner product on characters 48 10.2. The Regular Representation 50 11. The number of irreducible representations 52 11.1. Proving characters are independent 53 11.2. Proving characters form a basis for class functions 54 12. Dimensions of Irreps divide the order of the Group 57 Appendix A. -
Lecture Notes: Basic Group and Representation Theory
Lecture notes: Basic group and representation theory Thomas Willwacher February 27, 2014 2 Contents 1 Introduction 5 1.1 Definitions . .6 1.2 Actions and the orbit-stabilizer Theorem . .8 1.3 Generators and relations . .9 1.4 Representations . 10 1.5 Basic properties of representations, irreducibility and complete reducibility . 11 1.6 Schur’s Lemmata . 12 2 Finite groups and finite dimensional representations 15 2.1 Character theory . 15 2.2 Algebras . 17 2.3 Existence and classification of irreducible representations . 18 2.4 How to determine the character table – Burnside’s algorithm . 20 2.5 Real and complex representations . 21 2.6 Induction, restriction and characters . 23 2.7 Exercises . 25 3 Representation theory of the symmetric groups 27 3.1 Notations . 27 3.2 Conjugacy classes . 28 3.3 Irreducible representations . 29 3.4 The Frobenius character formula . 31 3.5 The hook lengths formula . 34 3.6 Induction and restriction . 34 3.7 Schur-Weyl duality . 35 4 Lie groups, Lie algebras and their representations 37 4.1 Overview . 37 4.2 General definitions and facts about Lie algebras . 39 4.3 The theorems of Lie and Engel . 40 4.4 The Killing form and Cartan’s criteria . 41 4.5 Classification of complex simple Lie algebras . 43 4.6 Classification of real simple Lie algebras . 44 4.7 Generalities on representations of Lie algebras . 44 4.8 Representation theory of sl(2; C) ................................ 45 4.9 General structure theory of semi-simple Lie algebras . 48 4.10 Representation theory of complex semi-simple Lie algebras . -
Character Theory of Finite Groups NZ Mathematics Research Institute Summer Workshop Day 1: Essentials
1/29 Character Theory of Finite Groups NZ Mathematics Research Institute Summer Workshop Day 1: Essentials Don Taylor The University of Sydney Nelson, 7–13 January 2018 2/29 Origins Suppose that G is a finite group and for every element g G we have 2 an indeterminate xg . What are the factors of the group determinant ¡ ¢ det x 1 ? gh¡ g,h This was a question posed by Dedekind. Frobenius discovered character theory (in 1896) when he set out to answer it. Characters of abelian groups had been used in number theory but Frobenius developed the theory for nonabelian groups. 3/29 Representations Matrices Characters ² ² A linear representation of a group G is a homomorphism ½ : G GL(V ), where GL(V ) is the group of all invertible linear ! transformations of the vector space V , which we assume to have finite dimension over the field C of complex numbers. The dimension n of V is called the degree of ½. If (ei )1 i n is a basis of V , there are functions ai j : G C such that · · ! X ½(x)e j ai j (x)ei . Æ i The matrices A(x) ¡a (x)¢ define a homomorphism A : G GL(n,C) Æ i j ! from G to the group of all invertible n n matrices over C. £ The character of ½ is the function G C that maps x G to Tr(½(x)), ! 2 the trace of ½(x), namely the sum of the diagonal elements of A(x). 4/29 Early applications Frobenius first defined characters as solutions to certain equations.