<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (LieAlgDB) - Chapter 3: A description of the Lie algebras that are contained in the package</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body>
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chapBib.html">Bib</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chap2.html">Previous Chapter</a> <a href="chapBib.html">Next Chapter</a> </div>
<p><a id="X7BB72096877E0847" name="X7BB72096877E0847"></a></p>
<div class="ChapSects"><a href="chap3.html#X7BB72096877E0847">3 <span class="Heading">A description of the Lie algebras that are contained in the package</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7D10CF477EF901A7">3.1 <span class="Heading">Description of the non-solvable Lie algebras</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X78C35F937D99AB14">3.2 <span class="Heading">Dimension 3</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X812516C97F0A1A4C">3.3 <span class="Heading">Dimension 4</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X865565C08312F7B0">3.4 <span class="Heading">Dimension 5</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X783B7FC180919CBC">3.4-1 <span class="Heading">Characteristic 2</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X80DAF658844AF393">3.4-2 <span class="Heading">Odd characteristic</span></a>
</span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7FC5F0DB7A8CD1D0">3.5 <span class="Heading">Dimension 6</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X783B7FC180919CBC">3.5-1 <span class="Heading">Characteristic 2</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7CC42FD178D384FD">3.5-2 <span class="Heading">General odd characteristic</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7F4B0CC87A7715A5">3.5-3 <span class="Heading">Characteristic 3</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X81DD369B7F4E033B">3.5-4 <span class="Heading">Characteristic 5</span></a>
</span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X8411625F7E7DA71D">3.6 <span class="Heading">Description of the simple Lie algebras</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X79FBD14A7959B5D2">3.7 <span class="Heading">Description of the solvable and nilpotent Lie algebras</span></a>
</div>
</div>
<h3>3 <span class="Heading">A description of the Lie algebras that are contained in the package</span></h3>
<p><a id="X7D10CF477EF901A7" name="X7D10CF477EF901A7"></a></p>
<h4>3.1 <span class="Heading">Description of the non-solvable Lie algebras</span></h4>
<p>In this section we list the non-solvable Lie algebras contained in the package. Our notation follows <a href="chapBib.html#biBStrade">[Str]</a>, where a more detailed description can also be found. In particular if $L$ is a Lie algebra over $F$ then $C(L)$ denotes the center of $L$. Further, if $x_1,\ldots,x_k$ are elements of $L$, then $F<x_1,\ldots,x_k>$ denotes the linear subspace generated by $x_1,\ldots,x_k$, and we also write $Fx_1$ for $F<x_1>$</p>
<p><a id="X78C35F937D99AB14" name="X78C35F937D99AB14"></a></p>
<h4>3.2 <span class="Heading">Dimension 3</span></h4>
<p>There are no non-solvable Lie algebras with dimension 1 or 2. Over an arbitrary finite field <var class="Arg">F</var>, there is just one isomorphism type of non-solvable Lie algebras:</p>
<ol>
<li><p>If <var class="Arg">char F=2</var> then the algebra is $W(1;\underline 2)^{(1)}$.</p>
</li>
<li><p>If <var class="Arg">char F>2</var> then the algebra is $\mbox{sl}(2,F)$.</p>
</li>
</ol>
<p>See Theorem 3.2 of <a href="chapBib.html#biBStrade">[Str]</a> for details.</p>
<p><a id="X812516C97F0A1A4C" name="X812516C97F0A1A4C"></a></p>
<h4>3.3 <span class="Heading">Dimension 4</span></h4>
<p>Over a finite field <var class="Arg">F</var> of characteristic 2 there are two isomorphism classes of non-solvable Lie algebras with dimension 4, while over a finite field <var class="Arg">F</var> of odd characteristic the number of isomorphism classes is one (see Theorem 4.1 of <a href="chapBib.html#biBStrade">[Str]</a>). The classes are as follows:</p>
<ol>
<li><p>characteristic 2: $W(1;\underline 2)$ and $W(1;\underline 2)^{(1)}\oplus F$.</p>
</li>
<li><p>odd characteristic: $\mbox{gl}(2,F)$.</p>
</li>
</ol>
<p><a id="X865565C08312F7B0" name="X865565C08312F7B0"></a></p>
<h4>3.4 <span class="Heading">Dimension 5</span></h4>
<p><a id="X783B7FC180919CBC" name="X783B7FC180919CBC"></a></p>
<h5>3.4-1 <span class="Heading">Characteristic 2</span></h5>
<p>Over a finite field <var class="Arg">F</var> of characteristic 2 there are 5 isomorphism classes of non-solvable Lie algebras with dimension 5:</p>
<ol>
<li><p>$\mbox{Der}(W(1;\underline 2)^{(1)})$;</p>
</li>
<li><p>$W(1;\underline 2)\ltimes Fu$ where $[W(1;\underline 2)^{(1)},u]=0$, $[x^{(3)}\partial,u]=\delta u$ and $\delta\in\{0,1\}$ (two algebras);</p>
</li>
<li><p>$W(1;\underline 2)^{(1)}\oplus(F\left< h,u\right>)$, $[h,u]=\delta u$, where $\delta\in\{0,1\}$ (two algebras).</p>
</li>
</ol>
<p>See Theorem 4.2 of <a href="chapBib.html#biBStrade">[Str]</a> for details.</p>
<p><a id="X80DAF658844AF393" name="X80DAF658844AF393"></a></p>
<h5>3.4-2 <span class="Heading">Odd characteristic</span></h5>
<p>Over a field $F$of odd characteristic the number of isomorphism types of 5-dimensional non-solvable Lie algebras is $3$ if the characteristic is at least 7, and it is 4 otherwise (see Theorem 4.3 of <a href="chapBib.html#biBStrade">[Str]</a>). The classes are as follows.</p>
<ol>
<li><p>$\mbox{sl}(2,F)\oplus F<x,y>$, $[x,y]=\delta y$ where $\delta\in\{0,1\}$.</p>
</li>
<li><p>$\mbox{sl}(2,F)\ltimes V(1)$ where $V(1)$ is the irreducible 2-dimensional $\mbox{sl}(2,F)$-module.</p>
</li>
<li><p>If $\mbox{char }F=3$ then there is an additional algebra, namely the non-split extension $0\rightarrow V(1)\rightarrow L\rightarrow\mbox{sl}(2,F)\rightarrow 0$.</p>
</li>
<li><p>If $\mbox{char }F=5$ then there is an additional algebra: $W(1;\underline 1)$.</p>
</li>
</ol>
<p><a id="X7FC5F0DB7A8CD1D0" name="X7FC5F0DB7A8CD1D0"></a></p>
<h4>3.5 <span class="Heading">Dimension 6</span></h4>
<p><a id="X783B7FC180919CBC" name="X783B7FC180919CBC"></a></p>
<h5>3.5-1 <span class="Heading">Characteristic 2</span></h5>
<p>Over a field $F$ of characteristic 2, the isomorphism classes of non-solvable Lie algebras are as follows.</p>
<ol>
<li><p>$W(1;\underline 2)^{(1)}\oplus W(1;\underline 2)^{(1)}$.</p>
</li>
<li><p>$W(1;\underline 2)^{(1)}\otimes F_{q^2}$ where $F=F_q$.</p>
</li>
<li><p>$\mbox{Der}(W(1;\underline 2)^{(1)})\ltimes Fu$, $[W(1;\underline 2),u]=0$, $[\partial^2,u]=\delta u$ where $\delta=\{0,1\}$.</p>
</li>
<li><p>$W(1;\underline 2)\ltimes (F<h,u>)$, $[W(1;\underline 2)^{(1)},(F<h,u>]=0$, $[h,u]=\delta u$, and if $\delta=0$, then the action of $x^{(3)}\partial$ on $F<h,u>$ is given by one of the following matrices:</p>
<p class="pcenter">
\left(\begin{array}{cc}
0 & 0\\
0 & 0\end{array}\right),\
\left(\begin{array}{cc}
0 & 1\\
0 & 0\end{array}\right),\
\left(\begin{array}{cc}
1 & 0\\
0 & 1\end{array}\right),\
\left(\begin{array}{cc}
1 & 1\\
0 & 1\end{array}\right),\
\left(\begin{array}{cc}
0 & \xi\\
1 & 1\end{array}\right)\mbox{ where }\xi\in F^*.</p>
</li>
<li><p>the algebra is as in (4.), but $\delta=1$. Note that Theorem 5.1(3/b) of <a href="chapBib.html#biBStrade">[Str]</a> lists two such algebras but they turn out to be isomorphic. We take the one with $[x^{(3)}\partial,h]=[x^{(3)}\partial,u]=0$.</p>
</li>
<li><p>$W(1;\underline 2)^{(1)}\oplus K$ where $K$ is a 3-dimensional solvable Lie algebra.</p>
</li>
<li><p>$W(1;\underline 2)^{(1)}\ltimes \mathcal O(1;\underline 2)/F$.</p>
</li>
<li><p>the non-split extension $0\rightarrow \mathcal O(1;\underline 2)/F\rightarrow L\rightarrow W(1;\underline 2)^{(1)}\rightarrow 0$.</p>
</li>
</ol>
<p>See Theorem 5.1 of <a href="chapBib.html#biBStrade">[Str]</a>.</p>
<p><a id="X7CC42FD178D384FD" name="X7CC42FD178D384FD"></a></p>
<h5>3.5-2 <span class="Heading">General odd characteristic</span></h5>
<p>If the characteristic of the field is odd, then the 6-dimensional non-solvable Lie algebras are described by Theorems 5.2--5.4 of <a href="chapBib.html#biBStrade">[Str]</a>. Over such a field $F$, let us define the following isomorphism classes of 6-dimensional non-solvable Lie algebras.</p>
<ol>
<li><p>$\mbox{sl}(2,F)\oplus\mbox{sl}(2,F) $.</p>
</li>
<li><p>$\mbox{sl}(2,F_{q^2})$ where $F=F_q$;</p>
</li>
<li><p>$\mbox{sl}(2,F)\oplus K$ where $K$ is a solvable Lie algebra with dimension 3;</p>
</li>
<li><p>$\mbox{sl}(2,F)\ltimes (V(0)\oplus V(1))$ where $V(i)$ is the $(i+1)$-dimensional irreducible $\mbox{sl}(2,F)$-module;</p>
</li>
<li><p>$\mbox{sl}(2,F)\ltimes V(2)$ where $V(2)$ is the $3$-dimensional irreducible $\mbox{sl}(2,F)$-module;</p>
</li>
<li><p>$\mbox{sl}(2,F)\ltimes(V(1)\oplus C(L))\cong \mbox{sl}(2,F)\ltimes H$ where $H$ is the Heisenberg Lie algebra;</p>
</li>
<li><p>$\mbox{sl}(2,F)\ltimes K$ where $K=Fd\oplus K^{(1)}$, $K^{(1)}$ is 2-dimensional abelian, isomorphic, as an $\mbox{sl}(2,F)$-module, to $V(1)$, $[\mbox{sl}(2,F),d]=0$, and, for all $v\in K$, $[d,v]=v$;</p>
</li>
</ol>
<p>If the characteristic of $F$ is at least 7, then these algebras form a complete and irredundant list of the isomorphism classes of the 6-dimensional non-solvable Lie algebras.</p>
<p><a id="X7F4B0CC87A7715A5" name="X7F4B0CC87A7715A5"></a></p>
<h5>3.5-3 <span class="Heading">Characteristic 3</span></h5>
<p>If the characteristic of the field $F$ is 3, then, besides the classes in Section <a href="chap3.html#X7CC42FD178D384FD"><b>3.5-2</b></a>, we also obtain the following isomorphism classes.</p>
<ol>
<li><p>$\mbox{sl}(2,F)\ltimes V(2,\chi)$ where $\chi$ is a 3-dimensional character of $\mbox{sl}(2,F)$. Each such character is described by a field element $\xi$ such that $T^3+T^2-\xi$ has a root in $F$; see Proposition 3.5 of <a href="chapBib.html#biBStrade">[Str]</a> for more details.</p>
</li>
<li><p>$W(1;\underline 1)\ltimes\mathcal O(1;\underline 1)$ where $\mathcal O(1;\underline 1)$ is considered as an abelian Lie algebra.</p>
</li>
<li><p>$W(1;\underline 1)\ltimes\mathcal O(1;\underline 1)^*$ where $\mathcal O(1;\underline 1)^*$ is the dual of $\mathcal O(1;\underline 1)$ and it is considered as an abelian Lie algebra.</p>
</li>
<li><p>One of the two 6-dimensional central extensions of the non-split extension $0\rightarrow V(1)\rightarrow L\rightarrow \mbox{sl}(2,F)\rightarrow 0$; see Proposition 4.5 of <a href="chapBib.html#biBStrade">[Str]</a>. We note that Proposition 4.5 of <a href="chapBib.html#biBStrade">[Str]</a> lists three such central extensions, but one of them is not a Lie algebra.</p>
</li>
<li><p>One of the two non-split extensions $0\rightarrow\mbox{rad } L\rightarrow L\rightarrow L/\mbox{rad } L\rightarrow 0$ with a 5-dimensional ideal; see Theorem 5.4 of <a href="chapBib.html#biBStrade">[Str]</a>.</p>
</li>
</ol>
<p>We note here that <a href="chapBib.html#biBStrade">[Str]</a> lists one more non-solvable Lie algebra over a field of characteristic 3, namely the one in Theorem 5.3(5). However, this algebra is isomorphic to the one in Theorem 5.3(4).</p>
<p><a id="X81DD369B7F4E033B" name="X81DD369B7F4E033B"></a></p>
<h5>3.5-4 <span class="Heading">Characteristic 5</span></h5>
<p>If the characteristic of the field $F$ is 5, then, besides the classes in Section <a href="chap3.html#X7CC42FD178D384FD"><b>3.5-2</b></a>, we also obtain the following isomorphism classes.</p>
<ol>
<li><p>$W(1;\underline 1)\oplus F$.</p>
</li>
<li><p>The non-split central extension $0\rightarrow F\rightarrow L\rightarrow W(1;\underline 1)\rightarrow 0$.</p>
</li>
</ol>
<p><a id="X8411625F7E7DA71D" name="X8411625F7E7DA71D"></a></p>
<h4>3.6 <span class="Heading">Description of the simple Lie algebras</span></h4>
<p>If <var class="Arg">F</var> is a finite field, then, up to isomorphism, there is precisely one simple Lie algebra with dimension 3, and another one with dimension 6; these can be accessed by calling <var class="Arg">NonSolvableLieAlgebra(F,[3,1])</var> and <var class="Arg">NonSolvableLieAlgebra(F,[6,2])</var> (see <var class="Arg">NonSolvableLieAlgebra</var> for the details). Over a field of characteristic 5, there is an additional simple Lie algebra with dimension 5, namely <var class="Arg">NonSolvableLieAlgebra(F,[5,3])</var>. These are the only isomorphism types of simple Lie algebras over finite fields up to dimension 6.</p>
<p>In addition to the algebras above the package contains the simple Lie algebras of dimension between 7 and 9 over <var class="Arg">GF(2)</var>. These Lie algebras were determined by <a href="chapBib.html#biBVL">[Vau06]</a> and can be described as follows.</p>
<p>There are two isomorphism classes of 7-dimensional Lie algebras over <var class="Arg">GF(2)</var>. In a basis b1,...,b7 the non-trivial products in the first algebra are</p>
<pre class="normal">
[b1,b2]=b3, [b1,b3]=b4, [b1,b4]=b5, [b1,b5]=b6
[b1,b6]=b7, [b1,b7]=b1, [b2,b7]=b2, [b3,b6]=b2,
[b4,b5]=b2, [b4,b6]=b3, [b4,b7]=b4, [b6,b7]=b6;
</pre>
<p>and those in the second are</p>
<pre class="normal">
[b1,b2]=b3, [b1,b3]=b1+b4, [b1,b4]=b5, [b1,b5]=b6,
[b1,b6]=b7, [b2,b3]=b2, [b2,b5]=b2+b4, [b2,b6]=b5,
[b2,b7]=b1+b4, [b3,b4]=b2+b4, [b3,b5]=b3, [b3,b6]=b1+b4+b6,
[b3,b7]=b5, [b4,b7]=b6, [b5,b6]=b6, [b5,b7]=b7.
</pre>
<p>Over <var class="Arg">GF(2)</var> there are two isomorphism types of simple Lie algebras with dimension 8. In the basis b1,...,b8 the non-trivial products for the first one are</p>
<pre class="normal">
[b1,b3]=b5, [b1,b4]=b6, [b1,b7]=b2, [b1,b8]=b1, [b2,b3]=b7, [b2,b4]=b5+b8,
[b2,b5]=b2, [b2,b6]=b1, [b2,b8]=b2, [b3,b6]=b4, [b3,b8]=b3, [b4,b5]=b4,
[b4,b7]=b3, [b4,b8]=b4, [b5,b6]=b6, [b5,b7]=b7, [b6,b7]=b8;
</pre>
<p>and for the second one they are</p>
<pre class="normal">
[b1,b2]=b3, [b1,b3]=b2+b5, [b1,b4]=b6, [b1,b5]=b2, [b1,b6]=b1+b4+b8,
[b1,b8]=b4, [b2,b3]=b4, [b2,b4]=b1, [b2,b5]=b6, [b2,b6]=b2+b7,
[b2,b7]=b2+b5, [b3,b4]=b2+b7, [b3,b5]=b1+b4+b8, [b3,b6]=b1, [b3,b7]=b2+b3,
[b3,b8]=b1, [b4,b5]=b3, [b4,b6]=b2+b4, [b4,b7]=b1+b4+b8, [b4,b8]=b3,
[b5,b6]=b1+b2+b5, [b5,b7]=b3, [b5,b8]=b2+b7, [b6,b7]=b4+b6, [b6,b8]=b2+b5,
[b7,b8]=b6.
</pre>
<p>The non-trivial products for the unique simple Lie algebra with dimension 9 over <var class="Arg">GF(2)</var> are as follows:</p>
<pre class="normal">
[b1,b2]=b3, [b1,b3]=b5, [b1,b5]=b6, [b1,b6]=b7, [b1,b7]=b6+b9,
[b1,b9]=b2, [b2,b3]=b4, [b2,b4]=b6, [b2,b6]=b8, [b2,b8]=b6+b9,
[b2,b9]=b1, [b3,b4]=b7, [b3,b5]=b8, [b3,b7]=b1+b8, [b3,b8]=b2+b7,
[b4,b5]=b6+b9, [b4,b6]=b2+b7, [b4,b7]=b3+b6+b9, [b4,b9]=b5,
[b5,b6]=b1+b8, [b5,b8]=b3+b6+b9, [b5,b9]=b4, [b6,b7]=b1+b4+b8,
[b6,b8]=b2+b5+b7, [b7,b8]=b3+b9, [b7,b9]=b8, [b8,b9]=b7.
</pre>
<p><a id="X79FBD14A7959B5D2" name="X79FBD14A7959B5D2"></a></p>
<h4>3.7 <span class="Heading">Description of the solvable and nilpotent Lie algebras</span></h4>
<p>In this section we list the multiplication tables of the nilpotent and solvable Lie algebras contained in the package. Some parametric classes contain isomorphic Lie algebras, for different values of the parameters. For exact descriptions of these isomorphisms we refer to <a href="chapBib.html#biBwdg05">[dG05]</a>, <a href="chapBib.html#biBwdg07">[dG07]</a>. In dimension 2 there are just two classes of solvable Lie algebras:</p>
<ul>
<li><p>L_2^1: The Abelian Lie algebra.</p>
</li>
<li><p>L_2^2: [x_2,x_1]=x_1.</p>
</li>
</ul>
<p>We have the following solvable Lie algebras of dimension 3:</p>
<ul>
<li><p>L_3^1 The Abelian Lie algebra.</p>
</li>
<li><p>L_3^2 [x_3,x_1]=x_1, [x_3,x_2]=x_2.</p>
</li>
<li><p>L_3^3(a) [x_3,x_1]=x_2, [x_3,x_2]=ax_1+x_2.</p>
</li>
<li><p>L_3^4(a) [x_3,x_1]=x_2, [x_3,x_2]=ax_1.</p>
</li>
</ul>
<p>And the following solvable Lie algebras of dimension 4:</p>
<ul>
<li><p>L_4^1 The Abelian Lie algebra.</p>
</li>
<li><p>L_4^2 [x_4,x_1]=x_1, [x_4,x_2]=x_2, [x_4,x_3]=x_3.</p>
</li>
<li><p>L_4^3(a) [x_4,x_1]=x_1, [x_4,x_2]=x_3, [x_4,x_3]=-ax_2 +(a+1)x_3 .</p>
</li>
<li><p>L_4^4 [x_4,x_2]=x_3, [x_4,x_3]= x_3 .</p>
</li>
<li><p>L_4^5 [x_4,x_2]=x_3 .</p>
</li>
<li><p>L_4^6(a,b) [x_4,x_1] = x_2, [x_4,x_2]=x_3, [x_4,x_3] = ax_1+bx_2+x_3 .</p>
</li>
<li><p>L_4^7(a,b) [x_4,x_1] = x_2, [x_4,x_2]=x_3, [x_4,x_3] = ax_1+bx_2.</p>
</li>
<li><p>L_4^8 [x_1,x_2]=x_2, [x_3,x_4]=x_4 .</p>
</li>
<li><p>L_4^9(a) [x_4,x_1] = x_1+ax_2, [x_4,x_2]=x_1, [x_3,x_1]=x_1, [x_3,x_2]=x_2 .</p>
</li>
<li><p>L_4^10(a) [x_4,x_1] = x_2, [x_4,x_2]=ax_1, [x_3,x_1]=x_1, [x_3,x_2]=x_2 Condition on F: the characteristic of F is 2.</p>
</li>
<li><p>L_4^11(a,b) [x_4,x_1] = x_1, [x_4,x_2] = bx_2, [x_4,x_3]=(1+b)x_3, [x_3,x_1]=x_2, [x_3,x_2]=ax_1. Condition on F: the characteristic of F is 2.</p>
</li>
<li><p>L_4^12 [x_4,x_1] = x_1, [x_4,x_2]=2x_2, [x_4,x_3] = x_3, [x_3,x_1]=x_2 .</p>
</li>
<li><p>L_4^13(a) [x_4,x_1] = x_1+ax_3, [x_4,x_2]=x_2, [x_4,x_3] = x_1, [x_3,x_1]=x_2 .</p>
</li>
<li><p>L_4^14(a) [x_4,x_1] = ax_3, [x_4,x_3]=x_1, [x_3,x_1]=x_2 .</p>
</li>
</ul>
<p>Nilpotent of dimension 5:</p>
<ul>
<li><p>N_5,1 Abelian.</p>
</li>
<li><p>N_5,2 [x_1,x_2]=x_3 .</p>
</li>
<li><p>N_5,3 [x_1,x_2]=x_3, [x_1,x_3]=x_4 .</p>
</li>
<li><p>N_5,4 [x_1,x_2] = x_5, [x_3,x_4]=x_5 .</p>
</li>
<li><p>N_5,5 [x_1,x_2]=x_3, [x_1,x_3]= x_5, [x_2,x_4] = x_5 .</p>
</li>
<li><p>N_5,6 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_2,x_3]=x_5 .</p>
</li>
<li><p>N_5,7 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5 .</p>
</li>
<li><p>N_5,8 [x_1,x_2]=x_4, [x_1,x_3]=x_5 .</p>
</li>
<li><p>N_5,9 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_2,x_3]=x_5 .</p>
</li>
</ul>
<p>We get nine 6-dimensional nilpotent Lie algebras denoted N_6,k for k=1,...,9 that are the direct sum of N_5,k and a 1-dimensional abelian ideal. Subsequently we get the following Lie algebras.</p>
<ul>
<li><p>N_6,10 [x_1,x_2]=x_3, [x_1,x_3]=x_6, [x_4,x_5]=x_6.</p>
</li>
<li><p>N_6,11 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_6, [x_2,x_3]=x_6, [x_2,x_5]=x_6 .</p>
</li>
<li><p>N_6,12 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_6, [x_2,x_5]=x_6 .</p>
</li>
<li><p>N_6,13 [x_1,x_2]=x_3, [x_1,x_3]=x_5, [x_2,x_4]=x_5, [x_1,x_5]=x_6, [x_3,x_4]=x_6 .</p>
</li>
<li><p>N_6,14 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_2,x_3]=x_5, [x_2,x_5]=x_6,[x_3,x_4]=-x_6 .</p>
</li>
<li><p>N_6,15 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_2,x_3]=x_5, [x_1,x_5]=x_6,[x_2,x_4]=x_6 .</p>
</li>
<li><p>N_6,16 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_2,x_5]=x_6, [x_3,x_4]=-x_6 .</p>
</li>
<li><p>N_6,17 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_1,x_5]=x_6, [x_2,x_3]= x_6 .</p>
</li>
<li><p>N_6,18 [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_1,x_4]=x_5, [x_1,x_5]=x_6 .</p>
</li>
<li><p>N_6,19(a) [x_1,x_2]=x_4, [x_1,x_3]=x_5, [x_2,x_4]=x_6, [x_3,x_5]=a x_6 .</p>
</li>
<li><p>N_6,20 [x_1,x_2]=x_4, [x_1,x_3]=x_5, [x_1,x_5]=x_6, [x_2,x_4]=x_6 .</p>
</li>
<li><p>N_6,21(a) [x_1,x_2]=x_3, [x_1,x_3]=x_4, [x_2,x_3]=x_5, [x_1,x_4]=x_6, [x_2,x_5]= a x_6 .</p>
</li>
<li><p>N_6,22(a) [x_1,x_2]=x_5, [x_1,x_3]=x_6, [x_2,x_4]= a x_6, [x_3,x_4]=x_5 .</p>
</li>
<li><p>N_6,23 [x_1,x_2]=x_3, [x_1,x_3]=x_5, [x_1,x_4]=x_6, [x_2,x_4]= x_5 .</p>
</li>
<li><p>N_6,24(a) [x_1,x_2]=x_3, [x_1,x_3]=x_5, [x_1,x_4]=a x_6, [x_2,x_3]=x_6, [x_2,x_4]= x_5 .</p>
</li>
<li><p>N_6,25 [x_1,x_2]=x_3, [x_1,x_3]=x_5, [x_1,x_4]=x_6 .</p>
</li>
<li><p>N_6,26 [x_1,x_2]=x_4, [x_1,x_3]=x_5, [x_2,x_3]=x_6 .</p>
</li>
</ul>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap2.html">Previous Chapter</a> <a href="chapBib.html">Next Chapter</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chapBib.html">Bib</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
1793
