Atlas home || Conferences | Abstracts | about Atlas

AAA61: 61st Workshop on General Algebra + 16th Conference of Young Algebraists
February 2-4, 2001
TU Darmstadt
Darmstadt, Germany

View Abstracts
Conference Homepage

Equational Theories generated by Hypersubstitutions
by
K. Denecke
University of Potsdam
Coauthors: St. Niwczyk, J. Koppitz

Hypersubstitutions map n-ary operation symbols to n-ary terms. Such mappings can be uniquely extended to mappings defined on the set of all terms. It turns out that for type (n) the kernels of hypersubstitutions are fully invariant congruence relations of the absolutely free algebra of this type. All these kernels will be characterized.

Date received: December 15, 2000

Copyright © 2000 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 # cafo-25.