An Introduction to Lie Groups ()

Amor Hasić^{}

Department of Mathematics, Faculty of Natural Sciences and Mathematics, University of Montenegro, Podgorica, Montenegro.

**DOI: **10.4236/alamt.2020.103004
PDF HTML XML
464
Downloads
1,634
Views
Citations

Department of Mathematics, Faculty of Natural Sciences and Mathematics, University of Montenegro, Podgorica, Montenegro.

This paper is made out of necessity as a doctoral student taking the exam from Lie groups. Using the literature suggested to me by the professor, I felt the need to, in addition to that literature, and since there was more superficial in that book with some remarks about the examples given in relation to the left group. I decided to try a little harder and collect as much literature as possible, both for the needs of me and the others who will take after me. Searching for literature in my mother tongue I could not find anything, in English as someone who comes from a small country like Montenegro, all I could find was through the internet. I decided to gather what I could find from the literature in my own way and to my observation and make this kind of work. The main content of this paper is to present the Lie group in the simplest way. Before and before I started writing or collecting about Lie groups, it was necessary to say something about groups and subgroups that are taught in basic studies in algebra. In them I cited several deficits and an example. The following content of the paper is related to Lie groups primarily concerning the definition of examples such as *The General Linear Group GL(n, R)*, The *Complex General Linear Group GL(n, C)*, *The Special Linear Group SL(n, R)=SL(V)*, *The Complex Special Linear Group SL(n, C)*, *Unitary and Orthogonal Groups*, *Symplectic Group*, *The groups R*, C*, S ^{1} and R^{n}* and others. In addition, invariant vector fields and the exponential map and the lie algebra of a lie group. For me, this work has the significance of being useful to all who need it.

Keywords

Groups, Subgroups, Lie Groups, Invariant Vector Fields, The Exponential Map

Share and Cite:

Hasić, A. (2020) An Introduction to Lie Groups. *Advances in Linear Algebra & Matrix Theory*, **10**, 35-51. doi: 10.4236/alamt.2020.103004.

1. Introduction

A Lie group is, roughly speaking, an analytic manifold with a group structure such that the group operations are analytic. Lie groups arise in a natural way as transformation groups of geometric objects. Lie groups are not linear they are curved manifolds. Nevertheless, Lie’s theorem reduces many questions about Lie groups to questions about Lie algebras. Questions about curved manifolds turn out to be equivalent to questions about linear algebra. This is a profound simplification, and it leads to a very rich theory. The theory of Lie groups answers these questions by replacing the notion of a finitely generated group with that of a Lie group—a group which at the same time is a finite-dimensional manifold. It turns out that in many ways such groups can be described and studied as easily as finitely generated groups—or even easier.

Lie groups and Lie algebras, together called Lie theory, originated in the study of natural symmetries of solutions of differential equations. However, unlike say the finite collection of symmetries of the hexagon, these symmetries occurred in continuous families, just as the rotational symmetries of the plane form a continuous family isomorphic to the unit circle. The theory as we know it today began with the ground-breaking work of the Norwegian mathematician Sophus Lie, who introduced the notion of continuous transformation groups and showed the crucial role that Lie algebras play in their classification and representation theory. Lie’s ideas played a central role in Felix Klein’s grand “Erlangen program” to classify all possible geometries using group theory. Today Lie theory plays an important role in almost every branch of pure and applied mathematics, is used to describe much of modern physics, in particular classical and quantum mechanics, and is an active area of research [1].

The General Linear Group GL(n, R) is the group of invertible *n** *× *n* matrices with real entries under matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in a general linear position. https://en.wikipedia.org/wiki/General_linear_group

The special linear group SL(*n*, *F*) of degree *n* over a field *F* is the set of *n* × *n* matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion. This is the normal subgroup of the general linear group given by the kernel of the determinant

$\mathrm{det}:GL\left(n,F\right)\to {F}^{X}$

where we write *F*^{×} for the multiplicative group of *F* (that is, *F* excluding 0).

These elements are “special” in that they form a subvariety of the general linear group—they satisfy a polynomial equation (since the determinant is polynomial in the entries). https://en.wikipedia.org/wiki/Special_linear_group

The orthogonal group in dimension *n*, denoted O(*n*), is the group of distance-preserving transformations of a Euclidean space of dimension *n* that preserve a fixed point, where the group operation is given by composing transformations. An orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of *n** *× *n* orthogonal matrices, where the group operation is given by matrix multiplication; an orthogonal matrix is a real matrix whose inverse equals its transpose. The orthogonal group is an algebraic group and a Lie group. It is compact.

The orthogonal group in dimension *n* has two connected components. The one that contains the identity element is a subgroup, called the special orthogonal group, https://en.wikipedia.org/wiki/Orthogonal_group.

The unitary group of degree *n*, denoted U(*n*), is the group of *n* × *n* unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(*n*, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.

The purpose of researching this paper is, as I have already stated in the summary, to gather as much information as possible and introduce it into the basic meaning of Lie groups. That everyone can benefit from this work at the beginning and find guidelines for further study of Lie groups. To get the most important information through this work without having to use a lot of literature like me and to get information in an easier way.

2. Groups, Subgroups, Definitions and Examples

Definition 1: Group is a set G together with a map $\mu :G\times G\to G$ ; $\left(x,y\right)\to xy$ and an element $e\to {e}_{G}$ ; such that the following conditions are fulfilled

1) An associative algebra is algebra A whose associative rule is associative: $x\left(yz\right)=\left(xy\right)z$ for all $x,y,z\in G$

2) There exists an element $e\in G$, such that for all $x\in G$ we have $x\ast e=e\ast x=x$. Such an element $e\in G$ is called an identity in G.

3) For every $x\in G$ there exists an element ${x}^{-1}\in G$ such that $x\ast {x}^{-1}={x}^{-1}x=x$ is called an inverse of a in G.

Definition 2: If in the group (G; ·) for all $x,y\in G$ is

$x\cdot y=y\cdot x$ ;

Then we say that this structure is commutative (or Abel’s), so we can speak of a commutative group.

Example 1: Let (G, ·) be a group in which ${x}^{2}=e$ holds for each element a. We claim that is then G a commutative group. Namely,

$\left(xy\right)\left(xy\right)=e=xx=xex=x\left(yy\right)x=\left(xy\right)\left(yx\right)/{\left(xy\right)}^{-1}$

$\Rightarrow xy=yx$

Example 2: If (V; +; ·) is a vector space, then (V; +) is an Abel group.

Definition 3: Let $S=\left\{e\right\}$ be a one-membered set and define a binary operation on S by the formula $e\cdot e=e$. Then ({e}; ·) is a group we call a trivial group.

Definition 4: Subgroup of G is a subset $H\subset G$ such that

1) ${e}_{H}\in H$ ;

2) $xy\in H$ for all $x\in H$ and $y\in H$ ;

