# On category of Lie algebras

P. G. Romeo and Arjun. S. N  Dept. of Mathematics, Cochin University of
Science and Technology, Kochi, Kerala, INDIA.
$romeo_{-}parackal<EMAIL_ADDRESS>
###### Abstract.

In this paper we describe the the category of Lie algebras of group algebras
and the category of Plesken Lie algebras and explore the catgorical relations
between them. Further we provide the examples of the Lie algebra of the group
algebra of subgroups of Heisenburg group and the Plesken Lie algebra of
subgroups of Heisenburg group.

###### Key words and phrases:

Lie algebra, Plesken Lie algebra, Group algebra, Category, Functor.

###### 1991 Mathematics Subject Classification:

20M10

##  1\. INTRODUCTION

The concept of Lie algebras was introduced by Sophus Lie to solve problems in
Lie groups with some ease. Here we introduce some class of Lie algebras like
Lie algebras of group algebras and Plesken Lie algebras of groups. In recent
times category theory established itself as a practical tool in dealing with
mathematical structures. In particular a categorical approach enables to
extract more insight into the interactions between Lie groups and Lie
algebras. Here we discuss the category of some class of Lie algebras,
functorial relation that exists between them with some examples.

##  2\. PRELIMINARIES

In the following we briefly recall all basic definitions and the elementary
concepts needed in the sequel. In particular we recall the definitions of Lie
algebra, group algebra, Plesken Lie algebra, categories, functors and
discusses some interesting properties of these structures.

######  Definition 1.

(cf.[5]) A category ${\mathcal{C}}$ consists of the following data$:$

  1. (1)

A class called the class of vertices or objects $\nu{\mathcal{C}}.$

  2. (2)

A class of disjoint sets ${\mathcal{C}}(a,b)$ one for each pair
$(a,b)\in\nu{\mathcal{C}}\times\nu{\mathcal{C}}.$ An element
$f\in{\mathcal{C}}$ is called a morphism from $a$ to $b,$ written
$f:a\rightarrow b$ ; $a=dom\;f$ called the domain of $f$ and $b=cod\;f$ called
the codomain of $f.$

  3. (3)

For $a,b,c,\in\nu{\mathcal{C}},$ a map
$\circ:{\mathcal{C}}(a,b)\times{\mathcal{C}}(b,c)\rightarrow{\mathcal{C}}(a,c)\hskip
40.0pt(f,g)\rightarrow g\circ f$
$\circ$ is called the $composition$ of morphisms in ${\mathcal{C}}.$

  4. (4)

for each $a\in\nu{\mathcal{C}}$, a unique $1_{a}\in{\mathcal{C}}(a,a)$ is
called the identity morphism on $a.$

These must satisfy the following axioms :

  * •

(cat1) The composition is associative : for
$f\in{\mathcal{C}}(a,b),g\in{\mathcal{C}}(b,c)\;and\;h\in{\mathcal{C}}(c,d),$
we have

$f\circ(g\circ h)=(f\circ g)\circ h$

  * •

(cat 2) for each
$a\in\nu{\mathcal{C}},f\in{\mathcal{C}}\;(a,b)\;and\;g\in{\mathcal{C}}(c,a),$

$1_{a}\circ f=f\qquad and\qquad g\circ 1_{a}=g$

.

Clearly $\nu\mathcal{C}$ can be identify as a subclass of $\mathcal{C}$ and
with this identification it is possible to regard categories in terms of
morphisms alone. The category $\mathcal{C}$ is said to be small if the class
$\mathcal{C}$ is a set. A morphism $f\in\mathcal{C}(a,b)$ is said to be an
isomorphism if there exists $f^{-1}\in\mathcal{C}(b,a)$ such that
$ff^{-1}=1_{a}=e_{a},$ domain identity and $f^{-1}f=1_{b}=f_{b},$ range
identity.

######  Example 1.

A group $G$ can be regarded as a category $\mathcal{C}$ with the object set of
$\mathcal{C}$ say $\nu C={G}$, and morphisms $\mathcal{C}(G,G)=G$ and
composition in $\mathcal{C}$ is the binary operation in $G.$ Identity element
in the group will be the identity morphism on the vertex $G.$

######  Definition 2.

