<?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 (NoCK) - Chapter 1: Notation</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" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap1"  onload="jscontent()">


<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>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap0.html">[Previous Chapter]</a>    <a href="chap2.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap1_mj.html">[MathJax on]</a></p>
<p><a id="X7DD31B407B9402A3" name="X7DD31B407B9402A3"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DD31B407B9402A3">1 <span class="Heading">Notation</span></a>
</div>

<h3>1 <span class="Heading">Notation</span></h3>

<p>We use the notation and convention for real Lie algebras as is from CoReLG Package, <a href="chapBib.html#biBCoReLG">[DFdG14]</a>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">G:=RealFormById( "E", 7,3);</span>
<Lie algebra of dimension 133 over SqrtField>
<span class="GAPprompt">gap></span> <span class="GAPinput">rankG:=Dimension(CartanSubalgebra(G));</span>
7
<span class="GAPprompt">gap></span> <span class="GAPinput">rankRG:=Dimension(CartanSubspace(G));</span>
3
<span class="GAPprompt">gap></span> <span class="GAPinput">dimG:=Dimension(G);</span>
133
<span class="GAPprompt">gap></span> <span class="GAPinput">P:=CartanDecomposition( G ).P;</span>
<vector space over SqrtField, with 54 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">dimPforG:=Dimension(P);</span>
54
<span class="GAPprompt">gap></span> <span class="GAPinput">K:=CartanDecomposition( G ).K;</span>
<Lie algebra of dimension 79 over SqrtField>
<span class="GAPprompt">gap></span> <span class="GAPinput">rankK:= Dimension(CartanSubalgebra(K));</span>
7
<span class="GAPprompt">gap></span> <span class="GAPinput">dimK:= Dimension(K);</span>
79
</pre></div>

<p>Classification can be found in Table 9 in <a href="chapBib.html#biBonvin">[OV90]</a>, p. 312-317.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap0.html">[Previous Chapter]</a>    <a href="chap2.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>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>