3) ${x}^{-1}\in H$ for every $x\in H$.

Definition 5: [2] nonempty subset H of a group G is a subgroup of G if H is a group under the same operation as G. We use the notation $H\subset G$ to mean that H is a subset of G, and H ≤ G to mean that H is a subgroup of G. For a group G with identity element e, {e} is a subgroup of G called the trivial subgroup. For any group G, G itself is a subgroup of G, called the improper subgroup. Any other subgroup of G besides the two above is called a nontrivial proper subgroup of G.

Definition 6: Let (G, ·) and (H, ∗) groups. Function $f:G\to H$ is a homomorphism if for all $x,y\in G$ is valid:

1) $f\left({e}_{G}\right)={e}_{H}$

2) $f\left(xy\right)=f\left(x\right)\ast f\left(y\right)$ for all $x,y\in H$

Proof: a) If $x\in G$, $f\left(x\right)=f\left(x{e}_{G}\right)=f\left(x\right)f\left({e}_{G}\right)$ and H is group, hitting the left with $f{\left(x\right)}^{-1}$, $f\left({e}_{G}\right)={e}_{H}$, so $f{\left(x\right)}^{-1}=f\left({x}^{-1}\right)$.

Definition 7: If $f:G\to H$ is a homomorphism. The kernel of f defined by

$kerf={f}^{-1}\left({e}_{H}\right)=\left\{f\left(x\right)={e}_{H}\right\}$

is also readily seen to be a subgroup of G.

Proof. We have to show that the kernel is non-empty and closed under products and inverses. Note that $\phi \left(e\right)=f$. Thus Kerf is certainly non-empty. Now suppose that a and bare in the kernel, so that

$f\left(x\right)=f\left(y\right)=\phi $.

$f\left(xy\right)=f\left(x\right)\phi \left(y\right)=\phi \phi =\phi $.

Thus $xy\in Kerf$ and so the kernel is closed under products. Finally suppose that $f\left(x\right)=e$. Then $f\left({x}^{-1}\right)=f{\left(x\right)}^{-1}=\phi $. Thus the kernel is closed under inverses, and the kernel is a subgroup.

Example 3: Let ${R}^{+}$ denote the set of positive real numbers. Then there is the function $\mathrm{ln}:{R}^{+}\to R$ is a homomorphism of a group $\left({R}^{+},\cdot {,}^{-1};1\right)$ into a group $\left(R,+,-,0\right)$.

$\mathrm{ln}\left({x}^{-1}\right)=-\mathrm{ln}x\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\mathrm{ln}1=0$

$\mathrm{ln}\left(xy\right)=\mathrm{ln}\left(x\right)+\mathrm{ln}(\; y\; )$

Example 4: Conjugation, *i**.**e.*, function
$g:C\to C$, given by
$g\left(z\right)=\stackrel{\xaf}{z}$, represents the automorphism of the algebra
$C=\left(C,+,\cdot ,0,1\right)$

Function $f:G\to H$ is a homomorphism

- Subjective group homomorphism is called an epimorphism

- Injective group homomorphism is called a monomorphism.

- Bijective group homomorphism is called an isomorphism.

- If $A=B$, we say that x is an endomorphism.

- If f is an isomorphism and an endomorphism, we say that x is an automorphism.

- Automorphism of G we mean an isomorphism of G onto itself.

Definition 9: The map $f:G\to H$ is called an isomorphism and G and H are said to be isomorphic if

1) f is a homomorphism.

2) f is a bijection.

- If G is a group and $x\in G$ ; then the map ${\mathcal{l}}_{x}:G\to G,y\to xy$ ; is called left translation by x.

- If $x\in G$ ; then ${r}_{x}:G\to G,y\to yx$ is called right translation by x

- If $x\in G$ ; then ${C}_{x}:G\to G,y\to xy{x}^{-1}$ is called conjugation by x:

LIE GROUPS, DEFINITION AND EXAMPLES

A Lie group is a smooth (i.e., C 1) manifold G equipped with a group structure so that the maps

$\mu :G\times G\to G$

$\mu :\left(xy\right)\to xy$

and the inversion map

$\iota :G\times G\to G$

$\iota :x\to {x}^{-1}$

are smooth.

In other words, the coordinates of the product must be differentiable functions of the coordinates of factors, and the coordinates of the inverse element must be differentiable functions of the coordinates of the element itself.

A Lie group over $\u2102$ is also called a complex Lie group and a Lie group over $\mathbb{R}$ is called a real Lie group. Any complex Lie group may be considered as a real Lie group of doubled dimension.

Example 1:

1) ${R}^{n}$ together with addition+ and the neutral element 0 is a Lie group.

2) ${R}^{*}=R\backslash \left\{0\right\}$ is an open subset of R; hence a smooth manifold. Equipped with the ordinary scalar multiplication and the neutral element 1; ${R}^{*}$ is a Lie group.

3) ${C}^{n}$ together with addition + and the neutral element 0 is a Lie group.

4) ${C}^{*}=C\backslash \left\{0\right\}$ is an open subset of C; hence a smooth manifold. Equipped with the ordinary scalar multiplication and the neutral element 1; ${C}^{*}$ is a Lie group.

Example 2: Let

$G=R\times R\times {S}^{1}=\left\{\left(x,y,p\right)|x\in R,y\in R,p\in {S}^{1}\subset C\right\}$

Equipped with the group product given by

$\left({x}_{1},{y}_{1},{p}_{1}\right)\ast \left({x}_{2},{y}_{2},{p}_{2}\right)=\left({x}_{1}+{x}_{2},{y}_{1}+{y}_{2},{\text{e}}^{i{x}_{1}{y}_{2}}{p}_{1}{p}_{2}\right)$

Then G is a Lie group.

[3] The General Linear Group GL(n, R)

Let n be a positive integer, and let $M\left(n,R\right)$ be the set of real n × n matrices. Equipped with entry wise addition and scalar multiplication $M\left(n,R\right)$ is a linear space, which in an obvious way may be identified with ${R}^{{n}^{2}}$. For $A\in M\left(n,R\right)$ we denote by ${A}_{ij}$ the entry of A in the i-th row and the j-th column.

The maps ${\xi}_{ij}:A\to {A}_{ij}$ may be viewed as a system of (linear) coordinate functions on $\left(n,R\right)$. In terms of these coordinate functions, the determinant function $\mathrm{det}:M\left(n,R\right)\to R$ is given by

$\mathrm{det}={\displaystyle \underset{\sigma \in {S}_{n}}{\sum}\mathrm{sgn}\left(\sigma \right){\xi}_{1\sigma \left(1\right)}\cdots {\xi}_{n\sigma (\; n\; )}}$

where ${S}_{n}$ denotes the group of permutations of $\left\{1,\cdots ,n\right\}$ and where sgn denotes the sign of a permutation. It follows from this formula that det is smooth.