[1] For categories $\mathcal{C}$ and $\mathcal{D}$ a functor
$T:\mathcal{C}\rightarrow\mathcal{D}$ with domain $\mathcal{C}$ and codomain
$\mathcal{D}$ consists of two functions: the object function $T$, which
assigns to each object $c$ of $\mathcal{C}$ an object $Tc$ of $\mathcal{D}$
and the arrow function which assigns to each arrow $f:c\rightarrow c^{\prime}$
of $\mathcal{C}$ an arrow $Tf:Tc\rightarrow Tc^{\prime}$ of $\mathcal{D}$, in
such a way that $T(1_{c})=1_{Tc}$ and $T(g\circ f)=Tg\circ Tf$.

######  Definition 3.

[3] A vector space $L$ over a field $\mathbb{F}$, with an operation $L\times
L\rightarrow L$, denoted by $(x,y)\mapsto[x,y]$ for $x$ and $y$ in $L$ and
satisfying the following axioms:

  1. (1)

The bracket operation is bilinear. For $x,y,z\in L,a,b\in\mathbb{F}$

$[ax+by,z]=a[x,z]+b[y,z]$

$[x,ay+bz]=a[x,y]+b[x,z]$

  2. (2)

$[x,x]=0$ for all $x\in L$

  3. (3)

