Atlas home || Conferences | Abstracts | about Atlas

AAA76 - 76th Workshop on General Algebra (76. Arbeitstagung Allgemeine Algebra)
May 22-25, 2008
Department of Algebra, Johannes Kepler University Linz
Linz, Austria

Organizers
Erhard Aichinger, Peter Mayr, Matt Nickodemus, Günter Pilz

View Abstracts
Conference Homepage

Two Problems for Nilpotent - Supernilpotent Algebras
by
Nebojša Mudrinski
Department of Mathematics and Informatics, University of Novi Sad, Serbia
Coauthors: Erhard Aichinger

We prove that the property of affine completeness for one class of nilpotent Mal'cev algebras, studied by K. Kearnes in

K. A. Kearnes, Congruence modular varieties with small free spectra, Algebra Universalis 42 (1999), no. 3, 165-181,

is decidable. This generalizes the result of E. Aichinger and J. Ecker, which states, that the property of affine completeness for finite nilpotent groups is decidable. For the same class of Mal'cev algebras we show that polynomial equivalence problem has polynomial complexity in the length of the input terms.

Date received: May 12, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawc-58.