The set $GL\left(n,R\right)$ of invertible matrices in $M\left(n,R\right)$ equipped with the multiplication of matrices, is a group. As a set it is given by

$GL\left(n,R\right)=\left\{A\in M\left(n,R\right)|\mathrm{det}A\ne 0\right\}$

Thus, $GL\left(n,R\right)$ is the pre-image of the open subset ${R}^{*}=R\backslash \left\{0\right\}$ of R under det. As the latter function is continuous, it follows that $GL\left(n,R\right)$ is an open subset of $M\left(n,R\right)$. As such, it may be viewed as a smooth manifold of dimension ${n}^{2}$. In terms of the coordinate functions ${\xi}_{ij}$ the multiplication map $\mu :GL\left(n,R\right)\times GL\left(n,R\right)\to GL\left(n,R\right)$ is given by

${\xi}_{kl}\left(\mu \left(A,B\right)\right)={\displaystyle \underset{i=1}{\overset{n}{\sum}}{\xi}_{ki}\left(A\right){\xi}_{il}(\; B\; )}$

It follows that µ is smooth. Given $A\in M\left(n,R\right)$ we denote by ${A}^{\text{T}}$ the transpose of A. Moreover, for $1\le i,j\le n$ n we denote by ${M}_{ij}\left(A\right)$ the matrix obtained from A by deleting the i-th row and j-th column.

The co-matrix of A is defined by

${A}_{ij}^{co}={\left(-1\right)}^{i+j}\mathrm{det}{M}_{ij}(\; A\; T\; )$

Clearly, the map $A\to {A}^{co}$ is a polynomial, hence smooth map from $M\left(n,R\right)$ to itself. By Cramer’s rule the inversion $\iota :GL\left(n,R\right)\to GL\left(n,R\right)$, $A\to {A}^{-1}$ is given by

$\iota \left(A\right)={\left(\mathrm{det}A\right)}^{-1}{A}^{co}$

It follows that $\iota $ is smooth, and we see that $GL\left(n,R\right)$ is a Lie group.

Obviously
$GL\left(n,R\right)$ is an n^{2}-dimensional noncompact Lie group, and it is not connected. In fact, it consists of exactly two connected components,

$G{L}_{+}\left(n,R\right)=\left\{A\in M\left(n,R\right)|\mathrm{det}A>0\right\}$

$G{L}_{-}\left(n,R\right)=\left\{A\in M\left(n,R\right)|\mathrm{det}A<0\right\}$

[4]: The *Complex* *General* *Linear* *Group* GL(*n*; C)

This calls for some explanation, since
$GL\left(n,C\right)$ is not a group of real matrices, as required by Definition:. *A* *linear* *group* *is* *a* *closed* *subgroup* *of*
$GL\left(n,R\right)$. However, we can represent each complex matrix
$Z\in M\left(n,C\right)$ by a real matrix
$RZ\in M\left(2n,R\right)$ in the following way. If we “forget” scalar multiplication by non-reals, the complex vector space
$V={C}^{n}$ becomes a real vector space RV of twice the dimension, with basis
$\left(1,0,\cdots ,0\right)$,
$\left(i,0,\cdots ,0\right)$,
$\left(0,1,\cdots ,0\right)$,
$\left(0,i,\cdots ,0\right)$,
$\cdots $,
$\left(0,0,\cdots ,1\right)$,
$\left(0,0,\cdots ,i\right)$ :* *

Moreover each matrix
$Z\in M\left(n,C\right)$, *i**.**e**.* each linear map

$Z:V\to V$

Defines a linear map

$RZ:RV\to RV$

*i**.**e**.* a matrix
$RZ\in M\left(2n,R\right)$.

Concretely, in passing from *Z* to RZ each entry

${Z}_{j,k}={X}_{j,k}+i{Y}_{j,k}$

is replaced by the 2 *×* 2 matrix

$\left(\begin{array}{cc}{X}_{j,k}& -{Y}_{j,k}\\ {Y}_{j,k}& {X}_{j,k}\end{array}\right)$

The map

$Z\to RZ:M\left(n,C\right)\to M\left(2n,R\right)$

is injective; and it preserves the algebraic structure, *i**.**e**.*

· $R\left(Z+W\right)=RZ+RW$

· $R\left(ZW\right)=\left(RZ\right)(\; R\; W\; )$

· $R\left(aZ\right)=a\left(RZ\right),\forall a\in R$

· $RI=I$

· $R\left({Z}^{*}\right)={\left(RZ\right)}^{\prime}$

It follows in particular that RZ is invertible if and only if *Z* is; so R restricts to a map

$Z\to RZ:GL\left(n,C\right)\to GL\left(2n,R\right)$

Whenever we speak of
$GL\left(n,C\right)$, or more generally of any group *G* of complex matrices, as a linear group, it is understood that we refer to the image RG of *G* under this injection R.

The matrix
$X\in GL\left(2n,R\right)$ belongs to
$GL\left(n,C\right)$ if is built out of 2 *×* 2 matrices of the form

$\left(\begin{array}{cc}x& -y\\ y& x\end{array}\right)$

This can be expressed more neatly as follows. Let

$iI\to J=\left(\begin{array}{ccccc}0& -1& & & \\ 1& 0& & & \\ & & 0& -1& \\ & & 1& 0& \\ & & & & \ddots \end{array}\right)$

Since any scalar multiple of the identity commutes with all matrices,

$X\in M\left(n,C\right)\Rightarrow \left(iI\right)X=X(\; i\; I\; )$

Applying the operator R,

$X\in RM\left(n,C\right)\Rightarrow JX=XJ$

Conversely, if
$JX=XJ$ then it is readily verified that *X* *is* of the required form.

Thus

$RM\left(n,C\right)=f\left\{X\in M\left(2n,R\right):JX=XJ\right\}$

and in particular

$GL\left(n,C\right)=\left\{T\in GL\left(2n,R\right):JX=XJ\right\}$

[3]: The Special Linear Group S(n, R) = SL(V)

Let V be a finite dimensional real linear space. We define the special linear group

$SL\left(V\right)=\left\{A\in GL\left(V\right)|\mathrm{det}A=1\right\}$

Note that det is a group homomorphism from
$GL\left(V\right)$ to
${R}^{*}$. Moreover,
$SL\left(V\right)$ is the kernel of det. In particular,
$SL\left(V\right)$ is a subgroup of
$GL\left(V\right)$. We will show that
$SL\left(V\right)$ is a sub-manifold of
$GL\left(V\right)$ of co-dimension 1. Suffices to do this at the element = I_{V}.

Since $G=GL\left(V\right)$ is an open subset of the linear space $End\left(V\right)$ its tangent space ${T}_{I}G$ may be identified with $End\left(V\right)$. The determinant function is smooth from G to R hence its tangent map is a linear map from $End\left(V\right)$ to R. Tangent map is the trace $tr:End\left(V\right)\to R;A\to tr\left(A\right)$. Clearly tr is a surjective linear map. This implies that det is submersive at I. That $SL\left(V\right)$ is a smooth co-dimension 1 sub-manifold at I:

[4]. The Complex Special Linear Group SLn,

$SL\left(n,C\right)=\left\{A\in GL\left(n,C\right)|\mathrm{det}A=1\right\}$

Note that the determinant here must be computed in $M\left(n,C\right)$, not in $M\left(2n,R\right)$.

Thus

$T=\left(i\right)\notin SL\left(1,C\right)$

Although

$RT=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\in SL\left(2,R\right)$

[5] *Unitary* *and* *Orthogonal* *Groups *

An
$n\times n$ complex matrix *A* is said to be unitary if the column vectors of *A* are orthonormal, that is, if

$\underset{i=1}{\overset{n}{{\displaystyle \sum}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\stackrel{\xaf}{{A}_{kl}}{A}_{kj}={\xi}_{lj}$

We may rewrite as

$\underset{i=1}{\overset{n}{{\displaystyle \sum}}}{\left({A}^{*}\right)}_{lk}{A}_{kj}={\xi}_{lj}$

where ${\xi}_{lj}$ is the Kronecker delta equal to 1 if $l=j$ and equal to zero if $l\ne j$.

Here *A* is the adjoint of *A*, defined by

${\left({A}^{*}\right)}_{lk}=\stackrel{\xaf}{{A}_{kl}}$

Equation says that
${A}^{*}A=I$ ; thus, we see that *A* is unitary if and only if
${A}^{*}={A}^{-1}$. In particular, every unitary matrix is invertible.

The adjoint operation on matrices satisfies
${\left(AB\right)}^{*}={B}^{*}{A}^{*}$. from this, we can see that if *A* and *B* are unitary, then

${\left(AB\right)}^{*}={B}^{*}{A}^{*}AB={B}^{-1}{A}^{-1}AB=I$

showing that *AB* is also unitary. Furthermore, since
${\left(A{A}^{-1}\right)}^{*}={I}^{*}=I$, we see that
${\left({A}^{-1}\right)}^{*}{A}^{*}=I$, which shows that
${\left({A}^{-1}\right)}^{*}={\left({A}^{*}\right)}^{-1}$. Thus, if *A* is unitary, we have

${\left({A}^{-1}\right)}^{*}{A}^{-1}={\left({A}^{*}\right)}^{-1}{A}^{-1}={\left(A{A}^{*}\right)}^{-1}=I$

showing that ${A}^{-1}$ is again unitary.

Thus, the collection of unitary matrices is a subgroup of
$GL\left(n,C\right)$. We call this group the *unitary* *group* and we denote it by
$U\left(n\right)$. We may also define the *special* *unitary* *group*
$SU\left(n\right)$, the subgroup of
$U\left(n\right)$ consisting of unitary matrices with determinant 1. It is easy to check that both
$U\left(n\right)$ and
$SU\left(n\right)$ are closed subgroups of
$GL\left(n,C\right)$ and thus matrix Lie groups.

Meanwhile, let $\langle .,.\rangle $ denote the standard inner product on ${C}^{n}$, given by

$\langle x,y\rangle ={\displaystyle \underset{j}{\sum}\stackrel{\xaf}{{x}_{j}}{y}_{j}}$

(Note that we put the conjugate on the *first* factor in the inner product.)

We have

$\langle x,Ay\rangle =\langle {A}^{*}x,y\rangle $ * *

for all $x,y\in {C}^{n}$. Thus

$\langle Ax,Ay\rangle =\langle {A}^{*}Ax,y\rangle $ * *

from which we can see that if *A* is unitary, then *A* preserves the inner product on
${C}^{n}$, that is,

$\langle Ax,Ay\rangle =\langle x,y\rangle $ * *

for all *x* and *y*. Conversely, if *A* preserves the inner product, we must have
$\langle {A}^{*}Ax,y\rangle =\langle x,y\rangle $ for all
$x,y$. It is not hard to see that this condition holds only if
${A}^{*}=I$. Thus, an equivalent characterization of unitarity is that *A* is unitary if and only if *A* preserves the standard inner product on
${C}^{n}$.

Finally, for any matrix *A*, we have that
$\mathrm{det}{A}^{*}=\stackrel{\xaf}{\mathrm{det}A}$. Thus, if *A* is unitary, we have

$\mathrm{det}\left({A}^{*}A\right)={\left|\mathrm{det}A\right|}^{2}=\mathrm{det}I=1$

Hence, for all unitary matrices *A*, we have
$\left|\mathrm{det}A\right|=1$.

In a similar fashion, an
$n\times n$ real matrix *A* is said to be orthogonal if the column vectors of *A* are orthonormal. As in the unitary case, we may give equivalent versions of this condition. The only difference is that if *A* is real, *A* is the same as the transpose
${A}^{tr}$ of *A*, given by

${\left({A}^{tr}\right)}_{jk}={A}_{kj}$

Thus, *A* is orthogonal if and only if
${A}^{tr}={A}^{-1}$, and this holds if and only if *A* preserves the inner product on
${R}^{n}$. Since
$\mathrm{det}{\left(A\right)}^{tr}=\mathrm{det}A$, if *A* is orthogonal, we have

$\mathrm{det}\left({A}^{tr}A\right)=\mathrm{det}{\left(A\right)}^{2}=\mathrm{det}\left(I\right)=1$

so that $\mathrm{det}\left(A\right)=\pm 1$. The collection of all orthogonal matrices forms a closed subgroup of $GL\left(n,C\right)$. which we call the orthogonal group and denote by $O\left(n\right)$.

The set of $n\times n$ orthogonal matrices with determinant one is the special orthogonal group, denoted $SO\left(n\right)$. Geometrically, elements of $SO\left(n\right)$. are rotations, while the elements of $O\left(n\right)$. are either rotations or combinations of rotations and reflections. Consider now the bilinear form $\left(.,.\right)$ on ${C}^{n}$ defined by

$\left(x,y\right)={\displaystyle \underset{j}{\sum}{x}_{j}{y}_{j}}$

This form is *not* an inner product because, for example, it is symmetric rather than conjugate symmetric. The set of all
$n\times n$ complex matrices *A* which preserve this form (*i.e.*, such that
$\left(Ax,Ay\right)=\left(x,y\right)$ for all
$x,y\in {C}^{n}$ ) is the complex orthogonal group
$O\left(n;C\right)$, and it is a subgroup of
$GL\left(n;C\right)$. Since there are no conjugates in the definition of the form
$\left(.,.\right)$, we have

$\left(x,Ay\right)=\left({A}^{tr}x,y\right)$

for all
$x,y\in {C}^{n}$ where on the right-hand side of the above relation, we have
${A}^{tr}$ rather than
${A}^{*}$. Repeating the arguments for the case of
$O\left(n\right)$, but now allowing complex entries in our matrices, we find that an
$n\times n$ complex matrix *A* is in
$O\left(n;C\right)$, if and only if
${A}^{tr}A=I$, that
$O\left(n;C\right)$, is a matrix Lie group, and that
$\mathrm{det}\left(A\right)=\pm 1$ for all *A* in
$O\left(n;C\right)$. Note that
$O\left(n;C\right)$ is *not* the same as the unitary group
$U\left(n\right)$.

The group
$SO\left(n;C\right)$ is defined to be the set of all *A* in
$O\left(n;C\right)$ with
$\mathrm{det}\left(A\right)=1$ and it is also a matrix Lie group.

[5] *Symplectic* *Groups *

Consider the skew-symmetric bilinear form B on ${R}^{2n}$ defined as follows

$\omega \left(x,y\right)=\underset{j=1}{\overset{n}{{\displaystyle \sum}}}\left({x}_{j}{y}_{n+j}-{x}_{n+j}{y}_{n}\right)$

The set of all
$2n\times 2n$ real matrices A which preserve
$\omega $ (*i.e.*, such that
$\omega \left(Ax,Ay\right)=\omega \left(x,y\right)$ for all
$x,y\in {R}^{2n}$ ) is the *real* *symplectic* *group*
$Sp\left(n,R\right)$, and it is a closed subgroup of
$GL\left(2n,R\right)$. (Some authors refer to the group we have just defined as
$Sp\left(2n,R\right)$ rather than
$Sp\left(n,R\right)$ If is the
$2n\times 2n$ matrix

$\Omega =\left(\begin{array}{cc}0& I\\ -I& 0\end{array}\right)$

Then

$\omega \left(x,y\right)=\langle x,\Omega y\rangle $

From this, it is not hard to show that a
$2n\times 2n$ real matrix *A* belongs to
$Sp\left(n,R\right)$ if and only if

$-\Omega {A}^{tr}\Omega ={A}^{-1}$

Taking the determinant of this identity gives
$\mathrm{det}A={\left(\mathrm{det}A\right)}^{-1}$, *i.e.*
$\mathrm{det}{\left(A\right)}^{2}=1$. This shows that
$\mathrm{det}A=\pm 1$, for all
$A\in Sp\left(n,R\right)$. In fact,
$\mathrm{det}A=1$ for all
$A\in Sp\left(n,R\right)$, although this is not obvious. One can define a bilinear form
$\omega $ on
${C}^{2n}$ by the same formula as in

$\omega \left(x,y\right)=\underset{j=1}{\overset{n}{{\displaystyle \sum}}}\left({x}_{j}{y}_{n+j}-{x}_{n+j}{y}_{n}\right)$

(with no conjugates).

Over *C*, we have the relation

$\omega \left(z,w\right)=\left(z,\Omega w\right)$

where
$\left(.,.\right)$ is the complex bilinear form in
$\left(x,y\right)={\displaystyle {\sum}_{j}{x}_{j}{y}_{j}}$. The set of
$2n\times 2n$ complex matrices which preserve this form is the *complex* *symplectic* *group*
$Sp\left(n,C\right)$. A
$2n\times 2n$ complex matrix *A* is in
$Sp\left(n,C\right)$ if and only if
$-\Omega {A}^{tr}\Omega ={A}^{-1}$ holds. (Note: This condition involves
${A}^{tr}$ *not* *A*.) Again, we can easily show that each
$A\in Sp\left(n,C\right)$. Satisfies
$\mathrm{det}A=1$ and, again, it is actually the case that
$\mathrm{det}A=1$. Finally, we have the *compact* *symplectic* *group*
$Sp\left(n\right)$ defined as

$Sp\left(n\right)=Sp\left(n,C\right)\cap U(\; 2\; n\; )$

[6]: The groups ${R}^{*},{C}^{*},{S}^{1}$ and ${R}^{n}$

The groups ${R}^{*}$ and ${C}^{*}$ under matrix multiplication are isomorphic to $GL\left(1,R\right)$ and $GL\left(1,C\right)$, respectively, and so we view them as matrix Lie groups. The group ${S}^{1}$ of complex numbers with absolute value one is isomorphic to U(1) and so we also view it as a matrix Lie group. The group ${R}^{n}$ under vector addition is isomorphic to the group of diagonal real matrices with positive diagonal entries, via the map

$\left({x}_{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdots \text{\hspace{0.17em}}\text{\hspace{0.17em}}{x}_{n}\right)\to \left(\begin{array}{ccc}{\text{e}}^{{x}_{1}}& & 0\\ \vdots & \ddots & \vdots \\ 0& & {\text{e}}^{{x}_{n}}\end{array}\right)$

One easily checks that this is a matrix Lie group and thus we view ${R}^{n}$ as a matrix Lie group as well.

Definition 2. [7] A subgroup H of a Lie group G is called a Lie subgroup if it is a Lie group (with respect to the induced group operation), and the inclusion map ${\iota}_{H}:H\to G$ is a smooth immersion (and therefore a Lie group homomorphism).

Example 8. [7] Consider
$G={T}^{2}={S}^{1}\times {S}^{1}$. Then
${S}^{1}\times \left\{0\right\}$ and
$\left\{0\right\}\times {S}^{1}$ are Lie subgroups. Moreover, for any co-prime pair of integers (*p*; *q*),

${H}^{p,q}=\left\{\left({\text{e}}^{ipt},{\text{e}}^{iqt}\right)|t\in R\right\}$

is a Lie subgroup of
${T}^{2}$. These are submanifolds as well. However, there are also many Lie subgroups of
${T}^{2}$ which are not submanifolds. In fact, for any irrational number *α*,

${H}^{\alpha}=\left\{\left({\text{e}}^{it},{\text{e}}^{i\alpha t}\right)|t\in R\right\}$

is a Lie subgroup of ${T}^{2}$. But ${\stackrel{\xaf}{H}}^{\alpha}={T}^{2}$, so they are not submanifolds.

Definition 3. A Lie subgroup *H* of *G* is said to be a *closed* *Lie* *subgroup* if *H* is both a Lie subgroup and also a submanifold of *G*.

Lemma 1 [7]. Suppose *G* is a Lie group, *H* is a subgroup of *G* which is a submanifold as well. Then *H* is closed in the sense of topology.* *

Proof. Since *H* is a submanifold of *G*, it is *locally* *closed* everywhere. In particular, one can find an open neighborhood *U* of *e* in *G* such that
$U\cap H=U\cap \stackrel{\xaf}{H}$. Now take any
$h\in \stackrel{\xaf}{H}$. Since hU is an open neighborhood of *h* in *G*,
$hU\cap H\ne \varnothing $. Let
${h}^{\prime}\in hU\cap H$, then
${h}^{-1}{h}^{\prime}\in U$. On the other hand, since
$h\in H$, there is a sequence
${h}_{n}$ in *H* converging to *h*. It follows that the sequence
${h}^{-1}{h}^{\prime}\in H$ converges to
${h}^{-1}{h}^{\prime}$.

In other words,
${h}^{-1}{h}^{\prime}\in U\cap \stackrel{\xaf}{H}$. So
$h\in H$, i.e.
$\stackrel{\xaf}{H}\subset H$. Therefore, *H* is closed.

3. Homomorphisms of Lie Groups

Lie group homomorphism

Let *G* and *H* be Lie groups. A map
$\phi :G\to H$ is called a *Lie* *group* *homomorphism* if

1) $\phi $ is a group homomorphism, and

2) $\phi $ is continuous.

Lie group isomorphism

Let *G* and *H* be Lie groups. A map
$\phi :G\to H$ is called a *Lie* *group* *isomorphism* if

1) $\phi $ is one-to-one and onto, and

2) the inverse map is ${\phi}^{-1}$ continuous.