Jacobi identitiy :
$[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0$ for all $x,y,z\in L$

is called a bracket product and $(L,[.,.])$ is called a Lie algebra over
$\mathbb{F}$.

######  Example 2.

$End(V)$, the set of all linear transformations on a finite dimensional vector
space V over a field $\mathbb{F}$ is a Lie algebra with Lie bracket $[x,y]=xy-
yx$ for $x,y\in End(V)$.

A subspace $K$ of a Lie algebra $L$ is called a Lie subalgebra if $[x,y]\in K$
whenever $x,y\in K$.

######  Definition 4.

Let $G$ be a group and let $\mathbb{F}$ be $\mathbb{R}$ or $\mathbb{C}$.
Define a vector space over $\mathbb{F}$ with elements of $G$ as a basis, and
denote it by $\mathbb{F}G$.That is;
$\mathbb{F}G=\\{\displaystyle\sum_{i}a_{i}g_{i}:a_{i}\in\mathbb{F}\ \text{for
all i}\\}$.The addition and scalar multiplication in $\mathbb{F}G$ are defined
by; for

$\alpha=\displaystyle\sum_{i=0}a_{i}g_{i}\ \text{and}\
\beta=\displaystyle\sum_{i=0}b_{i}g_{i}$

in $\mathbb{F}G$ and $k\in\mathbb{F}$,

${\alpha}+\beta=\displaystyle\sum_{i}(a_{i}+b_{i})g_{i}$ and
$k\alpha=\displaystyle\sum_{i}(ka_{i})g_{i}$

The vector space $\mathbb{F}G$, with multiplication defined by

$\begin{pmatrix}\displaystyle\sum_{i}a_{i}g_{i}\end{pmatrix}\begin{pmatrix}\displaystyle\sum_{j}b_{j}g_{j}\end{pmatrix}=\displaystyle\sum_{i,j}a_{i}b_{j}(g_{i}g_{j}),\
\indent a_{i},b_{j}\in\mathbb{F}$

is called the group algebra of $G$ over $\mathbb{F}$.

The group algebra of a finite group $G$ is a vector space of dimension $|G|$
which also carries extra structure involving the the product operation on $G$.

######  Example 3.

$G=C_{3}=\ <a:a^{3}=e>$ where e is the identity in $G$. Then

$\mathbb{C}G=\\{\lambda_{1}e+\lambda_{2}a+\lambda_{3}a^{2}:\lambda_{i}\in\mathbb{C}\
\text{for}\ i=1,2,3\\}$

$\mathbb{C}G$ is a group algebra with usual addition and multiplication of
series.

##  3\. Lie algebras of group algebras and Plesken Lie algebras

Let $\mathbb{F}G$ be a group algebra over $\mathbb{F}$. Then $\mathbb{F}G$ can
be regarded as a Lie algebra by defining the Lie bracket $[\ ,\
]:\mathbb{F}G\times\mathbb{F}G\rightarrow\mathbb{F}G$ as follows :

$[\alpha,\beta]=\alpha\beta-\beta\alpha$ for
$\alpha=\displaystyle\sum_{i}a_{i}g_{i}\ \text{and}\
\beta=\displaystyle\sum_{i}b_{i}g_{i}$ in $\mathbb{F}G$

Clearly $\mathbb{F}G$ is a Lie algebra with respect to the given Lie bracket
and is called the Lie algebra of the group algebra $\mathbb{F}G$ and we denote
it by $L_{\mathbb{F}G}$.
A linear map between $L_{\mathbb{F}G}$ and $L_{\mathbb{F}H}$ which preserves
the Lie bracket is a homomorphism of Lie algebras of group algebras.

######  Proposition 1.

Let $f:G\rightarrow H$ be a group homomorphism. Then
$\bar{f}:L_{\mathbb{F}G}\rightarrow L_{\mathbb{F}H}$ defined by

$\bar{f}(\alpha)=\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$

is a homomorphism between Lie algebras of group algebras.

###### Proof.

Let $G=\\{g_{1},g_{2},g_{3}...,\\}$ and
$L_{\mathbb{F}G}=\\{\displaystyle\sum_{i}a_{i}g_{i}:a_{i}\in\mathbb{F}\
\text{for all i}\\}$. Then for
$\alpha=\displaystyle\sum_{i}a_{i}g_{i},\beta=\displaystyle\sum_{j}b_{j}g_{j}\in
L_{\mathbb{F}G}$,

$\begin{split}\bar{f}([\alpha,\beta])&=\bar{f}(\alpha\beta-\beta\alpha)\\\
&=\bar{f}(\displaystyle\sum_{i}a_{i}g_{i}\displaystyle\sum_{j}b_{j}g_{j}-\displaystyle\sum_{j}b_{j}g_{j}\displaystyle\sum_{i}a_{i}g_{i})\\\
&=\bar{f}(\displaystyle\sum_{i,j}a_{i}b_{j}g_{i}g_{j}-\displaystyle\sum_{j,i}b_{j}a_{i}g_{j}g_{i})\\\
&=\displaystyle\sum_{i,j}a_{i}b_{j}f(g_{i}g_{j})-\displaystyle\sum_{j,i}b_{j}a_{i}f(g_{j}g_{i})\\\
&=\displaystyle\sum_{i,j}a_{i}b_{j}f(g_{i})f(g_{j})-\displaystyle\sum_{j,i}b_{j}a_{i}f(g_{j})f(g_{i})\\\
&=\displaystyle\sum_{i}a_{i}f(g_{i})\displaystyle\sum_{j}b_{j}f(g_{j})-\displaystyle\sum_{j}b_{j}f(g_{j})\displaystyle\sum_{i}a_{i}f(g_{i})\\\
&=[\bar{f}(\alpha),\bar{f}(\beta)]\end{split}$

Hence, $\bar{f}$ is a homomorphism between Lie algebras of group algebras. ∎

Next we proceed to describe Plesken Lie algebra. Let $G$ be a group and
$\mathbb{F}G$ be its group algebra over $\mathbb{F}$, then for each $g\in G$,
$g-g^{-1}\in\mathbb{F}G$, denote it by $\hat{g}$, then the linear span of
$\hat{g}$ admits a Lie algebra structure as expailned below.

######  Definition 5.

[2] Plesken Lie algebra $\mathcal{L}(G)$ of a group $G$ over $\mathbb{F}$ is
the linear span of elements $\hat{g}\in\mathbb{F}G$ together with the Lie
bracket

$[\hat{g},\hat{h}]=\hat{g}\hat{h}-\hat{h}\hat{g}$

That is, for any group $G=\\{g_{1},g_{2},g_{3},...\\}$,
$\\{\displaystyle\sum_{i}{a_{i}}\hat{g_{i}}:a_{i}\in\mathbb{F}\ \text{for all
i}\\}$ together with the Lie bracket defined above is the Plesken Lie algebra
$\mathcal{L}(G)$.

######  Lemma 1.

The Plesken Lie algebra $\mathcal{L}(G)$ over $\mathbb{F}$ is a Lie subalgebra
of the Lie algebra $L_{\mathbb{F}G}$.

###### Proof.

Let $G=\\{g_{1},g_{2},g_{3},...\\}$ be a group. Then the Lie algebra of the
group algebra $\mathbb{F}G$ is
$L_{\mathbb{F}G}=\\{\displaystyle\sum_{i}{\lambda_{i}}{g_{i}}:a_{i}\in\mathbb{F}\
\text{for all i}\\}$ and the Plesken Lie algebra is
$\mathcal{L}(G)=\\{\displaystyle\sum_{i}{a_{i}}\hat{g_{i}}:a_{i}\in\mathbb{F}\
\text{for all i}\\}$. Since $\mathcal{L}(G)$ is the linear span of $\hat{g}$
and $\hat{g}\in L_{\mathbb{F}G}$, $\mathcal{L}(G)$ is a subset of
$L_{\mathbb{F}G}$.
Let $\hat{\alpha}=\displaystyle\sum_{i}{a_{i}}\hat{g_{i}}\ \text{and}\
\hat{\beta}=\displaystyle\sum_{i}{b_{i}}\hat{g_{i}}$ in $\mathcal{L}(G)$,

$\begin{split}\hat{\alpha}+\hat{\beta}&=\displaystyle\sum_{i}{a_{i}}\hat{g_{i}}+\displaystyle\sum_{i}{b_{i}}\hat{g_{i}}\\\
&=\displaystyle\sum_{i}({a_{i}}+{b_{i}})\hat{g_{i}}\in\mathcal{L}(G)\end{split}$

and
$k(\hat{\alpha})=k\displaystyle\sum_{i}{a_{i}}\hat{g_{i}}=\displaystyle\sum_{i}(k{a_{i}})\hat{g_{i}}\in\mathcal{L}(G)$.
Thus, $\mathcal{L}(G)$ is a subspace of $L_{\mathbb{F}G}$.
Let $\hat{g},\hat{h}\in\mathcal{L}(G)$, then

$\begin{split}[\hat{g},\hat{h}]&=\hat{g}\hat{h}-\hat{h}\hat{g}\\\
&=(g-g^{-1})(h-h^{-1})-(h-h^{-1})(g-g^{-1})\\\
&=\widehat{gh}-\widehat{gh^{-1}}-\widehat{g^{-1}h}+\widehat{g^{-1}h^{-1}}\end{split}$

Thus Lie bracket is closed in $\mathcal{L}(G)$. Hence, $\mathcal{L}(G)$ is a
Lie subalgebra of $L_{\mathbb{F}G}$. ∎

######  Example 4.

Consider the symmetric group $S_{3}$, then

$\begin{split}L(S_{3})&=\text{span}\\{\sigma-{\sigma}^{-1}:\sigma\in
S_{3}\\}\\\ &=\\{a_{1}((1)-(1))+a_{2}((1\ 2)-(1\ 2))+a_{3}((1\ 3)-(1\
3))++a_{4}((2\ 3)-(2\ 3))\\\ &\ \indent\quad+a_{5}((1\ 2\ 3)-(1\ 3\
2))+a_{6}((1\ 3\ 2)-(1\ 2\ 3)):a_{i}\in\mathbb{C}\\}\\\ &=\\{a((1\ 2\ 3)-(1\
3\ 2)):a\in\mathbb{C}\\}\end{split}$

is a one dimensional Plesken Lie algebra over $\mathbb{C}$ with Lie bracket

$[a\widehat{(1\ 2\ 3)},b\widehat{(1\ 2\ 3)}]=0$

A linear map between two Plesken Lie algebras $\mathcal{L}(G)$ and
$\mathcal{L}(H)$ is a Plesken Lie algebra homomorphism if it preserves the Lie
bracket.

######  Proposition 2.

Let $f:G\rightarrow H$ be a group homomorphism. Then
$\hat{f}:\mathcal{L}(G)\rightarrow\mathcal{L}(H)$ defined by

$\hat{f}(\displaystyle\sum_{i}a_{i}\hat{g_{i}})=\displaystyle\sum_{i}a_{i}\widehat{f(g_{i})}$

is a Plesken Lie algebra homomorphism.

###### Proof.

For
$\displaystyle\sum_{i}a_{i}\hat{g_{i}},\displaystyle\sum_{i}b_{i}\hat{g_{i}}\in\mathcal{L}(G)$
and $k\in\mathbb{F}$,

$\begin{split}\hat{f}(\displaystyle\sum_{i}a_{i}\hat{g_{i}}+k\displaystyle\sum_{i}b_{i}\hat{g_{i}})&=\hat{f}(\displaystyle\sum_{i}(a_{i}+kb_{i})\hat{g_{i}})\\\
&=\displaystyle\sum_{i}(a_{i}+kb_{i})\widehat{f(g_{i})}\\\
&=\hat{f}(\displaystyle\sum_{i}a_{i}\hat{g_{i}})+k\hat{f}(\displaystyle\sum_{i}b_{i}\hat{g_{i}})\end{split}$

thus $\hat{f}$ is linear.

For
$\displaystyle\sum_{i}a_{i}\hat{g_{i}},\displaystyle\sum_{j}b_{j}\hat{g_{j}}\in\mathcal{L}(G)$,

$\begin{split}\hat{f}([\displaystyle\sum_{i}a_{i}\hat{g_{i}},\displaystyle\sum_{j}b_{j}\hat{g_{j}}])&=\hat{f}(\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{g_{i}g_{j}}-\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{g_{i}{g_{j}}^{-1}}\\\
&\hskip
10.84006pt-\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{{g_{i}}^{-1}g_{j}}+\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{{g_{i}}^{-1}{g_{j}}^{-1}})\\\
&=\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{f(g_{i})f(g_{j})}-\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{f(g_{i})f({g_{j}}^{-1})}\\\
&\hskip
10.84006pt-\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{f({g_{i}}^{-1})f(g_{j})}+\displaystyle\sum_{i,j}(a_{i}b_{j}-b_{i}a_{j})\widehat{f({g_{i}}^{-1})f({g_{j}}^{-1})}\\\
&=[\displaystyle\sum_{i}a_{i}\widehat{f(g_{i})},\displaystyle\sum_{j}a_{j}\widehat{f(g_{j})}]\end{split}$

Hence $\hat{f}$ preserves Lie bracket and is a Plesken Lie algebra
homomorphism. ∎

##  4\. CATEGORY OF LIE ALGEBRAS

Here we describe the category of Lie algebras over $\mathbb{F}$ whose objects
are Lie algebras over $\mathbb{F}$ and morphisms Lie algebra homomorphisms.
Let $L$ and $L^{\prime}$ be two Lie algebras over a field $\mathbb{F}$. If $f$
and $g$ are two morphisms, then $f\circ g$ exists only when $f\in
hom(L,L^{\prime})$ and $g\in hom(L^{\prime},L^{\prime\prime})$. Also the
identity in $hom(L,L)$ is the morphism $1_{L}$.

######  Example 5.

Consider a group $G$ and all its subgroups $H_{i}$. The group algebras
$\mathbb{F}H_{i}$ of each subgroup $H_{i}$ of $G$ together with a Lie bracket
$[x,y]=xy-yx$ for
$x=\displaystyle\sum_{i}a_{i}h_{i},y=\displaystyle\sum_{j}b_{j}h_{j}\in\mathbb{F}H_{i}$
is the Lie algebra $L_{\mathbb{F}H_{i}}$. The collection of all such Lie
algebras of group algebras of subgroups of $G$ form the category
$L_{\mathbb{F}G}$ whose morphisms are {
$\bar{f}_{ij}:L_{\mathbb{F}H_{i}}\rightarrow
L_{\mathbb{F}H_{j}}|\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$
where $f:H_{i}\rightarrow H_{j}$ is the group homomorphism }.

######  Example 6.

Consider the Heisenberg group $H(\mathbb{R})=\\{\begin{pmatrix}1&a&b\\\
0&1&c\\\ 0&0&1\end{pmatrix}:a,b,c\in\mathbb{R}\\}$ and its non-isomorphic
subgroups :

$\begin{split}H_{1}&=\\{I_{3\times 3},\text{ \ the idenity matrix \
}\\},H_{2}=\\{\begin{pmatrix}1&0&b\\\ 0&1&0\\\
0&0&1\end{pmatrix}:b\in\mathbb{R}\\}\\\ H_{3}&=\\{\begin{pmatrix}1&0&b\\\
0&1&c\\\ 0&0&1\end{pmatrix}:b,c\in\mathbb{R}\\},\
H_{4}=H(\mathbb{R})\end{split}$

The group algebras $\mathbb{F}H_{i}$ over $\mathbb{F}$ of each subgroups
$H_{i}$ of $H(\mathbb{R})$ together with a Lie bracket $[X,Y]=XY-YX$ where
$X=\displaystyle\sum_{i}\lambda_{i}A_{i},Y=\displaystyle\sum_{i}\mu_{i}B_{i}\in\mathbb{F}H_{i}$
is the Lie algebra $L_{\mathbb{F}H_{i}}$ of the group algebra
$\mathbb{F}H_{i}$. Consider $L_{\mathbb{F}H(\mathbb{R})}$ whose objects are

$\begin{split}L_{\mathbb{F}H_{1}}&=\\{\lambda I:\lambda\in\mathbb{F}\\}=\text{
\ the Lie algebra of scalar matrices \ }\\\
L_{\mathbb{F}H_{2}}&=\\{\displaystyle\sum_{i}\lambda_{i}A_{i}:A_{i}\in
H_{2},\lambda_{i}\in\mathbb{F}\\}=\\{\begin{pmatrix}\displaystyle\sum_{i}\lambda_{i}&0&\displaystyle\sum_{i}\lambda_{i}b_{i}\\\
0&\displaystyle\sum_{i}\lambda_{i}&0\\\
0&0&\displaystyle\sum_{i}\lambda_{i}\end{pmatrix}\\}\\\
L_{\mathbb{F}H_{3}}&=\\{\displaystyle\sum_{i}\lambda_{i}A_{i}:A_{i}\in
H_{3},\lambda_{i}\in\mathbb{F}\\}=\\{\begin{pmatrix}\displaystyle\sum_{i}\lambda_{i}&0&\displaystyle\sum_{i}\lambda_{i}b_{i}\\\
0&\displaystyle\sum_{i}\lambda_{i}&\displaystyle\sum_{i}\lambda_{i}c_{i}\\\
0&0&\displaystyle\sum_{i}\lambda_{i}\end{pmatrix}\\}\\\ \end{split}$
$\begin{split}L_{\mathbb{F}H_{4}}&=\\{\displaystyle\sum_{i}\lambda_{i}A_{i}:A_{i}\in
H_{4},\lambda_{i}\in\mathbb{F}\\}=\\{\begin{pmatrix}\displaystyle\sum_{i}\lambda_{i}&\displaystyle\sum_{i}\lambda_{i}a_{i}&\displaystyle\sum_{i}\lambda_{i}b_{i}\\\
0&\displaystyle\sum_{i}\lambda_{i}&\displaystyle\sum_{i}\lambda_{i}c_{i}\\\
0&0&\displaystyle\sum_{i}\lambda_{i}\end{pmatrix}\\}\\\ \end{split}$

and morphisms :
hom($L_{\mathbb{F}H_{i}},L_{\mathbb{F}H_{j}})=\\{\bar{f}_{ij}:L_{\mathbb{F}H_{i}}\rightarrow
L_{\mathbb{F}H_{j}}|\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$
where $f:H_{i}\rightarrow H_{j}$ is the group homomorphism } is the category
$L_{\mathbb{F}(H(\mathbb{R}))}$ of Lie algebras of the group algebras of
subgroups of $H(\mathbb{R})$.

Next we consider the category whose objects are Plesken Lie algebras
$\mathcal{L}(G)$ over a field $\mathbb{F}$ and morphisms are Plesken Lie
algebra homomorphisms which we denote it by $\mathcal{C}_{PLG}$.

######  Example 7.

Consider the Heisenberg group $H(\mathbb{R})=\\{\begin{pmatrix}1&a&b\\\
0&1&c\\\ 0&0&1\end{pmatrix}:a,b,c\in\mathbb{R}\\}$ and its non-isomorphic
subgroups $H_{1},H_{2},H_{3}$ and $H_{4}$ as given in Example.6. For each
$A=\begin{pmatrix}1&a&b\\\ 0&1&c\\\ 0&0&1\end{pmatrix}\in H_{i}$,

$\begin{split}\hat{A}&=A-A^{-1}=\begin{pmatrix}1&a&b\\\ 0&1&c\\\
0&0&1\end{pmatrix}-\begin{pmatrix}1&-a&ac-b\\\ 0&1&-c\\\
0&0&1\end{pmatrix}=\begin{pmatrix}0&2a&2b-ac\\\ 0&0&2c\\\
0&0&0\end{pmatrix}\end{split}$

Thus
$\mathcal{L}(H_{i})=\\{\displaystyle\sum_{i}\lambda_{i}\hat{A_{i}}:A_{i}\in
H_{i},\lambda_{i}\in\mathbb{F}\\}$ and so

$\begin{split}\mathcal{L}(H_{1})&=\\{0\\},\
\indent\mathcal{L}(H_{2})=\\{\begin{pmatrix}0&0&2\displaystyle\sum_{i}\lambda_{i}b_{i}\\\
0&0&0\\\ 0&0&0\end{pmatrix}\\}\\\
\mathcal{L}(H_{3})&=\\{\begin{pmatrix}0&0&2\displaystyle\sum_{i}\lambda_{i}b_{i}\\\
0&0&2\displaystyle\sum_{i}\lambda_{i}c_{i}\\\
0&0&0\end{pmatrix}\\},\mathcal{L}(H_{4})=\\{\begin{pmatrix}0&2\displaystyle\sum_{i}\lambda_{i}a_{i}&\displaystyle\sum_{i}\lambda_{i}(2b_{i}-a_{i}c_{i})\\\
0&0&2\displaystyle\sum_{i}\lambda_{i}c_{i}\\\ 0&0&0\end{pmatrix}\\}\\\
\end{split}$

The category whose objects are $\mathcal{L}(H_{i}),i=1,2,3,4$ and morphisms
are
$hom(\mathcal{L}(H_{i}),\mathcal{L}(H_{j}))=\\{\hat{f}:\mathcal{L}(H_{i})\rightarrow\mathcal{L}(H_{j})\
|\
\hat{f}(\displaystyle\sum_{i}\lambda_{i}\hat{A_{i}})=\displaystyle\sum_{i}\lambda_{i}\widehat{f(A_{i})}$
where $f:H_{i}\rightarrow H_{j}$ is the group homomorphism } is the category
of Plesken Lie algebras of subgroups of $H(\mathbb{R})$.

######  Theorem 1.

If $L_{\mathbb{F}G}$ is the category of Lie algebras of group algebras and
$\mathcal{C}_{PLG}$ is the category of Plesken Lie algebras, then there exists
a functor from $L_{\mathbb{F}G}$ to $\mathcal{C}_{PLG}$.

###### Proof.

Define $T:L_{\mathbb{F}G}\rightarrow\mathcal{C}_{PLG}$ such that $\nu
T:L_{\mathbb{F}G_{i}}\rightarrow\mathcal{L}(G_{i})$ is defined by

$\nu
T(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1})$

