One Hat Cyber Team
Your IP :
216.73.216.14
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
NCAlgebra
/
html
/
View File Name :
_normal__Elements.html
<!DOCTYPE html> <html lang="en"> <head> <title>normalElements -- Finds normal elements</title> <meta content="text/html; charset=utf-8" http-equiv="Content-Type"> <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css"> <link rel="stylesheet" href="../../../../Macaulay2/Style/katex/katex.min.css"> <script defer="defer" src="../../../../Macaulay2/Style/katex/katex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/auto-render.min.js"></script> <script> var macros = { "\\break": "\\\\", "\\ZZ": "\\mathbb{Z}", "\\NN": "\\mathbb{N}", "\\QQ": "\\mathbb{Q}", "\\RR": "\\mathbb{R}", "\\CC": "\\mathbb{C}", "\\PP": "\\mathbb{P}" }, delimiters = [ { left: "$$", right: "$$", display: true}, { left: "\\[", right: "\\]", display: true}, { left: "$", right: "$", display: false}, { left: "\\(", right: "\\)", display: false} ], ignoredTags = [ "kbd", "var", "samp", "script", "noscript", "style", "textarea", "pre", "code", "option" ]; document.addEventListener("DOMContentLoaded", function() { renderMathInElement(document.body, { delimiters: delimiters, macros: macros, ignoredTags: ignoredTags, trust: true }); }); </script> <style>.katex { font-size: 1em; }</style> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/copy-tex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/render-a11y-string.min.js"></script> <script src="../../../../Macaulay2/Style/prism.js"></script> <script>var current_version = '1.25.06';</script> <script src="../../../../Macaulay2/Style/version-select.js"></script> <link type="image/x-icon" rel="icon" href="../../../../Macaulay2/Style/icon.gif"> </head> <body> <div id="buttons"> <div> <a href="https://macaulay2.com/">Macaulay2</a> <span id="version-select-container"></span> » <a title="Macaulay2 documentation" href="../../Macaulay2Doc/html/index.html">Documentation </a> <br><a href="../../Macaulay2Doc/html/_packages_spprovided_spwith_sp__Macaulay2.html">Packages</a> » <span><a href="index.html">NCAlgebra</a> :: <a title="Finds normal elements" href="_normal__Elements.html">normalElements</a></span> </div> <div class="right"> <form method="get" action="https://www.google.com/search"> <input placeholder="Search" type="text" name="q" value=""> <input type="hidden" name="q" value="site:macaulay2.com/doc"> </form> <a href="_normal__Elements_lp__N__C__Ring__Map_cm__Z__Z_rp.html">next</a> | <a href="_normal__Automorphism.html">previous</a> | <a href="_normal__Elements_lp__N__C__Ring__Map_cm__Z__Z_rp.html">forward</a> | <a href="_normal__Automorphism.html">backward</a> | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <div> <h1>normalElements -- Finds normal elements</h1> <ul> <li> <dl class="element"> <dt>Usage: </dt> <dd><code class="language-macaulay2">normalElements(A,n,x,y)</code></dd> </dl> </li> <li>Inputs: <ul> <li><span><span class="tt">A</span>, <span>an instance of the type <a title="Type of a noncommutative ring" href="___N__C__Quotient__Ring.html">NCQuotientRing</a></span>, </span></li> <li><span><span class="tt">n</span>, <span>an <a title="the class of all integers" href="../../Macaulay2Doc/html/___Z__Z.html">integer</a></span>, </span></li> <li><span><span class="tt">x</span>, <span>a <a title="the class of all symbols" href="../../Macaulay2Doc/html/___Symbol.html">symbol</a></span>, </span></li> <li><span><span class="tt">y</span>, <span>a <a title="the class of all symbols" href="../../Macaulay2Doc/html/___Symbol.html">symbol</a></span>, </span></li> </ul> </li> <li>Outputs: <ul> <li><span><span>a <a title="the class of all lists -- {...}" href="../../Macaulay2Doc/html/___List.html">list</a></span>, </span></li> </ul> </li> </ul> <div> <h2>Description</h2> <div> <p>Let b_1,...,b_n be a monomial basis for an NCRing A in degree d. We assume A is generated by elements a_1,...,a_k of degree 1. A homogeneous element r in A is normal if a_i*r is in the span of the r*a_j for all i.</p> </div> <div> <p>Using the input symbols x and y, we define the "normal variety" to be the set of common solutions to the equations x_j*a_i*b_j = y_j1*b_j*a_1+...+y_jk*b_j*a_k for all i and j. Saturating the ideal at each x_i we extract polynomial equations the x_i must satisfy for the element x_1*b_1+...+x_n*b_n to be normal in A.</p> </div> <div> <p>Before computing the normal variety, this method checks for normal monomials in degree n. These are returned first to reduce the complexity of the problem. Then the method computes the variety and returns its components. The equations the method returns are given in terms of the indexed variable x. The indices are basis monomials in degree n.</p> </div> <div> <p>The following example is a 3-dimensional Sklyanin algebra.</p> </div> <table class="examples"> <tr> <td> <pre><code class="language-macaulay2">i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z}) --Calling Bergman for NCGB calculation. Complete! o1 = B o1 : NCQuotientRing</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i2 : basis(2,B) o2 = | x^2 y*x x*y y^2 x*z y*z | o2 : NCMatrix</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i3 : normalElements(B,2,r,s) Normal monomials of degree 2: 2 x 2 y Components of the normal variety, excluding normal monomials: o3 = {| r_(y*z) r_(x*z) r_(y*x)-r_(x*y) |} o3 : List</code></pre> </td> </tr> </table> <div> <p>The normal elements in degree 2 are x^2, y^2 and z^2. The basis calculation shows x^2 and y^2 are normal forms in B. The normalElements method first checks all basis monomials using <a title="Determines if a given NCRingElement is normal" href="_is__Normal_lp__N__C__Ring__Element_rp.html">isNormal(NCRingElement)</a>. In this case it finds x^2 and y^2 are normal and returns this information. However, z^2 is not a normal form expression. The normal form of z^2 is x*y+y*x. In the second phase of the calculation, the method returns generators of the ideal describing the normal elements (excluding the normal monomials). We see the coefficients of basis monomials y*z and x*z must be 0 and the coefficients of x*y and y*x must be equal. The last equation identifies z^2 = x*y+y*x as a normal element of degree 2.</p> </div> <table class="examples"> <tr> <td> <pre><code class="language-macaulay2">i4 : normalElements(B,3,t,u) Normal monomials of degree 3: none Components of the normal variety, excluding normal monomials: o4 = {| t_(y^2*z) t_(y*x*z)+t_(x*y*z) t_(x^2*z) t_(y^3)-t_(x*y*z) t_(x*y^2) ------------------------------------------------------------------------ t_(y*x*y) t_(x^2*y) t_(x*y*x) t_(x^3)+t_(x*y*z) |} o4 : List</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i5 : g = -y^3-x*y*z+y*x*z+x^3 3 3 o5 = -y +yxz-xyz+x o5 : B</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i6 : isCentral g o6 = true</code></pre> </td> </tr> </table> <div> <p>In degree 3, there are no normal monomials. The function returns several equations which determine the only normal element of degree 3 (up to scaling) is the central element g.</p> </div> </div> <div> <div class="waystouse"> <h2>Ways to use <span class="tt">normalElements</span>:</h2> <ul> <li><kbd>normalElements(NCQuotientRing,ZZ,Symbol,Symbol)</kbd></li> <li><span><a title="Finds elements normalized by a ring map" href="_normal__Elements_lp__N__C__Ring__Map_cm__Z__Z_rp.html">normalElements(NCRingMap,ZZ)</a> -- Finds elements normalized by a ring map</span></li> </ul> </div> <div class="waystouse"> <h2>For the programmer</h2> <p>The object <a title="Finds normal elements" href="_normal__Elements.html">normalElements</a> is <span>a <a title="a type of method function" href="../../Macaulay2Doc/html/___Method__Function.html">method function</a></span>.</p> </div> <hr> <div class="waystouse"> <p>The source of this document is in <span class="tt">NCAlgebra/NCAlgebraDoc.m2:2507:0</span>.</p> </div> </div> </div> </body> </html>