## Fun applications of representations of finite groups

Are there some fun applications of the theory of representations of finite groups? I would like to have some examples that could be explained to a student who knows what is a finite group but does not know much about what is a repersentation (say knows the definition). The standard application that is usually mentioned is Burnside's theorem http://en.wikipedia.org/wiki/Burnside_theorem. The application may be of any kind, not necessarely in math. But math applications are of course very wellcome too!!! It will be very helpfull also if you desribe a bit this application.

-
This should be big-list and comunity-wikified, I guess... – Mariano Suárez-Alvarez Jan 14 2010 at 22:17
Big-list is a classification of a "type of question", not the number of resopnses it receives. – Harry Gindi Jan 14 2010 at 22:54
The Erlangen program might be relevant. – Anweshi Jan 15 2010 at 0:17

I would like to add the McKay correspondence. The symmetry groups of regular solids are easy groups to introduce. Then you want the double covers. It amazes me you can construct the irreducibles and characters so simply from the two-dimensional.

Another result I like is Molien's theorem. The action on the polynomial ring seems complicated at first sight. However this is a straightforward way to calculate the dimensions of the spaces of invariant polynomials.

-

At the Joint Meetings, I heard a fun and very interesting talk by Michael Orrison on applications of representation theory in voting theory. It was really neat! You should be able to find out more here.

-

You might want to look at Section 3.1 of "Group Theory and Physics" by Shlomo Sternberg, Cambridge Univ Press, 1994. This explains, through a simple example, how (in Sternberg's words) "molecular spectroscopy is an application of Schur's lemma". The argument is elementary in nature. The last chapter of the book by James & Liebeck (Representations and Characters of Groups 2e, Cambridge Univ Press, 2001) is a longer exposition of the same idea. I notice another post here about work by Diaconis - Diaconis has a book called "Group Representations in Probability and Statistics" which is available for free download. See the link at

               http://www.math.columbia.edu/~khovanov/resources/


This page has links to dozens of useful articles. Also, there is the book "Unitary Group Representations in Physics, Probability and Number theory" by George W Mackey (Benjamin/Cummings Publ Co, 1978). This is more advanced than the others though. For applications to quantum chemistry there is (amongst many) "Chemical Applications of Group Theory" by F Albert Cotton, published by John Wiley. If you want to see how Section 2.7 of Serre's book is actually used in practice by chemists, see Chapter 6 in Cotton's book.

-
 Apologies for the intrusive question. Just to satisfy curiosity -- Are you the author of "“An arithmetic-geometric method in the study of the subgroups of the modular group”? – Anweshi Jan 24 2010 at 11:50 No, I am not. It is a fairly common name... :-) – Ravi Kulkarni Jan 24 2010 at 14:56 @Anweshi Ravi Kulkarni taught at Queens College at the City of New York as well as the Graduate Center of CUNY for nearly 40 years after getting his PHD at Harvard under Shlomo Sternberg.He's an expert in differential and classical geometry,as well as complex analysis.I had the priviledge of being his student on more then one occasion. Sadly,my role as his student did not match his as a teacher the final time.I'm happy to report for future mathematics majors that he's back there after several years in his native India.I'm hoping he'll remain there until his official retirement. – Andrew L Oct 5 2010 at 22:08 @Ravi First,welcome back,I didn't get a chance to get caught up with you at length yet.Second-to your excellent answer and recommendations,I'll add only the following: "Elements of Molecular Symmetry" by Yngve Ohm. This is a graduate level presentation of group representation theory for chemists that's not only much more readable then Cotton,but much more mathematical-it develops a great deal of formal group theory along the way.Both Sternberg and Serre should be in every mathematican's,physicist's,and chemist's library in my opinion. – Andrew L Oct 5 2010 at 22:14

There are some fun problems in the beginning of these notes by Vera Serganova.

-

Maybe this is not an "application", but I certainly found it fun when learning about representations of the symmetric group. Combinatorially, there is a clear correspondence between transpose-invariant partitions (ie partition diagrams that are symmetric along the main diagonal) and partitions involving distinct odd integers. (eg (3,2,1) corresponds to (5,1). )

Here is a sketch of the representation theory behind the result: the Specht modules from transpose-invariant partitions are precisely the irreducible representations of S_n that decompose into 2 irreducible representations when restricted to A_n. We view irreducible characters and conjugacy-class-indicator-functions as two bases on the vector space of A_n class functions, and deduce that the number of these reducible-on-restriction representations is equal to the number of S_n conjugacy classes which split as two A_n conjugacy classes. An S_n conjugacy class splits into two A_n conjugacy classes precisely when it doesn't commute with any odd cycles, which is to say all factors of its cycle decomposition have distinct odd length.

I've seen other instances where representation theory "explains" a combinatorial coincidence (eg q-dimension formula of various Lie algebras), so I think of this example as "typical" of the connection between representation theory and combinatorics.

EDIT: The background comes from pages 18-25 of the lecture notes here: http://www.dpmms.cam.ac.uk/~ae284/characters.html , and this particular statement is exercise 1 of sheet 3. I have what I believe is a complete solution to the exercise, but I'm having a little trouble pdf-ing it, hopefully it should be on my homepage (under "writings") by Tuesday (along with my own exposition of the background, which may expand on those official notes a little).

-
I once told a friend of mine who was a logician about the tensor product in the representations of the symmetric group. She exclaimed "You mean I can multiply partitions! This is amazing!" – Ben Webster Jan 16 2010 at 15:57
Interest is present ;) – darij grinberg Jan 21 2010 at 23:01