and on morphisms, for a group homomorphism $f:G_{i}\rightarrow G_{j}$,
$\bar{f}:L_{\mathbb{F}G_{i}}\rightarrow L_{\mathbb{F}G_{j}}$ is given by

$\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$

and $T\bar{f}:T(L_{\mathbb{F}G_{i}})\rightarrow T(L_{\mathbb{F}G_{j}})$ is
defined by

$T\bar{f}=\hat{f}$

and $\hat{f}:\mathcal{L}(G_{i})\rightarrow\mathcal{L}(G_{j})$ is given by

$\hat{f}(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(f(g_{i})-f({g_{i}})^{-1})$

where $\hat{f}$ is a Plesken Lie algebra homomorphism ( Proposition 2).
Let $\bar{f_{1}}:L_{\mathbb{F}G_{i}}\rightarrow L_{\mathbb{F}G_{j}}$ and
$\bar{f_{2}}:L_{\mathbb{F}G_{j}}\rightarrow L_{\mathbb{F}G_{k}}$ be two
homomorphisms between Lie algebras of group algebras which are induced from
the group homomorphisms $f_{1}:G_{i}\rightarrow G_{j}$ and
$f_{2}:G_{j}\rightarrow G_{k}$. Then
$T(\bar{f_{1}}):T(L_{\mathbb{F}G_{i}})\rightarrow T(L_{\mathbb{F}G_{j}})$ and
$T(\bar{f_{2}}):T(L_{\mathbb{F}G_{j}})\rightarrow T(L_{\mathbb{F}G_{k}})$ are
Plesken Lie algebra homomorphisms. Then their composition $T(\bar{f_{2}})\circ
T(\bar{f_{1}}):T(L_{\mathbb{F}G_{i}})\rightarrow T(L_{\mathbb{F}G_{k}})$ is
also a Plesken Lie algebra homomorphism. Moreover,

(1) $\begin{split}(T(\bar{f_{2}})\circ
T(\bar{f_{1}}))(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))&=(\hat{f_{2}}\circ\hat{f_{1}})(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1})))\\\
&=\hat{f_{2}}(\displaystyle\sum_{i=1}(a_{i}-a_{i}^{\prime})(f_{1}(g_{i})-f_{1}({g_{i}}^{-1})))\\\
&=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})((f_{2}\circ
f_{1})(g_{i})-((f_{2}\circ f_{1})(g_{i}))^{-1})\end{split}$

