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

Quelle  chap17.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/hap/doc/chap17.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>
<title>GAP (HAP commands) - Chapter 17:  Generators and relators of groups</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="chap17"  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="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</a>  <a href="chap19.html">19</a>  <a href="chap20.html">20</a>  <a href="chap21.html">21</a>  <a href="chap22.html">22</a>  <a href="chap23.html">23</a>  <a href="chap24.html">24</a>  <a href="chap25.html">25</a>  <a href="chap26.html">26</a>  <a href="chap27.html">27</a>  <a href="chap28.html">28</a>  <a href="chap29.html">29</a>  <a href="chap30.html">30</a>  <a href="chap31.html">31</a>  <a href="chap32.html">32</a>  <a href="chap33.html">33</a>  <a href="chap34.html">34</a>  <a href="chap35.html">35</a>  <a href="chap36.html">36</a>  <a href="chap37.html">37</a>  <a href="chap38.html">38</a>  <a href="chap39.html">39</a>  <a href="chap40.html">40</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="chap16.html">[Previous Chapter]</a>    <a href="chap18.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap17_mj.html">[MathJax on]</a></p>
<p><a id="X7A2144518112F830" name="X7A2144518112F830"></a></p>
<div class="ChapSects"><a href="chap17.html#X7A2144518112F830">17 <span class="Heading"> Generators and relators of groups</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17.html#X7CFDEEC07F15CF82">17.1 <span class="Heading">  </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap17.html#X7F49A86A82EB2420">17.1-1 CayleyGraphOfGroupDisplay</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap17.html#X82C8B87287602BFA">17.1-2 IdentityAmongRelatorsDisplay</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap17.html#X78F2C5ED80D1C8DD">17.1-3 IsAspherical</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap17.html#X878938C3835871D7">17.1-4 PresentationOfResolution</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap17.html#X7F71698178AF48DD">17.1-5 TorsionGeneratorsAbelianGroup</a></span>
</div></div>
</div>

<h3>17 <span class="Heading"> Generators and relators of groups</span></h3>

<p><a id="X7CFDEEC07F15CF82" name="X7CFDEEC07F15CF82"></a></p>

<h4>17.1 <span class="Heading">  </span></h4>

<p><a id="X7F49A86A82EB2420" name="X7F49A86A82EB2420"></a></p>

