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

Quelle  chap3.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/localizeringforhomalg/doc/chap3.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 (LocalizeRingForHomalg) - Chapter 3: Quick Start</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="chap3"  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="chapA.html">A</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="chap2.html">[Previous Chapter]</a>    <a href="chap4.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap3_mj.html">[MathJax on]</a></p>
<p><a id="X7EB860EC84DFC71E" name="X7EB860EC84DFC71E"></a></p>
<div class="ChapSects"><a href="chap3.html#X7EB860EC84DFC71E">3 <span class="Heading">Quick Start</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X799572BF810091BC">3.1 <span class="Heading">Localization of ℤ</span></a>
</span>
</div>
</div>

<h3>3 <span class="Heading">Quick Start</span></h3>

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

<h4>3.1 <span class="Heading">Localization of ℤ</span></h4>

<p>The following example is taken from Section 2 of <a href="chapBib.html#biBBREACA">[BR06]</a>. <br /> <br /> The computation takes place over the local ring <span class="SimpleMath">R=ℤ_⟨ 2⟩</span> (i.e. ℤ localized at the maximal ideal generated by <span class="SimpleMath">2</span>).</p>

<p>Here we compute the (infinite) long exact homology sequence of the covariant functor <span class="SimpleMath">Hom(Hom(-,R/2^7R),R/2^4R)</span> (and its left derived functors) applied to the short exact sequence<br /> <br /> <span class="SimpleMath">0 -> M_=R/2^2R --alpha_1--> M=R/2^5R --alpha_2--> _M=R/2^3R -> 0</span>.</p>

<p>We want to lead your attention to the commands <code class="keyw">LocalizeAt</code> and <code class="keyw">HomalgLocalMatrix</code>. The first one creates a localized ring from a global one and generators of a maximal ideal and the second one creates a local matrix from a global matrix. The other commands used here are well known from <strong class="pkg">homalg</strong>.</p>


<div class="example"><pre>
  
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage( "LocalizeRingForHomalg" );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers(  );</span>
Z
<span class="GAPprompt">gap></span> <span class="GAPinput">R := LocalizeAt( zz , [ 2 ] );</span>
Z_< 2 >
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( R );</span>
<A local ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage( "Modules" );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">M := LeftPresentation( HomalgMatrix( [ 2^5 ], R ) );</span>
<A cyclic left module presented by 1 relation for a cyclic generator>
<span class="GAPprompt">gap></span> <span class="GAPinput">_M := LeftPresentation( HomalgMatrix( [ 2^3 ], R ) );</span>
<A cyclic left module presented by 1 relation for a cyclic generator>
<span class="GAPprompt">gap></span> <span class="GAPinput">alpha2 := HomalgMap( HomalgMatrix( [ 1 ], R ), M, _M );</span>
<A "homomorphism" of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">M_ := Kernel( alpha2 );</span>
<A cyclic left module presented by yet unknown relations for a cyclic generato\
r>
<span class="GAPprompt">gap></span> <span class="GAPinput">alpha1 := KernelEmb( alpha2 );</span>
<A monomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( M_ );</span>
Z_< 2 >/< -4/1 >
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( alpha1 );</span>
[ [  8 ] ]
/ 1

the map is currently represented by the above 1 x 1 matrix
<span class="GAPprompt">gap></span> <span class="GAPinput">ByASmallerPresentation( M_ );</span>
<A cyclic left module presented by 1 relation for a cyclic generator>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( M_ );</span>
Z_< 2 >/< 4/1 >
</pre></div>


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

98%


¤ Dauer der Verarbeitung: 0.6 Sekunden  ¤

*© 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.