SU(2) as a normal subgroup of SL(2, C)

TrickyDicky
Messages
3,507
Reaction score
28
SU(2) matrices act isometrically on the Riemann sphere with the chordal metric. At the same time the group of automorphisms of the Riemann sphere is isomorphic to the group SL(2, C) of isometries of H 3(hyperbolic space) i.e. every orientation-preserving isometry of H 3 gives rise to a Möbius transformation on the Riemann sphere and viceversa.
Does this make SU(2) a normal(or even characteristic) subgroup of SL(2, C) when acting on H 3 with the chordal metric in its conformal boundary(Riemann sphere) ?
 
Physics news on Phys.org
Maybe giving some more context to my question would help getting replies.
I'm referring always to the special case of the groups acting on H3 or CP1, I'm aware than when acting on Rn the only normal subgroup of SL(2, C) is {+/-I}.
 
It may be easier to do it with Lie algebras. Let's see how a normal subgroup translates into Lie algebras. Here's the definition of a normal subgroup. H is a normal subgroup of G if for every g in G and h in H, g.h.g-1 is also in H. Furthermore, the g.h.g-1 values are all of H.

If G and H are Lie groups, we can go to Lie algebras. g = 1 + ε*L + ..., h = 1 + ε*M + ... where L and M are members of algebras A and B. Turning normal-subgroupishness into algebra language, B is a subalgebra of A and for all L in A and M in B, [L,M] is in B and spans B. Or for short, [A,B] = B. Thus, B is an ideal of A.

So we have to find some ideal of the algebra SL(2,C) that is isomorphic to the algebra SU(2). They are all real combinations of these basis sets, where the σ's are Pauli matrices:
SU(2): {i*σx, i*σy, i*σz}
SL(2,C): {σx, σy, σz, i*σx, i*σy, i*σz}

I suspect that SL(2,C) has no nontrivial ideals, and thus that SU(2) is not a normal subgroup of SL(2,C).
 
lpetrich said:
It may be easier to do it with Lie algebras...
Yes but Lie groups global structure is in general not uniquely determined by their Lie algebras, except for some cases like the simply connected real groups Lie algebras, SL(2, C) is complex.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
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