Describing polynomial functions of universal algebras

Description

From results of Fr\"ohlich, 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: 1. Is there an algorithm that decides whether a given finite algebra is affine complete? 2. Can the polynomial functions of a finite algebra be described as those that preserve a certain finite set of relations? 3. 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.

Period	20 Oct 2006
Event title	unbekannt/unknown
Event type	Other
Location	AustriaShow on map