  
  [1X1 Introduction[0X
  
  
  [1X1.1 General aims[0X
  
  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  [13Xcircle  multiplication[0m,  and  it  is  also  known  as  the [13Xstar
  multiplication[0m.  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^*.
  
  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.
  
  For  example,  V. O. Gorlov in [Gor95] 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).
  
  S.  V.  Popovich  and  Ya.  P. Sysak in [PS97] 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.
  
  Various  connections between properties of a ring and its adjoint group were
  considered by O. D. Artemovych and Yu. B. Ishchuk in [AI97].
  
  B.  Amberg  and  L.  S.  Kazarin  in  [AK00]  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.
  
  In  [AS01]  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 [AS02] and [AS04].
  
  In  [KS04]  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.
  
  The  main objective of the proposed [5XGAP[0m4 package [5XCircle[0m is to extend the [5XGAP[0m
  functionality  for  computations  in  adjoint groups of associative rings to
  make  it  possible  to use the [5XGAP[0m system for the investigation of the above
  described questions.
  
  [5XCircle[0m  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.
  
  Also  we hope that the package will be useful as an example of extending the
  [5XGAP[0m  system  with new multiplicative objects. Relevant details are explained
  in the next chapter of the manual.
  
  
  [1X1.2 Installation and system requirements[0X
  
  [5XCircle[0m  does  not  use  external  binaries  and,  therefore,  works  without
  restrictions  on the type of the operating system. It is designed for [5XGAP[0m4.4
  and no compatibility with previous releases of [5XGAP[0m4 is guaranteed.
  
  To  use  the  [5XCircle[0m online help it is necessary to install the [5XGAP[0m4 package
  [5XGAPDoc[0m  by  Frank L\"ubeck and Max Neunh\"offer, which is available from the
  [5XGAP[0m site or from [7Xhttp://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/[0m.
  
  [5XCircle[0m  is  distributed in standard formats ([11Xzoo[0m, [11Xtar.gz[0m, [11Xtar.bz2[0m, [11X-win.zip[0m)
  and  can  be obtained from [7Xhttp://www.cs.st-andrews.ac.uk/~alexk/circle.htm[0m.
  To unpack the archive [11Xcircle-1.3.1.zoo[0m you need the program [11Xunzoo[0m, which can
  be  obtained  from  the [5XGAP[0m homepage [7Xhttp://www.gap-system.org/[0m (see section
  `Distribution').   To  install  [5XCircle[0m,  copy  this  archive  into  the  [11Xpkg[0m
  subdirectory  of  your  [5XGAP[0m4.4 installation. The subdirectory [11Xcircle[0m will be
  created in the [11Xpkg[0m directory after the following command:
  
  [10Xunzoo -x circle-1.3.1.zoo[0m
  
  Installation using other archive formats is performed in a similar way.
  
