# Determine the lie algebra of the subgroup of SO(4)

Let $$Gsubset SO(4)$$be the subgroup given below:

$$G=left{ begin{pmatrix} a & -b & -c &-d\ b & a & -d & c\ c & d & a & -b \ d &-c & b &a end{pmatrix} : a,b,c,din mathbb{R}, a^2+b^2+c^2+d^2=1right}$$

Find the lie algebra $$mathfrak{g}$$.

I know that if $$Xin mathfrak{so}_4$$, then $$Xin mathfrak{g} iff e^{tX}in G$$ $$forall$$ $$tin mathbb{R}$$.

However, I am not able to use it here, as the given group is a bit complicated. Any help is appreciated.

Thanks

Mathematics Asked by Shreedhar Bhat on November 14, 2021

How does one find the Lie algebra of a Lie group? Differentiate the map $$(a,b,c,d) mapsto begin{pmatrix} a & -b & -c & -d \ b & a & -d & c \ c & -d & a & -b \ d & c & b & a end{pmatrix}quad mbox{and the equation}quad a^2+b^2+c^2+d^2=1$$at $$(1,0,0,0)$$ and evaluate at $$(x,y,z,w)$$. So $$mathfrak{g} = left{begin{pmatrix} x & -y & -z & -w \ y & x & -w & z \ z & -w & x & y \ w & z & y & x end{pmatrix} mid x,y,z,w in Bbb R mbox{ and }2x+0y+0z+0w = 0 right},$$which of course agrees with Stephen's answer $$mathfrak{g} = left{begin{pmatrix} 0 & -y & -z & -w \ y & 0 & -w & z \ z & -w & 0 & y \ w & z & y & 0 end{pmatrix} mid y,z,w in Bbb R right}.$$It is the general principle that to find the equation of a tangent space to a submanifold, you differentiate the equation defining it. Also, $$G cong Bbb S^3$$ is isomorphic to the group of unit quaternions, as the general expression for an element of $$G$$ is in the image of the composition of the maps $$Bbb H ni z+wj mapsto begin{pmatrix} z & -overline{w} \ w & zend{pmatrix} in mathfrak{gl}(2,Bbb C)quadmbox{and}quad Bbb C ni a+bi mapsto begin{pmatrix} a & -b \ b & aend{pmatrix} in mathfrak{gl}(2, Bbb R).$$

Answered by Ivo Terek on November 14, 2021

You are in the following situation. You have a Lie group $$H$$ (don't want to use the letter $$G$$ here, since you are using it) and a system of smooth equations $$f_1,..., f_n: HtoBbb R$$ so that $$G:=bigcap_i f^{-1}_i({0})$$ is subgroup of $$H$$. How can you determine the Lie algebra of $$G$$? Well: $$vin T_1H$$ is tangent to $$G$$ iff the equations $$f_i$$ remain unchanged when you perturb in direction $$v$$. This means that $$vin bigcap_iker( d_1f_i)$$, and you get another system of equations $$d_1f_i(v)=0$$ determining the elements Lie algebra.

In your example you have $$13$$ equations, on the one hand there are the equations $$g_{11}-g_{22}=0, quad g_{11}-g_{33}=0, quad g_{11}-g_{44}=0\ g_{21}+g_{12}=0,quad g_{21}-g_{43}=0,quad g_{43}+g_{34}=0\ g_{31}+g_{42}=0,quad g_{31}+g_{13}=0, quad g_{31}-g_{24}=0\ g_{41}-g_{32}=0,quad g_{41}+g_{23}=0,quad g_{41}+g_{14}=0$$ as well as the equation $$g_{11}^2+g_{21}^2+g_{31}^2+g_{41}^2-1=0.$$

If you take the differentials at $$1$$ of this the first equations remain unchanged, since they are linear, but the last equation becomes: $$2v_{11}cdot 1+2v_{21}cdot 0+2v_{31}cdot 0+2v_{41}cdot 0=0.$$

Now you can combine these equations with the additional condition that the Lie algebra elements be anti-symmetric (to get elements of $$SO(4)$$).

Answered by s.harp on November 14, 2021

It is infinitesimal perturbations from the identity. If $$b$$, $$c$$, and $$d$$ are small, then $$a = 1 + O(b^2 + c^2 + d^2)$$, so $$a$$ is constant up to first order. So $$mathfrak g=left{ begin{pmatrix} 0 & -b & -c &-d\ b & 0 & -d & c\ c & d & 0 & -b \ d &-c & b & 0 end{pmatrix} : b,c,din mathbb{R} right} .$$

Answered by Stephen Montgomery-Smith on November 14, 2021

## Related Questions

### Existence of a monotonic-decreasing function with monotonically increasing log derivative

0  Asked on February 20, 2021 by sam-blitz

### For a square matrix $A$, if $AB = 0$ for some nonzero $B$ then $CA = 0$ for a nonzero matrix $C$.

3  Asked on February 20, 2021

### Regular differentials on a singular curve.

0  Asked on February 20, 2021 by red_trumpet

### For which $N$ is it possible to arrange all whole numbers from $1$ to $N$ in such a way that every adjacent pair sums up to a Fibonacci number?

1  Asked on February 20, 2021 by rubenscube

### Hint Needed for a Decreasing Sequence of Limit Points

1  Asked on February 19, 2021

### How to solve a Bernoulli ODE with an additional term?

1  Asked on February 19, 2021 by beng73

### Closed form expression for $sum_{i=1}^n a_i cos(wt_i + phi)$

0  Asked on February 19, 2021 by shani

### Probability distribution and information theory

0  Asked on February 18, 2021 by vinicius-holmes

### Proving the Alternate Series Test

2  Asked on February 18, 2021 by quasar

### $Hom_R(P,P)$ is projective if $P$ is projective.

2  Asked on February 18, 2021 by iefjkfdhfure

### Compute for the nth item from the code range of 000A to ZZZZ

0  Asked on February 18, 2021 by markbogum

### Find the equation of the circle which touches the curve $x^2+xy-y^2=4$ at $(2,2)$ and the line $3x-y+6=0$

1  Asked on February 18, 2021

### How to Compute the answer to the following limit problems?

2  Asked on February 18, 2021 by outsider

### Why can’t I prove this set of vectors spans

1  Asked on February 18, 2021 by future-math-person

### probability that the number of roulette spins until the sum of the spins exceeds a given number

1  Asked on February 18, 2021 by ab-balbuena

### Discrete Math – Calculating $sum_{k}^{n}$

2  Asked on February 18, 2021 by mathlover

### Show that convex hull can be represented as an intersection of half-spaces

1  Asked on February 18, 2021 by levon-minasian

### Statistical probability of being sick

1  Asked on February 17, 2021 by alex100

### Prove that $F(x,y)=(x-4y,2x+3y)$ is bijective

2  Asked on February 17, 2021 by user835019

### The diagram shows an equilateral triangle $ADE$ inside a square $ABCD$ . What is the value of $frac{[Delta ADE]}{[Delta DEC]}$ .

3  Asked on February 17, 2021