Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/liealgdb/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 24.8.2025 mit Größe 4 kB image not shown  

Quelle  chap1_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/liealgdb/doc/chap1_mj.html


<?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>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (LieAlgDB) - Chapter 1: Introduction</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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapBib_mj.html">Bib</a>  </div>

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

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

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

<p>This is the manual for the <strong class="pkg">GAP</strong> package <strong class="pkg">LieAlgDB</strong>, for accessing and working with several classifications of Lie algebras.</p>

<p>In the mathematical literature many classifications of Lie algebras of various types have been published (we refer to the bibliography for a few examples). However, working with these classifications from paper is not always easy. This package aims at making a few classifications of small-dimensional Lie algebras that have appeared in recent years more accessible. For each classification that is contained in the package, functions are provided that construct Lie algebras from that classification inside <strong class="pkg">GAP</strong>. This allows the user to obtain easy access to the often rather complicated data contained in a classification, and to directly interface the Lie algebras to the functionality for Lie algebras which is already contained in the system.</p>

<p>The package contains the following classifications:</p>


<ul>
<li><p>non-solvable Lie algebras over finite fields up to dimension 6 (from <a href="chapBib_mj.html#biBStrade">[Str]</a>);</p>

</li>
<li><p>nilpotent Lie algebras of dimension up to 9 over <var class="Arg">GF(2)</var>, of dimension up to 7 over <var class="Arg">GF(3)</var> or <var class="Arg">GF(5)</var> (from <a href="chapBib_mj.html#biBsch">[Sch05]</a>);</p>

</li>
<li><p>simple Lie algebras of dimensions between 7 and 9 over <var class="Arg">GF(2)</var> (from <a href="chapBib_mj.html#biBVL">[Vau06]</a>);</p>

</li>
<li><p>the classification of solvable Lie algebras of dimension at most 4 (from <a href="chapBib_mj.html#biBwdg05">[dG05]</a>);</p>

</li>
<li><p>the classification of nilpotent Lie algebras of dimension at most 6 (from <a href="chapBib_mj.html#biBwdg07">[dG07]</a> and <a href="chapBib_mj.html#biBcdgs10">[CdGS11]</a>).</p>

</li>
</ul>
<p>This manual is structured as follows. The next chapter contains a description of the main functions of the package. The third chapter contains descriptions of the classifications used in the package. Most of these are contained in published papers, but for the convenience of the user they have been added here.</p>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap0_mj.html">[Previous Chapter]</a>    <a href="chap2_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapBib_mj.html">Bib</a>  </div>

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

94%


¤ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.