System of nearrings and their applications

Version 2.9.6

Released 2022-12-06

This project is maintained by Erhard Aichinger, Peter Mayr

The SONATA package provides methods for the construction and analysis of finite nearrings.

The current version of this package is version 2.9.6, released on 2022-12-06. For more information, please refer to the package manual. There is also a README file.

License: GPL-2.0-or-later

This package requires GAP version >=4.9

The following additional GAP packages are not required, but suggested:

- xgap >=0

Erhard Aichinger, Franz Binder, Jürgen Ecker, Peter Mayr, Christof Nöbauer.

SONATA stands for “systems of nearrings and their applications”. It provides methods for the construction and the analysis of finite nearrings. A left nearring is an algebra (N;+,.), where (N,+) is a (not necessarily abelian) group, (N,.) is a semigroup, and x(y+z) = xy + xz holds for all x,y,z in N.

As a typical example of a nearring, we may consider the set of all mappings from a group G into G, where the addition is the pointwise addition of mappings in G, and the multiplication is composition of functions. If functions are written on the right of their arguments, then the left distributive law holds, while the right distributive law is not satisfied for non-trivial G.

The SONATA package provides methods for the construction and analysis of finite nearrings.

- Methods for constructing all endomorphisms and all fixed-point-free automorphisms of a given group.
- Methods for constructing the following nearrings of functions on a group G: the nearring of polynomial functions of G (in the sense of Lausch-Nöbauer); the nearring of compatible functions of G; distributively generated nearrings such as I(G), A(G), E(G); centralizer nearrings.
- A library of all small nearrings (up to order 15) and all small nearrings with identity (up to order 31).
- Functions to obtain solvable fixed-point-free automorphism groups on abelian groups, nearfields, planar nearrings, as well as designs from those.
- Various functions to study the structure (size, ideals, N-groups, …) of nearrings, to determine properties of nearring elements, and to decide whether two nearrings are isomorphic.
- If the package XGAP is installed, the lattices of one- and two-sided ideals of a nearring can be studied interactively using a graphical representation.

- J.R. Clay, Nearrings: Geneses and applications, Oxford University Press – Oxford, New York, Tokyo, 1992.
- C. Cotti Ferrero and G. Ferrero, Nearrings. some developments linked to semigroups and groups, Kluwer Academic Publishers, Dordrecht, Boston, London, 2002.
- H. Lausch and W. Nöbauer, Algebra of polynomials, North-Holland, Amsterdam, London; American Elsevier Publishing Company, New York, 1973.
- J.D.P. Meldrum, Near-rings and their links with groups, Pitman (Advanced Publishing Program), Boston, Mass., 1985.
- G.F. Pilz, Near-rings, 2nd ed., North-Holland Publishing Company – Amsterdam, New York, Oxford, 1983.
- H. Wähling, Theorie der Fastkörper, Thales-Verlag, Essen, 1987.

Please, cite this package as

[ABEMN22] **Aichinger, E., Binder, F., Ecker, J., Mayr, P. and Nöbauer, C.**,
*SONATA, System of nearrings and their applications,
Version 2.9.6*
(2022)

(Refereed GAP package),
https://gap-packages.github.io/sonata/.

You can get more info by typing `Cite("SONATA");`

in the gap prompt.

For bug reports, feature requests and suggestions, please use the issue tracker.