# FG1 Seminar talk

2006-10-20

Erhard **Aichinger***Describing polynomial functions of universal algebras*

Abstract:

From results of Fröhlich, Maurer, and Rhodes we know
that every function on a finite simple non-abelian group
is a polynomial function; these groups are called

*polynomially complete*. Later, it was studied when

every congruence preserving function on an algebra is
a polynomial function; such algebras were called *affine complete*.
We will start from the following questions:

- Is there an algorithm that decides whether a given
finite algebra is affine complete?

- Can the polynomial functions of a finite algebra be
described as those that preserve a certain finite set of relations?

- We call two finite algebras polynomially equivalent if
they have the same set of polynomial functions. How many nonequivalent finite algebras do exist? And how many of those have a Malcev term?

We cannot answer any of these questions completely, but we will present several new results (by Juergen Ecker, Peter Mayr, Nebojsa Mudrinski, and the speaker) that are motivated by these questions.