<h5>17.1-1 CayleyGraphOfGroupDisplay</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CayleyGraphOfGroupDisplay</code>( <var class="Arg">G</var>, <var class="Arg">X</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CayleyGraphOfGroupDisplay</code>( <var class="Arg">G</var>, <var class="Arg">X</var>, <var class="Arg">str</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a finite group <span class="SimpleMath">G</span> together with a subset <span class="SimpleMath">X</span> of <span class="SimpleMath">G</span>. It displays the corresponding Cayley graph as a .gif file. It uses the Mozilla web browser as a default to view the diagram. An alternative browser can be set using a second argument <span class="SimpleMath">str</span>="mozilla".</p>

<p>The argument <span class="SimpleMath">G</span> can also be a finite set of elements in a (possibly infinite) group containing <span class="SimpleMath">X</span>. The edges of the graph are coloured according to which element of <span class="SimpleMath">X</span> they are labelled by. The list <span class="SimpleMath">X</span> corresponds to the list of colours [blue, red, green, yellow, brown, black] in that order.</p>

<p>This function requires Graphviz software.</p>

<p><strong class="button">Examples:</strong></p>

<p><a id="X82C8B87287602BFA" name="X82C8B87287602BFA"></a></p>

<h5>17.1-2 IdentityAmongRelatorsDisplay</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IdentityAmongRelatorsDisplay</code>( <var class="Arg">R</var>, <var class="Arg">n</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IdentityAmongRelatorsDisplay</code>( <var class="Arg">R</var>, <var class="Arg">n</var>, <var class="Arg">str</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a free <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span> and an integer <span class="SimpleMath">n</span>. It displays the boundary R!.boundary(3,n) as a tessellation of a sphere. It displays the tessellation as a .gif file and uses the Mozilla web browser as a default display mechanism. An alternative browser can be set using the second argument <span class="SimpleMath">str</span>="mozilla". (The resolution <span class="SimpleMath">R</span> should be reduced and, preferably, in dimension 1 it should correspond to a Cayley graph for <span class="SimpleMath">G</span>. )</p>

<p>This function uses GraphViz software.</p>

<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap6.html">1</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutPeriodic.html">2</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutTopology.html">3</a></span> </p>

<p><a id="X78F2C5ED80D1C8DD" name="X78F2C5ED80D1C8DD"></a></p>

<h5>17.1-3 IsAspherical</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAspherical</code>( <var class="Arg">F</var>, <var class="Arg">R</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a free group <span class="SimpleMath">F</span> and a set <span class="SimpleMath">R</span> of words in <span class="SimpleMath">F</span>. It performs a test on the 2-dimensional CW-space <span class="SimpleMath">K</span> associated to this presentation for the group <span class="SimpleMath">G=F/</span><<span class="SimpleMath">R</span>><span class="SimpleMath">^F</span>.</p>

<p>The function returns "true" if <span class="SimpleMath">K</span> has trivial second homotopy group. In this case it prints: Presentation is aspherical.</p>

<p>Otherwise it returns "fail" and prints: Presentation is NOT piece-wise Euclidean non-positively curved. (In this case <span class="SimpleMath">K</span> may or may not have trivial second homotopy group. But it is NOT possible to impose a metric on K which restricts to a Euclidean metric on each 2-cell.)</p>

<p>The function uses Polymake software.</p>

<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap3.html">1</a></span> , <span class="URL"><a href="../tutorial/chap6.html">2</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutAspherical.html">3</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutIntro.html">4</a></span> </p>

<p><a id="X878938C3835871D7" name="X878938C3835871D7"></a></p>

<h5>17.1-4 PresentationOfResolution</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PresentationOfResolution</code>( <var class="Arg">R</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs at least two terms of a reduced <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span> and returns a record <span class="SimpleMath">P</span> with components</p>


<ul>
<li><p><span class="SimpleMath">P.freeGroup</span> is a free group <span class="SimpleMath">F</span>,</p>

</li>
<li><p><span class="SimpleMath">P.relators</span> is a list <span class="SimpleMath">S</span> of words in <span class="SimpleMath">F</span>,</p>

</li>
<li><p><span class="SimpleMath">P.gens</span> is a list of positive integers such that the <span class="SimpleMath">i</span>-th generator of the presentation corresponds to the group element R!.elts[P[i]] .</p>

</li>
</ul>
<p>where <span class="SimpleMath">G</span> is isomorphic to <span class="SimpleMath">F</span> modulo the normal closure of <span class="SimpleMath">S</span>. This presentation for <span class="SimpleMath">G</span> corresponds to the 2-skeleton of the classifying CW-space from which <span class="SimpleMath">R</span> was constructed. The resolution <span class="SimpleMath">R</span> requires no contracting homotopy.</p>

<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap6.html">1</a></span> , <span class="URL"><a href="../tutorial/chap13.html">2</a></span> , <span class="URL"><a href="../tutorial/chap14.html">3</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutPolytopes.html">4</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutSpaceGroup.html">5</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutTopology.html">6</a></span> </p>

<p><a id="X7F71698178AF48DD" name="X7F71698178AF48DD"></a></p>

<h5>17.1-5 TorsionGeneratorsAbelianGroup</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TorsionGeneratorsAbelianGroup</code>( <var class="Arg">G</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs an abelian group <span class="SimpleMath">G</span> and returns a generating set <span class="SimpleMath">[x_1, ... ,x_n]</span> where no pair of generators have coprime orders.</p>

<p><strong class="button">Examples:</strong></p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap16.html">[Previous Chapter]</a>    <a href="chap18.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="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</a>  <a href="chap19.html">19</a>  <a href="chap20.html">20</a>  <a href="chap21.html">21</a>  <a href="chap22.html">22</a>  <a href="chap23.html">23</a>  <a href="chap24.html">24</a>  <a href="chap25.html">25</a>  <a href="chap26.html">26</a>  <a href="chap27.html">27</a>  <a href="chap28.html">28</a>  <a href="chap29.html">29</a>  <a href="chap30.html">30</a>  <a href="chap31.html">31</a>  <a href="chap32.html">32</a>  <a href="chap33.html">33</a>  <a href="chap34.html">34</a>  <a href="chap35.html">35</a>  <a href="chap36.html">36</a>  <a href="chap37.html">37</a>  <a href="chap38.html">38</a>  <a href="chap39.html">39</a>  <a href="chap40.html">40</a>  <a href="chapInd.html">Ind</a>  </div>

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

99%


¤ Dauer der Verarbeitung: 0.19 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.