Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/analysis/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 664 kB image not shown  

Quellcodebibliothek chap19.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/hap/doc/chap19.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 19:  Cocycles</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="chap19"  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="chap18.html">[Previous Chapter]</a>    <a href="chap20.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap19_mj.html">[MathJax on]</a></p>
<p><a id="X85A9B66278AF63D9" name="X85A9B66278AF63D9"></a></p>
<div class="ChapSects"><a href="chap19.html#X85A9B66278AF63D9">19 <span class="Heading"> Cocycles</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap19.html#X7CFDEEC07F15CF82">19.1 <span class="Heading">  </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap19.html#X8343D6CA811C1E50">19.1-1 CcGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap19.html#X7C4C64EE864B04D5">19.1-2 CocycleCondition</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap19.html#X7A69F5007F07F478">19.1-3 StandardCocycle</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap19.html#X8157A77284F56BAD">19.1-4 Syzygy</a></span>
</div></div>
</div>

<h3>19 <span class="Heading"> Cocycles</span></h3>

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

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

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

<h5>19.1-1 CcGroup</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CcGroup</code>( <var class="Arg">A</var>, <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a <span class="SimpleMath">G</span>-module <span class="SimpleMath">A</span> (i.e. an abelian <span class="SimpleMath">G</span>-outer group) and a standard 2-cocycle f <span class="SimpleMath">G x G ---> A</span>. It returns the extension group determined by the cocycle. The group is returned as a CcGroup.</p>

<p>This is a HAPcocyclic function and thus only works when HAPcocyclic is loaded.</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/aboutGouter.html">2</a></span> </p>

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

<h5>19.1-2 CocycleCondition</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CocycleCondition</code>( <var class="Arg">R</var>, <var class="Arg">n</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a resolution <span class="SimpleMath">R</span> and an integer <span class="SimpleMath">n</span>><span class="SimpleMath">0</span>. It returns an integer matrix <span class="SimpleMath">M</span> with the following property. Suppose <span class="SimpleMath">d=R.dimension(n)</span>. An integer vector <span class="SimpleMath">f=[f_1, ... , f_d]</span> then represents a <span class="SimpleMath">ZG</span>-homomorphism <span class="SimpleMath">R_n ⟶ Z_q</span> which sends the <span class="SimpleMath">i</span>th generator of <span class="SimpleMath">R_n</span> to the integer <span class="SimpleMath">f_i</span> in the trivial <span class="SimpleMath">ZG</span>-module <span class="SimpleMath">Z_q</span> (where possibly <span class="SimpleMath">q=0</span> ). The homomorphism <span class="SimpleMath">f</span> is a cocycle if and only if <span class="SimpleMath">M^tf=0</span> mod <span class="SimpleMath">q</span>.</p>

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

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

<h5>19.1-3 StandardCocycle</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ StandardCocycle</code>( <var class="Arg">R</var>, <var class="Arg">f</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">‣ StandardCocycle</code>( <var class="Arg">R</var>, <var class="Arg">f</var>, <var class="Arg">n</var>, <var class="Arg">q</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span> (with contracting homotopy), a positive integer <span class="SimpleMath">n</span> and an integer vector <span class="SimpleMath">f</span> representing an <span class="SimpleMath">n</span>-cocycle <span class="SimpleMath">R_n ⟶ Z_q</span> where <span class="SimpleMath">G</span> acts trivially on <span class="SimpleMath">Z_q</span>. It is assumed <span class="SimpleMath">q=0</span> unless a value for <span class="SimpleMath">q</span> is entered. The command returns a function <span class="SimpleMath">F(g_1, ..., g_n)</span> which is the standard cocycle <span class="SimpleMath">G_n ⟶ Z_q</span> corresponding to <span class="SimpleMath">f</span>. At present the command is implemented only for <span class="SimpleMath">n=2</span> or <span class="SimpleMath">3</span>.</p>

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

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

<h5>19.1-4 Syzygy</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Syzygy</code>( <var class="Arg">R</var>, <var class="Arg">g</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span> (with contracting homotopy) and a list <span class="SimpleMath">g = [g[1], ..., g[n]]</span> of elements in <span class="SimpleMath">G</span>. It returns a word <span class="SimpleMath">w</span> in <span class="SimpleMath">R_n</span>. The word <span class="SimpleMath">w</span> is the image of the <span class="SimpleMath">n</span>-simplex in the standard bar resolution corresponding to the <span class="SimpleMath">n</span>-tuple <span class="SimpleMath">g</span>. This function can be used to construct explicit standard <span class="SimpleMath">n</span>-cocycles. (Currently implemented only for n<4.)</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="chap18.html">[Previous Chapter]</a>    <a href="chap20.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.17 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.