I'm surprised no one's mentioned this: the fact that a Frobenius kernel is a normal subgroup. It's not clear a priori that the set of elements not fixing any points should be a subgroup at all. I'm told there is no completely group theoretic proof (with no character theory) of this fact yet.

-

An example from Kirillov's book on representation theory: write numbers 1,2,3,4,5,6 on the faces of a cube, and keep replacing (simultaneously) each number by the average of its neighbours. Describe (approximately) the numbers on the faces after many iterations.

Another example I like to use in the beginning of a group reps course: write down the multiplication table in a finite group, and think of it as of a square matrix whose entries are formal variables corresponding to elements of the group. Then the determinant of this matrix is a polynomial in these variables. Describe its decomposition into irreducibles. This question, which Frobenius was asked by Dedekind, lead him to invention of group characters.

A function in two variables can be uniquely decomposed as a sum of a symmetric and antisymmetric (skew-symmetric) function. What happens for three and more variables - what types of symmetries do exist there?

-
Thanks, these are cool examples!! – Dmitri Jan 15 2010 at 12:15
Can you provide reference information for Kirillov's book? – alex Jan 16 2010 at 1:32
@alex: Elements of the theory of representations, Springer, 1976 – Vladimir Dotsenko Jan 18 2010 at 23:42

Bosons and fermions. Quantum mechanics texts, such as Dirac's classic, explain that in a system of indistinguishable particles in space, exchange of particles is modelled by a change in phase of the state vector. These phases form a 1-dimensional representation of the symmetric group. Since all transpositions are conjugate, there are just two possibilities: bosons (trival rep) and fermions (sign rep), and no other(on)s.

-
I think this only holds in R^n for n>2, since you're representing the fundamental group of the configuration space of points in R^n. For n=2, you can get anyons. – S. Carnahan Jan 15 2010 at 8:16
Little gets past MO's collective eyes!:) Yes, my phrase "in space" was a little more pointed than it appeared... – Tim Perutz Jan 15 2010 at 14:41

One very basic and fun application of representations of finite groups (or really, actions of finite groups) would be the study of various puzzles, like the Rubik Cube. David Singmaster has a nice little book titled "Handbook of Cubik Math" which could potentially be used for material in an undergraduate course.

-
 Also relevant might be answers and comments on my last question: mathoverflow.net/questions/11758/… – Charles Siegel Jan 15 2010 at 1:44

The decomposition of the curvature tensor of a (pseudo) riemmanian manifold into scalar+ traceless Ricci + Weyl (the latter into SD+ASD in dim=4) is an application of the representation theory of the orthogonal group. There are many more examples in differential geometry (eg the decomposition of the intrinsic torsion tensor of an almost hermitian manifold into 4 irreducibles etc).

Now you may object because the orthogonal group (say over R) is not a finite group, but Weyl showed that the theory of the tensor representations of the classical groups is intimately related to the representation theory of the symmetric group.

-
Not to mention that any reasonable person knows that finite should just mean compact. – Ben Webster Jan 16 2010 at 15:56

Check out this book: Group theory and physics

-

Wallpaper groups and the crystallographic restriction theorem for the plane are a wonderful application/example of finite group theory and group actions.

This is a really good relevant clip: http://www.youtube.com/watch?v=7zLi47yYlcc#t=7m43s (queued up at the relevant point, whence came the #t=7m34s).

Also, Bronowski was a mathematician.

-

Here's a blog post I wrote, based on Georgi's book. The example is solving for the normal modes of oscillation of a system of identical masses and identical springs. More generally, you can use the automorphism group of the graph they form to do it for more complicated configurations.

-

There's lots of stuff relating the representation theory of the symmetric group to sorting and shuffling. Persi Diaconis has worked on the latter to great effect.

-

As Anweshi noted a moment ago, a classic answer is the use of character tables by chemists (as explained in this book for instance). The symmetry group of a molecule controls its vibrational spectrum, as observed by IR spectrosocopy. When Kroto et al. discovered $C_{60}$, they used this method to demonstrate its icosahedral symmetry.

