Abstract
A nearring N is an algebra that does not satisfy the ring axioms, but nevertheless satisfies a one-sided distributivity law. SONATA is a GAP package designed as a research tool for nearrings. Users are able to define and work with finite nearrings in order to generate and test conjectures.
- E. Aichinger. Generating polynomials using function composition. Quaest. Math., 36(1):39--46, 2013.Google ScholarCross Ref
- E. Aichinger, F. Binder, J. Ecker, P. Mayr, and C. Nöbauer. SONATA - system of near-rings and their applications, GAP package, Version 2.8, 2015. (http://www.algebra.uni-linz.ac.at/Sonata/).Google Scholar
- J. R. Clay. Nearrings: Geneses and Applications. Oxford University Press - Oxford, New York, Tokyo, 1992.Google Scholar
- G. Ferrero. Stems planari e BIB-disegni. Riv. Mat. Uni. Parma, 11(2):79--96, 1970.Google Scholar
- The GAP Group. GAP - Groups, Algorithms, and Programming, Version 4.8.3, 2016.Google Scholar
- Peter Mayr. The polynomial functions on Frobenius complements. Acta Sci. Math. (Szeged), 72(1--2):37--50, 2006.Google Scholar
- J. D. P. Meldrum. Near-rings and their links with groups. Pitman (Advanced Publishing Program), Boston, Mass., 1985.Google Scholar
- G. F. Pilz. Near-rings. North-Holland Publishing Company - Amsterdam, New York, Oxford, 2nd edition, 1983.Google Scholar
- H. Zassenhaus. über endliche Fastköper. Abh. Math. Semin. Univ. Hamb., 11:187--220, 1935.Google ScholarCross Ref
Recommendations
Commutative pseudo-equality algebras
Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
Strong Pseudo-De Morgan Algebras and Pseudo-Involutive Psuedo-BCK Algebras
AICI '10: Proceedings of the 2010 International Conference on Artificial Intelligence and Computational Intelligence - Volume 02The well-known R0 implication is developed to pseudo-De Morgan algebras, which is called generalized pseudo-R0 implication. The notion of strong pseudo-De Morgan algebras is introduced, and its elementary properties are discussed. Secondly, two ...
Congruences and ideals in pseudo effect algebras as total algebras
Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal ...
Comments