Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  How to find irreducible representation of a group from reducible one?

+ 1 like - 0 dislike
1611 views

I was reading this document to answer my question. But after teaching me hell lot of jargon like subgroup, normal subgroup, cosets, factor group, direct sums, modules and all that the document says this,

You likely realize immediately that this is not a particularly easy thing to do by inspection. It turns out that there is a very straightforward and systematic way of taking a given representation and determining whether or not it is reducible, and if so, what the irreducible representations are. However, the details of how this can be done, while very interesting, are not necessary for the agenda of these notes. Therefore, for the sake of brevity, we will not pursue them.

(>_<)

I want to learn to do this by hand and then write a program. Please don't ask me to learn GAP or any other software instead.

How to find irreducible representation of a group from reducible one? What is that straightforward and systematic way?

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Pratik Deoghare
asked Nov 27, 2011 in Mathematics by Pratik Deoghare (30 points) [ no revision ]
Why the downvote?

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Pratik Deoghare
In characteristic zero?

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user user641
What exactly do you mean by "find a representation"? What do you envisage as your input and output.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Derek Holt
@DerekHolt: Input: Reducible representation Output:Irreducible representation.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Pratik Deoghare

3 Answers

+ 2 like - 0 dislike

I do not believe that there is a straightforward way of doing what you want for complex representations. Probably the best way is to first compute the character table of the group. There are algorithms for that, such as Dixon-Schneider, but it is not something you can just sit down and program in an afternoon. Then you can use the orthogonality relations to find the irreducible constituents of your representation. There are then algorithms you could use to construct the matrices of the representations from its character - there is one due to Dixon, for example. This method is indirect in that you are not computing the irreducible constituents directly, but you are using the full chaarcter table, but I don't know any better way of doing it.

Strangely, this problem is a little easier for representations over finite fields, where there is a comparatively simple algorithm known as the "MeatAxe" for finding the irreducible constituents directly. (But programming it efficiently would still take a lot fo effort.)

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Derek Holt
answered Nov 28, 2011 by Derek Holt (20 points) [ no revision ]
+ 1 like - 0 dislike

(This might get more traction on math.stackexchange.com, rather than physics.stackexchange.com)

One can easily answer some of these questions with the concept of the character of a representation.

A (linear) representation is a homomorphism from group elements to linear transformations of a vector space. The character of a representation is a map from group elements to the trace of this linear transformation. A representation that is a direct sum of other representations has a character that is the ordinary sum of the characters of these other representations.

One can define an inner product on characters $x$ and $y$ by doing a normalized sum or integral of $\overline{x(g)} y(g)$. Irreducible characters are orthonormal. This lets you test for irreducibility -- the character of the representation must have an inner product of 1 with itself. If you have a list of the irreducible characters (which may be easier to construct than the list of irreducible representations), you can use this inner product to count how many times each irreducible character appears in a given character (and hence how many times an irreducible representation appears in a representation).

Of course, you do need the list of irreducible characters and representations to do this. For finite groups, simple counting arguments plus orthogonality can get you an exhaustive list of irreducible characters, which will then tell you quite a bit about the corresponding representations. For continuous groups, other techniques are required.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user wnoise
answered Nov 27, 2011 by wnoise (10 points) [ no revision ]
This does not answer my question.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Pratik Deoghare
It explains part of your quote: to determine whether a given representation is irreducible, compute the inner product of its character with itself; the representation is irreducible if and only if this product is 1. For the other part, as everyone is telling you, what the quote seems to mean is that if you know the irreducible representations then there is an easy way to decompose any given representation into a sum of irreducibles. But just knowing some representation does not, in general, give you any way to find an irreducible representation.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Gerry Myerson
+ 0 like - 0 dislike

0) Find all irreducible representations of the group. Better learn GAP or another computer algebra system specially designed for algebra (in mathematical, not common sense). Or use character tables if you have well-known finite group.

1) Find a number of irreducible representations in the one you have using orthogonality relations for the characters (sum over group of the product of characters of elements from two representations equal to number of elements multiplied by number "times one representation may be find in another")

2) Now, if you want to derive a connection between your reducible representation and irreducible ones, you should find Clebsch-Gordan coefficients. Just pick any algorithm -- it is hard to find a good description of one, I could not actually.

If you want to take reducible representation and by some diagonalization-like procedure turn it into irreducible ones, there is no such algorithm.

This post imported from StackExchange Mathematics at 2014-06-09 19:10 (UCT), posted by SE-user Misha
answered Nov 27, 2011 by Misha (40 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOve$\varnothing$flow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...