Examples 1 [6]:

1) The map $R\to U\left(1\right)$ given by $\theta \to {\text{e}}^{i\theta}$ is a Lie group homomorphism.

2) The map $U\left(1\right)\to SO\left(2\right)$ given by

${\text{e}}^{i\theta}\to \left(\begin{array}{cc}\mathrm{cos}\theta & -\mathrm{sin}\theta \\ \mathrm{sin}\theta & \mathrm{cos}\theta \end{array}\right)$

is a Lie group isomorphism (you should check that this map is well-defined and is indeed an isomorphism).

1) Composing the previous two examples gives the Lie algebra homomorphism $R\to SO\left(2\right)$ defined by

$\theta \to \left(\begin{array}{cc}\mathrm{cos}\theta & -\mathrm{sin}\theta \\ \mathrm{sin}\theta & \mathrm{cos}\theta \end{array}\right)$

2) The determinant is a Lie group homomorphism $GL\left(n,C\right)\to {C}^{*}$.

4. Invariant Vector Fields and the Exponential Map

Definition 1. A vector field
$v\in V\left(G\right)$ is *left-invariant* if
$g\ast v=v$ for every
$g\in G$, and right-invariant if
$v\ast g=v$ for every
$g\in G$. A vector field is called bi-invariant if it is both left- and right-invariant.

