Find Cartan Subalgebra for Algebra Given Generators

CuriosusNN
Messages
3
Reaction score
0
Hey! I am studying group theory for particle physicists right now and I came across the following general question (Tell me if you think this rather belongs to the homework section, I am new here.)

Say I am given a set of matrices which represent the generators of an algebra, but I don't know which algebra, i.e. I don't know the commutation relations nor anything like roots or similar about the algebra.
Now I wonder how I could reconstruct the algebra in a smart way. I guess the first step is finding the Cartan subalgebra. Once I have that I should be ready to reconstruct all the rest.
So it all boils down to the question: How can I find the Cartan subalgebra, in particular how can I find out what its dimension (i.e. the rank of the algebra) is, so that I know how many generators I can simultaneously diagonalise?
I suppose this is an undergrad linear algebra question, but I would nevertheless appreciate some hint!
 
Physics news on Phys.org
Algorithms for Lie algebras given the multiplication table are notoriously a bit more complicated than what we have in the rest of linear algebra, especially if the scalar field isn't real or complex. For algebraic closed scalar fields of characteristic not two, the CAS is the maximal toral subalgebra, i.e. the largest subalgebra which can be simultaneously diagonalized in the adjoint representation. It is also Abelian in this case, which is a strong requirement. However, in general we have only nilpotency. Hence an algorithm should look for the semisimple parts of the Jordan-Chevalley decomposition of the adjoint representation.
 
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...
Back
Top