<?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 (Circle) - 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" />
</head>
<body>
<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="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">Previous Chapter</a> <a href="chap2.html">Next Chapter</a> </div>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X8557083378F2A3B2">1.1 <span class="Heading">General aims</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X7DB566D5785B7DBC">1.2 <span class="Heading">Installation and system requirements</span></a>
</div>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p><a id="X8557083378F2A3B2" name="X8557083378F2A3B2"></a></p>
<h4>1.1 <span class="Heading">General aims</span></h4>
<p>Let R be an associative ring, not necessarily with one. The set of all elements of R forms a monoid with the neutral element 0 from R under the operation r * s = r + s + rs defined for all r and s of R. This operation is called the <em>circle multiplication</em>, and it is also known as the <em>star multiplication</em>. The monoid of elements of R under the circle multiplication is called the adjoint semigroup of R and is denoted by R^ad. The group of all invertible elements of this monoid is called the adjoint group of R and is denoted by R^*.</p>
<p>These notions naturally lead to a number of questions about the connection between a ring and its adjoint group, for example, how the ring properties will determine properties of the adjoint group; which groups can appear as adjoint groups of rings; which rings can have adjoint groups with prescribed properties, etc.</p>
<p>For example, V. O. Gorlov in <a href="chapBib.html#biBGorlov-1995">[Gor95]</a> gives a full list of finite nilpotent algebras R, such that R^2 ne 0 and the adjoint group of R is metacyclic (but not cyclic).</p>
<p>S. V. Popovich and Ya. P. Sysak in <a href="chapBib.html#biBPopovich-Sysak-1997">[PS97]</a> characterize all quasiregular algebras such that all subgroups of their adjoint group are their subalgebras. In particular, they show that all algebras of such type are nilpotent with nilpotency index at most three.</p>
<p>Various connections between properties of a ring and its adjoint group were considered by O. D. Artemovych and Yu. B. Ishchuk in <a href="chapBib.html#biBArtemovych-Ishchuk-1997">[AI97]</a>.</p>
<p>B. Amberg and L. S. Kazarin in <a href="chapBib.html#biBAmberg-Kazarin-2000">[AK00]</a> give the description of all nonisomorphic finite p-groups that can occur as the adjoint group of some nilpotent p-algebra of the dimension at most 5.</p>
<p>In <a href="chapBib.html#biBAmberg-Sysak-2001">[AS01]</a> B. Amberg and Ya. P. Sysak give a survey of results on adjoint groups of radical rings, including such topics as subgroups of the adjoint group; nilpotent groups which are isomorphic to the adjoint group of some radical ring; adjoint groups of finite nilpotent $p$-algebras. The authors continued their investigations in further papers <a href="chapBib.html#biBAmberg-Sysak-2002">[AS02]</a> and <a href="chapBib.html#biBAmberg-Sysak-2004">[AS04]</a>.</p>
<p>In <a href="chapBib.html#biBKazarin-Soules-2004">[KS04]</a> L. S. Kazarin and P. Soules study associative nilpotent algebras over a field of positive characteristic whose adjoint group has a small number of generators.</p>
<p>The main objective of the proposed <strong class="pkg">GAP</strong>4 package <strong class="pkg">Circle</strong> is to extend the <strong class="pkg">GAP</strong> functionality for computations in adjoint groups of associative rings to make it possible to use the <strong class="pkg">GAP</strong> system for the investigation of the above described questions.</p>
<p><strong class="pkg">Circle</strong> provides functionality to construct circle objects that will respect the circle multiplication r * s = r + s + rs, create multiplicative structures, generated by such objects, and compute adjoint semigroups and adjoint groups of finite rings.</p>
<p>Also we hope that the package will be useful as an example of extending the <strong class="pkg">GAP</strong> system with new multiplicative objects. Relevant details are explained in the next chapter of the manual.</p>
<p><a id="X7DB566D5785B7DBC" name="X7DB566D5785B7DBC"></a></p>
<h4>1.2 <span class="Heading">Installation and system requirements</span></h4>
<p><strong class="pkg">Circle</strong> does not use external binaries and, therefore, works without restrictions on the type of the operating system. It is designed for <strong class="pkg">GAP</strong>4.4 and no compatibility with previous releases of <strong class="pkg">GAP</strong>4 is guaranteed.</p>
<p>To use the <strong class="pkg">Circle</strong> online help it is necessary to install the <strong class="pkg">GAP</strong>4 package <strong class="pkg">GAPDoc</strong> by Frank L\"ubeck and Max Neunh\"offer, which is available from the <strong class="pkg">GAP</strong> site or from <span class="URL"><a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/">http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/</a></span>.</p>
<p><strong class="pkg">Circle</strong> is distributed in standard formats (<code class="file">zoo</code>, <code class="file">tar.gz</code>, <code class="file">tar.bz2</code>, <code class="file">-win.zip</code>) and can be obtained from <span class="URL"><a href="http://www.cs.st-andrews.ac.uk/~alexk/circle.htm">http://www.cs.st-andrews.ac.uk/~alexk/circle.htm</a></span>. To unpack the archive <code class="file">circle-1.3.1.zoo</code> you need the program <code class="file">unzoo</code>, which can be obtained from the <strong class="pkg">GAP</strong> homepage <span class="URL"><a href="http://www.gap-system.org/">http://www.gap-system.org/</a></span> (see section `Distribution'). To install <strong class="pkg">Circle</strong>, copy this archive into the <code class="file">pkg</code> subdirectory of your <strong class="pkg">GAP</strong>4.4 installation. The subdirectory <code class="file">circle</code> will be created in the <code class="file">pkg</code> directory after the following command:</p>
<p><code class="code">unzoo -x circle-1.3.1.zoo</code></p>
<p>Installation using other archive formats is performed in a similar way.</p>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap0.html">Previous Chapter</a> <a href="chap2.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="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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
665