and

(2)
$\begin{split}T(\bar{f_{2}}\circ\bar{f_{1}})(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))&=(\widehat{f_{2}\circ
f_{1}})(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))\\\
&=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})((f_{2}\circ
f_{1})(g_{i})-((f_{2}\circ f_{1})(g_{i}))^{-1})\end{split}$

$(1)$ and $(2)$ shows that $T(\bar{f_{2}}\circ\bar{f_{1}})=T(\bar{f_{2}})\circ
T(\bar{f_{1}})$.
The identity Lie algebra homomorphism,
$1_{L_{\mathbb{F}G_{i}}}:L_{\mathbb{F}G_{i}}\rightarrow L_{\mathbb{F}G_{i}}$
is induced from the identity group homomorphism $1_{G_{i}}:G_{i}\rightarrow
G_{i}$. Then $T(1_{L_{\mathbb{F}G_{i}}}):T(L_{\mathbb{F}G_{i}})\rightarrow
T(L_{\mathbb{F}G_{i}})$ is a Plesken Lie algebra homomorphism and

$\begin{split}T(1_{L_{\mathbb{F}G_{i}}})(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))&=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(1_{G_{i}}(g_{i})-(1_{G_{i}}({g_{i}}))^{-1})\\\
&=\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1})\\\
&=1_{T(L_{\mathbb{F}G_{i}})}(\displaystyle\sum_{i}(a_{i}-a_{i}^{\prime})(g_{i}-{g_{i}}^{-1}))\end{split}$