Theorem 1 [8]. The map
$v\to v\left(1\right)$ (where 1 is the identity element of the group) defines an isomorphism of the vector space of left-invariant vector fields on *G* with the vector space
${T}_{e}G$, and similarly for right-invariant vector spaces.* *Proof. It suffices to prove that every
$x\in {T}_{e}G$ can be uniquely extended to a left-invariant vector field on *G*. Let us define the extension by
$v\left(g\right)=g\cdot x\in {T}_{g}G$. Then one easily sees that the so-defined vector field is left-invariant, and
$v\left(1\right)=x$. This proves the existence of an extension; uniqueness is obvious.

Definition 2. A smooth homomorphism
$\phi :\left(R,+\right)\to G$ is called *a* one parameter group subgroup of G.

Definition 3. Let *G* be a real or complex Lie group. Then the exponential map
$\mathrm{exp}:{T}_{e}G\to G$ is defined by

$\mathrm{exp}\left(x\right)={\alpha}_{x}(\; 1\; )$

where
${\alpha}_{x}\left(t\right)$ is the one-parameter subgroup with tangent vector at 1 equal to *x*.

Example 3 [3]. We return to the example of the group
$GL\left(V\right)$ with *V* a finite dimensional real linear space. Its neutral element e equals
$I={I}_{V}$. Since
$GL\left(V\right)$ is open in
$End\left(V\right)$, we have
$TeGL\left(V\right)=End\left(V\right)$. If
$x\in GL\left(V\right)$ then
${l}_{x}$ is the restriction of the linear map
${L}_{x}:A\to xA$ ;
$End\left(V\right)\to End\left(V\right)$ to
$GL\left(V\right)$ hence
${T}_{e}\left({l}_{x}\right)={L}_{x}$. Hence, the integral curve
${\alpha}_{x}$ satisfies the equation:

$\frac{\text{d}}{\text{d}t}\alpha \left(t\right)=\alpha \left(t\right)X$

Since $t\to {\text{e}}^{tX}$ is a solution to this equation with the same initial value, we must have that ${\alpha}_{X}\left(t\right)={\text{e}}^{tX}$. Thus in this case exp is the ordinary exponential map $X\to {\text{e}}^{X}$, $End\left(V\right)\to GL\left(V\right)$.

Proposition 1 [9]. The exponential map $\mathrm{exp}:{T}_{e}G\to G$ satisfies:

1) For each $X\in {T}_{e}G$, $\alpha \left(t\right)=\mathrm{exp}\left(tX\right)$ is a one parameter group with ${\alpha}^{\prime}\left(0\right)=X$.

2) The integral curve c of the left invariant vector field $X\in {T}_{e}G$ with $c\left(0\right)={T}_{e}G$ is

$c\left(t\right)={T}_{e}G\mathrm{exp}\left(tX\right)$.

3) exp is smooth with $d{\left(\mathrm{exp}\right)}_{0}=Id$.

4) *If*
$\phi :H\to G$ is a Lie group homomorphism, then
$\phi \left({\mathrm{exp}}_{H}\left(X\right)\right)={\mathrm{exp}}_{G}\left(d\phi \left(X\right)\right)$ for
$X\in h$.

5) If $H\subset G$ is a Lie subgroup then

$h=\left\{X\in {T}_{e}G|{\mathrm{exp}}_{G}\left(tX\right)\in H\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\left|t\right|<\epsilon \text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{some}\text{\hspace{0.17em}}\epsilon >0\right\}$

Proof: First observe that
${\alpha}_{X}$ is an integral curve of *X* through *e* since

$\begin{array}{c}{{\alpha}^{\prime}}_{X}\left(s\right)=\frac{\text{d}}{\text{d}t}{\left({\alpha}_{X}\left(s+t\right)\right)}_{t=0}=\frac{\text{d}}{\text{d}t}{\left({\alpha}_{X}\left(s\right){\alpha}_{X}\left(t\right)\right)}_{t=0}\\ ={T}_{e}{\left({L}_{{\alpha}_{X}\left(s\right)}\right)}_{e}\left({{\alpha}^{\prime}}_{X}\left(0\right)\right)={T}_{e}{\left({L}_{{\alpha}_{X}\left(s\right)}\right)}_{e}\left(X\right)=X({\alpha}_{X}(\; s\; ))\end{array}$

