I Question about group representation

Tio Barnabe
After reading some books on Group Theory, I have two questions on group representations (Using matrix representation) with the second related to the first one:

1 - Can we always find a diagonal generator of a group? I mean, suppose we find a set of generators for a group. Is it always possible to have at least one of them being a diagonal matrix?

2 - If so, then the eigenvectors of this diagonal operator can be used as a basis for the vector space where the representation takes place. My question is if the eigenvectors can be used or if they must be used as the basis?
 
Physics news on Phys.org
Consider the two-element group of 2 x 2 matrices consisting of two elements,
\begin{pmatrix}
1&0\\
0&1
\end{pmatrix}
and
\begin{pmatrix}
0&1\\
1&0
\end{pmatrix}
The second of these is not diagonal, and it cannot be generated by the other elements, since there is only one other element and that is the identity.

I'm not sure I fully understand your question, so I don't know whether this answers it.
 
Thanks for your reply, but
I don't know whether this answers it
unfortunately, it doesn't.

I will try to be more clear. Suppose we have a group ##G## with generators ##\{g_1,g_2,... \} \equiv \{g_i \}## and a representation ##R##, such that ##\{R(g_1),R(g_2),... \}## are matrices representing the group ##G##.

My first question is, For any group ##G##, is it always possible to find a representation ##R## such that there is at least one element ##g## of ##\{g_i \}## such that ##R(g)## is a diagonal matrix? (End of the first question.)

The representation of ##G##, i.e. the matrices ##R(\{g_i \})## will act on vectors belonging to a vector space. I read of cases where one of the ##R(\{g_i \})## was a diagonal matrix. In that case, the author has chosen the corresponding eigen-vectors as the basis vectors of the vector space where the transformations ##R(\{g_i \})## act.

My second question is, Do we need always to choose the basis vectors as being the eigen-vectors of one of the ##R(\{g_i \})##? (That's the reason I said in post #1 that the second question is related to the first question.)
 
Tio Barnabe said:
Thanks for your reply, but
My first question is, For any group ##G##, is it always possible to find a representation ##R## such that there is at least one element ##g## of ##\{g_i \}## such that ##R(g)## is a diagonal matrix? (End of the first question.)

Yes, take R to be the trivial representation, for example. This is the only such representation if G is simple and nonabelian (for example, A_5) and the identity is not one of your chosen generators since then any representation would either be faithful or trivial (kernel must be a normal subgroup), but a faithful representation would exhibit an isomorphism from G to a group with a nontrivial center, which is impossible (nonabelian simple groups have trivial center since the center of a group is normal).
 
Last edited:
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Replies
0
Views
2K
Replies
2
Views
3K
Replies
2
Views
1K
Replies
7
Views
2K
Replies
14
Views
3K
Replies
3
Views
3K
Replies
14
Views
4K
Back
Top