Algebra Seminar talk
2012-01-13
Erhard Aichinger
Polynomials and Structure of Universal Algebras
Abstract:
In this talk, we will present some results that link the
structure of a universal algebra with its clone of
polynomial functions. It has recently been
proved that for every finite algebra
with a Mal'cev term, the clone of polynomial operations
and the clone of term operations are both finitely related.
This establishes that up to isomorphism
and term equivalence, there are only countably many finite
algebras with a Mal'cev term; in
group theory this yields that for every group G, there exists
a subgroup H of some finite power G^k such that for
all n, all subgroups of G^n can - in a certain way -
be constructed from H.
We will compare two concepts of nilpotence for expansions of groups. Starting from the well-known fact that every finite nilpotent group is a direct product of p-groups and Kearnes's generalization to finite nilpotent algebras in congruence modular varieties, we present a decomposition result for certain nilpotent infinite expanded groups.