Thus
${\alpha}_{tX}\left(s\right)={\alpha}_{X}\left(ts\right)$, since, for fixed *t*, both are integral curves of *tX* through *e*. To see this for the right hand side, observe that in general if *γ*(*s*) is an integral curve of a vector field *X*, then *γ*(*ts*) is an integral curve of *tX*. Hence
$\mathrm{exp}\left(tX\right)={\alpha}_{tX}\left(1\right)={\alpha}_{X}\left(t\right)$, which implies (a). Since
${L}_{{T}_{e}G}$ takes integral curves to integral curves, (b) follows as well.

To see that exp is smooth, define a vector field *Z* on
$G\times {T}_{e}G$ by
$Z\left({T}_{e}G,X\right)=\left(X\left({T}_{e}G\right),0\right)$. *Z* is clearly smooth and by part (b), its flow is
${\gamma}_{t}\left({T}_{e}G,X\right)=\left(\mathrm{exp}\left(tX\right),X\right)$. Thus
${\gamma}_{1}\left(e,X\right)=\left(\mathrm{exp}\left(X\right),X\right)$ is smooth in *X* and hence exp is smooth as well. Finally,
$d{\left(\mathrm{exp}\right)}_{0}\left(X\right)=\frac{\text{d}}{\text{d}t}{\left(\mathrm{exp}\left(tX\right)\right)}_{t=0}=X$, which proves the second claim in (c).

To prove (d), observe that a homomorphism takes one parameter groups to one parameter groups. Thus
$\gamma \left(t\right)=\alpha \left(\mathrm{exp}\left(tX\right)\right)$ is a one parameter group with
${\gamma}^{\prime}\left(0\right)=d\alpha \left(d{\left(\mathrm{exp}\right)}_{0}\left(X\right)\right)=\alpha \left(X\right)$ and hence
$\alpha \left(t\right)=\mathrm{exp}\left(td\alpha \left(X\right)\right)$, which proves our claim by setting *t* = 1.

Part (e) follows easily by applying (d) to the inclusion of *H* in *G*.* *

Example 4.
$GL\left(n;R\right)$ and
$GL\left(n;C\right)$, the set of invertible matrices, are Lie groups. For these groups we claim that
$\mathrm{exp}\left(A\right)={\text{e}}^{A}$, which explains the name exponential map. Indeed, from the power series definition of
${\text{e}}^{A}$ it easily follows that
${\text{e}}^{\left(t+s\right)A}={\text{e}}^{tA}{\text{e}}^{sA}$, *i.e.*
$\alpha \left(t\right)={\text{e}}^{tA}$ is a one parameter group. Furthermore
${\alpha}^{\prime}\left(0\right)=A$ and hence
$\mathrm{exp}\left(A\right)=\alpha \left(1\right)={\text{e}}^{A}$.

Lemma 1 [3]: Let $\phi :G\to H$ be a homomorphism of Lie groups. Then the following diagram commutes

${\mathrm{exp}}_{G}\begin{array}{ccc}G& \stackrel{\phi}{\to}& H\\ \uparrow & & \uparrow \\ {T}_{e}G& \stackrel{{T}_{e}\phi}{\to}& {T}_{e}H\end{array}{\mathrm{exp}}_{H}$

Proof: Let
$X\in {T}_{e}G$. Then
$\alpha \left(t\right)=\phi \left({\mathrm{exp}}_{G}\left(tX\right)\right)$ is a one-parameter subgroup of *H*: Differentiating at
$t=0$ we obtain
$\stackrel{\dot{}}{\alpha}\left(0\right)={T}_{e}\left(\phi \right){T}_{0}\left({\mathrm{exp}}_{G}\right)X={T}_{e}\left(\phi \right)X$. Now apply the above lemma to conclude that
$\alpha \left(t\right)={\mathrm{exp}}_{H}\left(t{T}_{e}\left(\phi \right)X\right)$. The result follows by specializing to
$t=1$.

5. The Lie Algebra of a Lie Group

For $x\in G$ consider the conjugation map ${C}_{x}={l}_{x}\circ {r}_{{x}^{-1}}$. Since ${C}_{x}$ is a homomorphism

$Ad\left(x\right)={T}_{e}{C}_{x}$

is a Lie algebra homomorphism.

The map
$Ad:G\to GL\left({T}_{e}G\right)$ is called the *adjoint* *representation* of *G* in
${T}_{e}G$.

For
$X\in {T}_{e}G$ let
$adX:{T}_{e}G\to {T}_{e}G$ be defined by
$a{d}_{X}\left(Y\right)=\left[X,Y\right]$. The Jacobi identity is equivalent to saying that
$a{d}_{\left[X,Y\right]}=a{d}_{X}a{d}_{Y}-a{d}_{Y}a{d}_{X}=\left[a{d}_{X},a{d}_{Y}\right]$ *i.e.*

$ad:{T}_{e}G\to End\left({T}_{e}G\right)$

is defined by

$ad={T}_{e}Ad$

We note that, by the chain rule, for all $X\in {T}_{e}G$ ;

$ad\left(X\right)={\frac{\text{d}}{\text{d}t}|}_{t=0}Ad\left(\mathrm{exp}tX\right)$

Proposition [5]. If $g\to {T}_{e}G$ is a Lie algebra, then

$a{d}_{\left[X,Y\right]}=a{d}_{X}a{d}_{Y}-a{d}_{Y}a{d}_{X}=\left[a{d}_{X},a{d}_{Y}\right]$

that is, $ad:{T}_{e}G\to End\left({T}_{e}G\right)$ is a Lie algebra homomorphism.

Proof. Observe that

$a{d}_{\left[X,Y\right]}\left(Z\right)=\left[\left[X,Y\right],Z\right]$

whereas

$\left[a{d}_{X},a{d}_{Y}\right]\left(Z\right)=\left[X,\left[Y,Z\right]\right]-\left[Y,\left[X,Z\right]\right]$

Thus, we want to show that

$\left[\left[X,Y\right],Z\right]=\left[X,\left[Y,Z\right]\right]-\left[Y,\left[X,Z\right]\right]$

which is equivalent to the Jacobi identity

Lemma 1: The adjoint representation satisfies:

1) ${T}_{e}\left(Ad\left(X\right)\right)=a{d}_{X}$ or simply ${T}_{e}Ad=ad$

2) $Ad\left(\mathrm{exp}\left(X\right)\right)={\text{e}}^{a{d}_{X}}$

Proof: For part a) we see that for any $Y\in {T}_{e}G$

$\begin{array}{l}{T}_{e}\left(Ad\left(X\right)\right)\left(Y\right)={\frac{\text{d}}{\text{d}t}|}_{t=0}Ad\left(\mathrm{exp}\left(tX\right)\right)\left(Y\right)\\ {=\frac{\text{d}}{\text{d}t}|}_{t=0}{T}_{e}\left({R}_{\mathrm{exp}\left(-tX\right)}\right)\circ {T}_{e}\left({L}_{\mathrm{exp}\left(tX\right)}\right)\left(Y\right)\\ {=\frac{\text{d}}{\text{d}t}|}_{t=0}{T}_{e}\left({R}_{\mathrm{exp}\left(-tX\right)}\right)\left(Y\left(\mathrm{exp}\left(tX\right)\right)\right)\end{array}$