That is, $T(1_{L_{\mathbb{F}G_{i}}})=1_{T(L_{\mathbb{F}G_{i}})}$, hence $T$ is
a functor.

∎

######  Corollary 1.

The functor $T:L_{\mathbb{F}G}\rightarrow\mathcal{C}_{PLG}$ in Theorem 1 is a
full functor.

###### Proof.

For the functor $T:L_{\mathbb{F}G}\rightarrow\mathcal{C}_{PLG}$ define a map
$T_{L_{\mathbb{F}G_{i}},L_{\mathbb{F}G_{j}}}:hom(L_{\mathbb{F}G_{i}},L_{\mathbb{F}G_{j}})\rightarrow
hom(TL_{\mathbb{F}G_{i}},TL_{\mathbb{F}G_{j}})$ by

$T_{L_{\mathbb{F}G_{i}},L_{\mathbb{F}G_{j}}}(\bar{f})=\hat{f}$

Now it is enough to prove that $T_{L_{\mathbb{F}G_{i}},L_{\mathbb{F}G_{j}}}$
is surjective. For $\hat{f}\in
hom(TL_{\mathbb{F}G_{i}},TL_{\mathbb{F}G_{j}})$, a Plesken Lie algebra
homomorphism, define $\bar{f}:L_{\mathbb{F}G_{i}}\rightarrow
L_{\mathbb{F}G_{j}}$ by