-
Also of interest is the use of representation theory for finite groups in understanding electronic structure: en.wikipedia.org/wiki/Term_symbol – Steve Huntsman Jan 14 2010 at 22:58
Ah thanks a lot for the reference and explanations! You have a soft corner for Chemistry? – Anweshi Jan 14 2010 at 23:45
Chemists really have courses on group representation theory, I had a friend who was a chemist who taught one. That said, if you have to know too much chemistry it might not be so easy to incorporate in a mathematics class! – Kevin McGerty Jan 15 2010 at 1:16
The first part of Serre's book on representations of finite groups is written explicitly for chemists. When I saw a copy the other day, I was ashamed to see that a chemist who followed his course knew more about representations of finite groups than I do! – Joel Fine Feb 2 2010 at 12:38

Serre mentions in his book that the first part and examples are all very relevant to quantum chemists. If you can dig it up, it might turn out to be very exciting. Perhaps, it is for understanding crystal structure, etc..

-
Anweshi, thanks! I have the book of Serre "Linear Representations of Finite Groups" in my hands. Graduate Texts in Math. Serre mentions "quatnum Chemistry" in one phrase, but that is it... Is this the book? – Dmitri Jan 14 2010 at 23:05
That is the book. The first part is written for Serre's wife, Josiane Serre, for teaching her students in quantum chemistry. Somehow it is all very relevant there, though I have no idea. Maybe someone else can explain it better, with references to Chemistry books. – Anweshi Jan 14 2010 at 23:42
I never understood Serre's phrase "quantum chemistry", let alone "quantum chemists". What other kinds are there - "deluded chemists"? – Tim Perutz Jan 14 2010 at 23:44
I see. Interesing to know that this was for his wife :) As far as I understood from some other sources, indeed the examples from chapter 5 are relevant for Chemists, but, Serre just says a couple of words about this. – Dmitri Jan 14 2010 at 23:46
@Tim- Just because a mathematician does representation theory doesn't mean they think set theory is untrue, or that it isn't an underlying basis for their work. It's just that most of the set theory they see is boring, and other interesting problems dominate. I would guess the chemistry thing is analogous. – Ben Webster Jan 15 2010 at 16:37

This is maybe stretching it a little bit, but Tim Gowers' quasi-random groups describes and references some extremal combinatorial properties of graphs constructed from the groups $PSL_2(\mathbb{F}_q)$ which ultimately rely on the fact that they have no non-trivial low-dimensional irreducible representations.

-

Ising gauge theory on a finite lattice is basically determined by a coupling constant and a gauge-induced unitary representation from $\mathbb{Z}^M_2$ to $U(\mathcal{H}_2^{\otimes L})$.

Here $\mathcal{H}_2$ is the Hilbert space of a single spin variable, $L$ is the number of links in the lattice, and $M$ is the number of them that comprise a maximal tree (for a periodic $d$-dimensional lattice with period $N$ in each dimension, so that there are $N^d$ sites, $M = N^d – 1$ and $L = dN^d$, so in the infinite-volume limit, $L \sim d \cdot M$).

-
 Steve, thanks a lot! Though it is a bit dense for me to understand :)... Could you please expand it just a bit, or give a refference? For example, are you considering a periodic lattice in R^2? – Dmitri Jan 14 2010 at 22:43 I have some notes on this from four or five years ago that elaborate on work from the seventies (e.g. Fradkin, E. and Susskind, L. “Order and disorder in gauge systems and magnets”. Phys. Rev. D 17, 2637 (1978)). I will email you a PDF of these notes if you want. – Steve Huntsman Jan 14 2010 at 22:48 Steve, please email me, this will be nice! dpanov@imperial.ac.uk – Dmitri Jan 14 2010 at 22:57 Done. Hope you find them worthwhile. Best/SH – Steve Huntsman Jan 14 2010 at 23:03

I love the proof of the theorem of Hurwitz that a normed division algebra has to have dimension 1, 2 or 4 using the representation theory of elementary 2-groups.

Later: the original reference for the argument is [Eckmann, Beno. Gruppentheoretischer Beweis des Satzes von Hurwitz-Radon über die Komposition quadratischer Formen. (German) Comment. Math. Helv. 15, (1943). 358--366. MR0009936 (5,225e)] I don't know of a more recent exposition, except some notes of a short course by Esther Galina a few years ago (which should be in her webpage---in spanish, though)

-
Sounds great. Reference? – Pete L. Clark Jan 14 2010 at 22:25
Here is a more recent reference: math.uconn.edu/~kconrad/blurbs/linmultialg/… – KConrad Jan 23 2010 at 6:06
Very interesting! Was it the original proof? – Gian Maria Dall'Ara Jan 24 2010 at 17:50
Not at all. Hurwitz's paper was in 1898 and Frobenius introduced characters of finite groups only in 1896. It took more than 2 years for representation theory to develop the tools necessary for Eckmann's argument to be found. Hurwitz's original proof used linear algebra. For a write-up of that, look at math.uconn.edu/~kconrad/blurbs/linmultialg/… – KConrad Jan 25 2010 at 4:39