${L}_{X}Y=\left[X,Y\right]$

where
${L}_{X}$ is the Lie derivative. In the last passage, we used the definition of Lie derivative, and the fact that
${R}_{\mathrm{exp}\left(tX\right)}$ is the flow of *X*.

We may apply Lemma 1 with $H=GL\left({T}_{e}G\right)$ and $\phi =Ad$. Since ${T}_{e}H={T}_{I}GL\left({T}_{e}G\right)=End\left({T}_{e}G\right)$ whereas ${\mathrm{exp}}_{H}$ is given by $X\to {\text{e}}^{X}$ ; we see that the following diagram commutes:

$\mathrm{exp}\begin{array}{ccc}G& \stackrel{Ad}{\to}& GL\left({T}_{e}G\right)\\ \uparrow & & \uparrow \\ {T}_{e}G& \stackrel{ad}{\to}& End\left({T}_{e}G\right)\end{array}{\text{e}}^{(\; .\; )}$

Example 1. [3] Let *V* be finite dimensional real linear space. Then for
$x\in GL\left(V\right)$ the linear map
$Ad\left(x\right):End\left(V\right)\to End\left(V\right)$ is given by
$Ad\left(x\right)Y=xY{x}^{1}$ : Substituting
$x={\text{e}}^{tX}$ and differentiating the resulting expression with respect to *t* at
$t=0$ we obtain:

$\left(adX\right)Y={\frac{\text{d}}{\text{d}t}\left[{\text{e}}^{tX}Y{\text{e}}^{-tX}\right]|}_{t=0}=XY-YX$

Hence in this case.
$\left(adX\right)Y$ is the commutator bracket of *X* and *Y*.

Definition 3. For
$X,Y\in {T}_{e}G$ we define the *Lie* *bracket*
$\left[X,Y\right]\in {T}_{e}G$ by

$\left[X,Y\right]=\left(adX\right)Y$

Example 2. Let *X* and *Y* be
$n\times n$ matrices. Show by induction that

${\left(a{d}_{X}\right)}^{m}\left(Y\right)=\underset{i=0}{\overset{m}{{\displaystyle \sum}}}\left(\begin{array}{c}m\\ i\end{array}\right){X}^{i}Y{\left(-X\right)}^{m-i}$

where

${\left(a{d}_{X}\right)}^{m}\left(Y\right)=\left[\underset{m}{\underset{\ufe38}{X,\cdots \left[X,\left[X,Y\right]\right]\cdots}}\right]$

Now, show by direct computation that

${\text{e}}^{a{d}_{X}}\left(Y\right)=A{d}_{e}x\left(Y\right)={\text{e}}^{X}Y{\text{e}}^{-X}$

Lemma 1. [3] Let $\phi :G\to H$ be a homomorphism of Lie groups. Then the following diagram commutes:

${T}_{e}\phi \left({\left[X,Y\right]}_{G}\right)={\left[{T}_{e}\phi X,{T}_{e}\phi Y,\right]}_{H}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(X,Y\in {T}_{e}G\right)$

Proof: One readily verifies that
$\phi \circ {C}_{x}^{G}={C}_{\phi \left(x\right)}^{H}\circ \phi $. Taking the tangent map of both sides of this equation at *e*, we obtain that the following diagram commutes:

$A{d}_{G}\left(x\right)\begin{array}{ccc}{T}_{e}G& \stackrel{{T}_{e}\phi}{\to}& {T}_{e}H\\ \uparrow & & \uparrow \\ {T}_{e}G& \stackrel{{T}_{e}\phi}{\to}& {T}_{e}H\end{array}A{d}_{H}\left(\phi (\; x\; )\right)$

Differentiating once more at *x* *D* *e*; in the direction of
$X\in {T}_{e}G$ ; we obtain that the following diagram commutes:

$a{d}_{G}\left(X\right)\begin{array}{ccc}{T}_{e}G& \stackrel{{T}_{e}\phi}{\to}& {T}_{e}H\\ \uparrow & & \uparrow \\ {T}_{e}G& \stackrel{{T}_{e}\phi}{\to}& {T}_{e}H\end{array}a{d}_{H}\left({T}_{e}\phi X\right)$

We now agree to write $\left[X,Y\right]=\left(adX\right)Y$.

6. The Future Perspective of This Paper

The future perspective of this paper is that since this is a work of a general nature, it is necessary to extract the most important things from it. It is possible to do a paper for each of the titles in the paper. Each of the titles creates an opportunity for research because from each title there are many opportunities to explore and write. It is my future to work on comparing many facts and the application of leftist groups in everyday life. To give a glimpse of a better tomorrow of this beautiful science called both left groups and left algebras and their close connection to other mathematical disciplines primarily thinking of linear algebra, geometry, analysis and topology. Comparing all these disciplines with the left groups, we see a close connection and the need to apply and use them in the right way.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

[1] |
Bellamy, G. (2016) Lie Groups, Lie Algebras, and Their Representations. http://www.maths.gla.ac.uk/~gbellamy/lie.pdf |

[2] |
Renee, A. (2017) An Introduction to Lie Algebra. Talley California State University, San Bernardino. https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=1668&context=etd |

[3] |
Van den Ban, E.P. (2010) Lie Groups, Lecture Notes. https://webspace.science.uu.nl/~ban00101/lecnotes/lie2010.pdf |

[4] |
Study Document—Trinity College Dublin (2015) Linear Groups. https://www.maths.tcd.ie/pub/coursework/424/GpReps-IV.pdf |

[5] | Hall, B.C. (2015) Lie Groups, Lie Algebras, and Representations. Department of Mathematics, University of Notre Dame, Notre Dame, USA. |

[6] |
Savage, A. (2015) Introduction to Lie Groups. Department of Mathematics and Statistics University of Ottawa, Ottawa. https://alistairsavage.ca/mat4144/notes/MAT4144-5158-LieGroups.pdf |

[7] |
Wang, Z.Q. (2010) Lie Subgroups v.s. Lie Subalgebras. http://staff.ustc.edu.cn/~wangzuoq/Courses/13F-Lie/Notes/Lec%2010.pdf |

[8] |
Kirillovan Jr., A. (2008) Introduction to Lie Groups and Lie Algebras. Cambridge University Press, Cambridge. http://www.cambridge.org/9780521889698 http://www.cambridge.org |

[9] |
Ziller, W. (2010) Lie Groups. Representation Theory and Symmetric Spaces. University of Pennsylvania, Philadelphia. https://www.math.upenn.edu/~wziller/math650/LieGroupsReps.pdf |

Journals Menu

Contact us

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2022 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.