$\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$

is a homomorphism between Lie algebras of group algebras and
$T\bar{f}:TL_{\mathbb{F}G_{i}}\rightarrow TL_{\mathbb{F}G_{j}}$ given by,

$T\bar{f}(\displaystyle\sum_{i}a_{i}\hat{g_{i}})=\displaystyle\sum_{i}a_{i}\widehat{f(g_{i})}=\hat{f}(\displaystyle\sum_{i}a_{i}\hat{g_{i}})$

That is, $T\bar{f}=\hat{f}$. Hence $T$ is full. ∎

However, it should be noted that the functor defined above need not be
faithful as illustrated in the following example.

######  Example 8.

Let $K_{4}=\\{e,a,b,c\\}$ be the Klein 4- group and $L_{\mathbb{F}K_{4}}$ Lie
algebra of the group algebra $\mathbb{F}K_{4}$. Consider the identity map
$1_{L_{\mathbb{F}K_{4}}}$ and $\bar{f}:L_{\mathbb{F}K_{4}}\rightarrow
L_{\mathbb{F}K_{4}}$ given by

$\bar{f}(\displaystyle\sum_{i}a_{i}g_{i})=\displaystyle\sum_{i}a_{i}f(g_{i})$

where $g_{i}\in K_{4}$ and $f$ is the trivial homomorphism. Clearly both
$T\bar{f}$ and $T1_{L_{\mathbb{F}K_{4}}}$ are zeroes for the functor
$T:L_{\mathbb{F}G}\rightarrow\mathcal{C}_{PLG}$.

## References

  * [1] Saunders Mac Lane, Categories for the working Mathematician, Second edition, Springer, 1997
  * [2] Arjeh M. Cohen and D. E. Taylor, On a Certain Lie algebra Defined by a Finite Group. The American Mathematical Monthly, pp. 633 - 639, Aug. - Sep., 2007.
  * [3] James E. Humphreys, Introduction to Lie Algebras and Representation Theory. Springer - Verlag, 1972.
  * [4] Brian C. Hall, Lie groups, Lie Algebras, and Representations An Elementary Introduction, Springer, 2003
  * [5] K.S.S. Nambooripad, Theory of Regular Semigroups. Sayahna Foundation, Trivandrum, 2018.
  * [6] Gordon James and Martin Liebeck, Representations and Characters of Groups. Second Edition, Cambridge University Press, 2001.