Clonoids between modules

Abstract: Clonoids are sets of finitary functions from an algebra

m a t h b b A

to an algebra

m a t h b b B

that are closed under composition with term functions of

m a t h b b A

on the domain side and with term functions of

m a t h b b B

on the codomain side. For

m a t h b b A, m a t h b b B

(polynomially equivalent to) finite modules we show: If

m a t h b b A, m a t h b b B

have coprime order and the congruence lattice of

m a t h b b A

is distributive, then there are only finitely many clonoids from

m a t h b b A

to

m a t h b b B

. This is proved by establishing for every natural number

k

a particular linear equation that all

k

-ary functions from

m a t h b b A

to

m a t h b b B

satisfy. Else if

m a t h b b A, m a t h b b B

do not have coprime order, then there are infinitely many clonoids from

m a t h b b A

to

m a t h b b B

and not all of them are finitely generated. Consequently any extension of

m a t h b b A

by

m a t h b b B

has countably infinitely many

2

-nilpotent expansions up to term equivalence.

This page was built for publication: Clonoids between modules