Abstract
We investigate the finitary functions from a finite field \(\mathbb {F}_q\) to the finite field \(\mathbb {F}_p\), where p and q are powers of different primes. An \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid is a subset of these functions which is closed under composition from the right and from the left with linear mappings. We give a characterization of these subsets of functions through the invariant subspaces of the vector space \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\) with respect to a certain linear transformation with minimal polynomial \(x^{q1}  1\). Furthermore we prove that each of these subsets of functions is generated by one unary function.
Introduction
The problem of characterizing sets of functions that satisfy some closure properties plays an increasingly important role in General Algebra. E. Post’s characterization of all clones on a twoelement set [13] is a foundational result in this field, which was developed further, e.g., in [10, 12, 14, 15]. Starting from [9], clones are used to study the complexity of certain constraint satisfaction problems (CSPs).
The aim of this paper is to describe sets of functions from \(\mathbb {F}_q\) to \(\mathbb {F}_p\) that are closed under all linear mappings from the left and from the right, in the case p and q are powers of distinct primes. We are dealing with sets of functions with different domains and codomains; such sets are investigated, e.g., in [1] and are called clonoids. Let \({\mathbf {B}}\) be an algebra, and let A be a nonempty set. For a subset C of \(\bigcup _{n \in {\mathbb {N}}} B^{A^n}\) and \(k\in {\mathbb {N}}\), we let \(C^{[k]} :=C \cap B^{A^k}\). According to Definition 4.1 of [1] we call C a clonoid with source set A and target algebra \({\mathbf {B}}\) if

(1)
for all \(k \in {\mathbb {N}}\): \(C^{[k]}\) is a subuniverse of \({\mathbf {B}}^{A^k}\), and

(2)
for all \(k,n \in {\mathbb {N}}\), for all \((i_1,\dots ,i_k) \in \{1,\dots ,n\}^k\), and for all \(c \in C^{[k]}\), the function \(c' :A^n \rightarrow B\) with \(c'(a_1,\dots ,a_n) := c(a_{i_1},\dots ,a_{i_k})\) lies in \(C^{[n]}\).
By (1) every clonoid is closed under composition with operations of \({\mathbf {B}}\) on the left. In particular we are interested in those clonoids whose target algebra is the vector space \(\mathbb {F}_p\) which are closed under composition with linear mappings also from the right side.
Definition 1.1
Let p and q be powers of different primes, and let \(\mathbb {F}_p\) and \(\mathbb {F}_q\) be two fields of orders p and q. An \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid is a nonempty subset C of \(\bigcup _{n \in \mathbb {N}} \mathbb {F}^{\mathbb {F}^n_q}_p\) with the following properties:

(1)
for all \(n \in {\mathbb {N}}\), \(f,g \in C^{[n]}\) and \(a, b \in \mathbb {F}_p\):
$$\begin{aligned} af + bg \in C^{[n]}; \end{aligned}$$ 
(2)
for all \(m,n \in {\mathbb {N}}\), \(f \in C^{[m]}\) and \(A \in \mathbb {F}^{m \times n}_q\):
$$\begin{aligned} g:(x_1,\dots ,x_n) \mapsto f(A\cdot (x_1,\dots ,x_n)^t) \end{aligned}$$is in \(C^{[n]}\).
Clonoids are of interest since they naturally arise in the study of promise constraint satisfaction problems (PCSPs). These problems are investigated, e.g., in [4], and recently in [5] clonoid theory has been used to give an algebraic approach to PCSPs. Moreover, a description of the set of all \((\mathbb {Z}_p,\mathbb {Z}_q)\)linearly closed clonoids, where p and q are distinct primes, is a useful tool to investigate (polynomial) clones on \({\mathbb {Z}}_p \times {\mathbb {Z}}_q\) or to represent polynomial functions of semidirect products of groups. In [8] S. Kreinecker characterized linearly closed clonoids on \(\mathbb {Z}_p\), where p is a prime, and found a description of all clones on \(\mathbb {Z}_p\) that contain the addition, all iterative algebras on \({\mathbb {Z}}_p\) which are closed under composition with the clone generated by \(+\) from both sides, and proved that there are infinitely many nonfinitely generated clones above \(\mathrm {Clo}(\mathbb {Z}_p \times \mathbb {Z}_p , +)\) for \(p > 2\).
Our main result (Theorem 1.3) provides a complete description of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids, where p and q are powers of different primes. First, an important observation is that each such clonoid is generated by its subset of unary members (Theorem 4.3). We can say even more about the generators of an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid.
Theorem 1.2
Let p and q be powers of different primes. Then every \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid is generated by one unary function.
The proof of this result is given in Section 5. With Theorem 4.3 and the characterization of the invariant subspaces lattice of a cyclic linear transformation over a finitedimensional vector space in [3], we obtain a description of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids as a direct product of chains (Section 5).
The structure of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids depends on the prime factorization of the polynomial \(g = x^{q1} 1\) in \(\mathbb {F}_p[x]\). Once this factorization is known, it is easy to find this lattice. Let us denote by \({\mathbf {2}}\) the twoelement chain and, in general, by \({\mathbf {C}}_k\) the chain with k elements. Moreover, we denote by \({\mathcal {L}}(p,q)\) the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids.
Theorem 1.3
Let p and q be powers of different primes. Let \(\prod _{i =1}^n p_i^{k_i}\) be the factorization of the polynomial \(g = x^{q1} 1\) in \(\mathbb {F}_p[x]\) into its irreducible divisors. Then the number of distinct \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids is \(2\prod _{i =1}^n(k_i +1)\) and the lattice \({\mathcal {L}}(p,q)\) of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids is isomorphic to
Preliminaries and notations
We use boldface letters for vectors, e.g., \({\varvec{u}} = (u_1,\dots ,u_n)\) for some \(n \in {\mathbb {N}}\). Moreover, we will use \(\langle {\varvec{v}}, {\varvec{u}}\rangle \) for the scalar product of the vectors \({\varvec{v}}\) and \({\varvec{u}}\).
We write \(\mathrm {Clg}(S)\) for the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid generated by a set of functions S. The \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids form a lattice with the intersection as meet and the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid generated by the union as join. The top element of the lattice is the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid of all functions and the bottom element consists of only the constant zero functions. Let f be an nary function from a group \({\mathbf {G}}_1\) to a group \({\mathbf {G}}_2\). We say that f is 0preserving if \(f(0_{{\mathbf {G}}_1},\dots ,0_{{\mathbf {G}}_1}) = 0_{{\mathbf {G}}_2}\).
As examples of nontrivial \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids we can see that the set of all 0preserving finitary functions from \(\mathbb {F}_q\) to \(\mathbb {F}_p\) forms an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid and that the following set of functions forms an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid.
Definition 2.1
Let p and q be powers of primes and let f be a function from \(\mathbb {F}^n_q\) to \(\mathbb {F}_p\). The function f is a star function if and only if for every vector \({\varvec{w}} \in \mathbb {F}^n_q\) there exists \(k \in \mathbb {F}_p\) such that for every \(\lambda \in \mathbb {F}_q \backslash \{0\}\):
It is easy to see that the star functions form an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid for every p and q and they represent an instance of the nice behaviour that the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids have in relation to the lines of the space \(\mathbb {F}_q^n\). Indeed, the composition with scalar multiplications from the right hand side can be used to permute the values that functions of \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid have in lines that pass through the origin.
Preliminaries from linear algebra
In this section we review some concepts of linear algebra that we need in order to find a description of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids, where p and q are powers of distinct primes. We recall that a Tinvariant subspace of a linear operator T of a vector space V is a subspace W of V that is preserved by T; that is, \(T(W) \subseteq W\). Let S be a set of linear operators of a vector space V. We can consider the Sinvariant subspaces lattice of V and we denote it by \({\mathcal {L}}(S)\).
In Section 5 we will see that the problem to find the structure of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids can be reduced to the problem to find all Tinvariant subspaces of the vector space \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\), where T is a certain linear transformation that permutes the components of \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\). In [3] the structure of the invariant subspaces lattice of a linear transformation on a finitedimensional vector space over an arbitrary field has been studied, and in [6] the number of invariant subspaces of a finite vector space with respect to a linear operator is determined.
Let T be a linear transformation on a finitedimensional vector space V over a field \(\mathbb {K}\) and let g be the minimal polynomial of T. We call T primary if \(g = f^c\) for some irreducible polynomial f and some positive integer c. We know from [3, Theorem 1] that, with the prime factorization of \(g = \prod _{i = 1}^sp_i^{k_i}\) over \(\mathbb {K}[{\varvec{x}}]\), we can split the vector space V into what is called its primary decomposition:
and \(V_i = \mathrm {ker}(p_i(T)^{k_i})\) are called the primary components of V. According to [3], the lattice \({\mathcal {L}}(T)\) of the Tinvariant subspaces of V is a direct product of the lattices \({\mathcal {L}}(T_i)\), where \(T_i = T_{V_i}\). Thus:
Definition 3.1
Let V be a vector space, let M be a subspace of V, and let T be a linear transformation. If M is generated by \(\{x, Tx, T^2x,\dots \}\) for some \(x \in V\), then T is called cyclic, M is called a Tcyclic subspace, and x is called a Tcyclic vector for M.
Remark 3.2
Let V be a finite dimensional vector space over a field \(\mathbb {K}\) and let \(T:V \rightarrow V\) be a linear operator such that V is Tcyclic. Then every Tinvariant subspace of V is Tcyclic.
Proof
Let \(W = \langle {\varvec{w}}_1,\dots ,{\varvec{w}}_n\rangle \) be a Tinvariant subspace of V and let \({\varvec{v}}\) be a Tcyclic vector of V. Then there exist \(p_1,\dots ,p_n \in \mathbb {K}[x]\) such that \({\varvec{w}}_i = p_i(T){\varvec{v}}\) for all \(i \in \{1, \dots ,n\}\). Let \(d = \mathrm {gcd}(p_1,\dots ,p_n)\). Then \(W =\{q(T)(d(T){\varvec{v}}) \mid q \in \mathbb {K}[x]\}\). Thus W is Tcyclic with Tcyclic vector \(d(T){\varvec{v}}\). \(\square \)
In [3, Lemma 2] it is proved that \({\mathcal {L}}(T)\) is a chain if and only if T is cyclic and primary. In particular they show that if the minimal polynomial of T is \(g = f^n\), with f irreducible, then:
Generators of \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids
In this section our aim is to find a set of unary generators of an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid. In general we will see that it is the unary part of an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid that determines the clonoid. To this end we shall show the following Lemma.
Lemma 4.1
Let \({\mathbb {F}}_p\) and \({\mathbb {F}}_q\) be finite fields and let \(f,g:\mathbb {F}_q^n \rightarrow \mathbb {F}_p\) be functions such that there exists \({\varvec{b}} \in \mathbb {F}_q^n \backslash \) \(\{(0,\dots ,0)\}\) with \(f(\lambda {\varvec{b}}) = g(\lambda (1,0,\dots ,0))\) for all \(\lambda \in \mathbb {F}_q\) and \(f({\varvec{x}}) = g({\varvec{y}}) = 0\) for all \({\varvec{x}} \in \mathbb {F}_q^n \backslash \{\lambda {\varvec{b}} \mid \lambda \in \mathbb {F}_q\}\) and \({\varvec{y}} \in \mathbb {F}_q^n\backslash \{\lambda (1,0,\dots ,0) \mid \lambda \in \mathbb {F}_q\}\). Then \(f \in \mathrm {Clg}(\{g\})\).
Proof
Let \(n \in {\mathbb {N}}\) and \({\varvec{b}} = (b_1,\dots ,b_n) \in \mathbb {F}_q^n \backslash \{(0,\dots ,0)\}\). Let \(1 \le i \le n\) be such that \(b_i \not = 0\) and let \(f,g:\mathbb {F}_q^n \rightarrow \mathbb {F}_p\) be functions as in the hypothesis. Moreover, let \(L = \{s{\varvec{b}} \mid s \in \mathbb {F}_q\}\) be the line of the space \(\mathbb {F}_q^n\) generated by the vector \({\varvec{b}}\). Let us consider \({\varvec{l}}_j \in \mathbb {F}_q^n\) for \(1 \le j \le n1\) such that the solutions of the system formed by the equations \((\langle {\varvec{l}}_j,{\varvec{y}}\rangle = 0)_{1 \le j \le n1}\) describe the line L of \(\mathbb {F}_q^n\). Then:
Hence \(g \in \mathrm {Clg}(\{g\})\) and the claim holds. \(\square \)
In order to show the main theorem of the section we introduce the definition of Lagrange interpolation functions, which are functions built to have a value different from zero only in one point, and they can be seen as characteristic functions of a point in the vector space \(\mathbb {F}_q^n\) with codomain \(\{0,1\} \subseteq \mathbb {F}_p\).
Definition 4.2
Let \({\varvec{a}} = (a_1,\dots ,a_n) \in \mathbb {F}^n_q\). The nary Lagrange interpolation function \(f_{{\varvec{a}}}\) from \(\mathbb {F}_q\) to \(\mathbb {F}_p\) is the function defined by:
We are now ready to prove that an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid C is generated by its unary part.
Theorem 4.3
Let p and q be powers of different primes. Then every \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid C is generated by its unary functions. Thus \(C = \mathrm {Clg}(C^{[1]})\).
Proof
The inclusion \(\supseteq \) is obvious. For the other inclusion let C be an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid and let f be an nary function in C. In order to prove that \(f \in \mathrm {Clg}(C^{[1]})\) we show that \(f' = f  f({\varvec{0}})\) is in \(\mathrm {Clg}(C^{[1]})\), where \(f({\varvec{0}})\) is the constant nary function with value \(f({\varvec{0}})\). This implies the claim because the nary constant function with value \(f({\varvec{0}})\) is in \(\mathrm {Clg}(C^{[1]})\) by Definition 1.1. We can see that \(f'\) is a 0preserving function of C. The strategy is to interpolate \(f'\) in every line passing through the origin. To this end, let
be the set of all s distinct lines of the space \(\mathbb {F}_q^n\) that pass through the origin, parametrized by the vectors \({\varvec{l}}_i \in \mathbb {F}_q^n\) with \(i \in \{1,\dots s\} = I\). For all \(i \in I\), let \(f_{L_i}:\mathbb {F}_q^n \rightarrow \mathbb {F}_p\) be defined by:
Since \(f'\) is 0preserving we can write \(f'\) as:
To prove that \(f \in \mathrm {Clg}(C^{[1]})\) it is therefore sufficient to show that \(f_{L_i} \in \mathrm {Clg}(C^{[1]})\) for all \(L_i \in R\). Let \(i \in I\) and let \(g:\mathbb {F}_q \rightarrow \mathbb {F}_p\) be a function such that \(f_{L_i}(x{\varvec{l}}_i) = g(x) = f'(x{\varvec{l}}_i)\). Then we prove by induction on the arity m that the function \(t_m:\mathbb {F}_q^m \rightarrow \mathbb {F}_p\) defined by:
is in \(\mathrm {Clg}(C^{[1]})\).
Case \(m =1\): if \(m = 1\) then \(t_1 = g\) is a unary function of \(C^{[1]}\).
Case \(m>1\): by the induction hypothesis we know that \(t_{m1} \in \mathrm {Clg}(C^{[1]})\). We define \(s_m:\mathbb {F}_q^2 \rightarrow \mathbb {F}_q^m\) by \(s_m(i,j) = (i,j,0,\dots ,0)\). We denote by \(f_{s_m(h,k)}\) the Lagrange interpolation function of the point \(s_m(h,k)\) (Definition 4.2). Let us define the function \(r:\mathbb {F}_q^m \rightarrow \mathbb {F}_p\) by:
for all \({\varvec{x}} = (x_1,\dots ,x_m) \in \mathbb {F}_q^m\). We prove that:
for all \((x_1,\dots ,x_m) \in \mathbb {F}_q^m\).
Case \(x_i \not = 0\) for some \(i \in \{3, . . . , n\}\): then \(r({\varvec{x}}) = 0 = t_m({\varvec{x}})\).
Case \(x_2 = 0\): in this case \(r({\varvec{x}}) = \sum _{a \in \mathbb {F}_q} g(x_1  ax_2)  \sum _{a \in \mathbb {F}_q\backslash \{0\}} g(ax_2 ) = qg(x_1)\) for all \(x_1 \in \mathbb {F}_q\), as required.
Case \(x_2 \not = 0\): we have \(r({\varvec{x}}) = \sum _{a \in \mathbb {F}_q} g(x_1  ax_2 )  \sum _{a \in \mathbb {F}_q\backslash \{0\}} g(ax_2 ) = \sum _{a \in \mathbb {F}_q} g(a) \) \( \sum _{a \in \mathbb {F}_q\backslash \{0\}} g(a) = g(0) = 0\).
Because of (4.1), we have \(r \in \mathrm {Clg}(\{t_{m1}\}) \subseteq \mathrm {Clg}(C^{[1]})\). Hence we have that \(qt_{m} \in \mathrm {Clg}(C^{[1]})\) and thus \(t_{m} \in \mathrm {Clg}(C^{[1]})\). This concludes the induction. Thus \(t_{n} \in \mathrm {Clg}(C^{[1]})\) and we can see that \(f_{L_i}(\lambda {\varvec{l}}_i) = t_n(\lambda (1,0,\dots ,0)) = g(\lambda )\), for all \(\lambda \in \mathbb {F}_q\), and \(f_{L_i}({\varvec{x}}) = t_n({\varvec{y}}) = 0\) for all \({\varvec{x}} \in \mathbb {F}_q^n \backslash \{\lambda {\varvec{l}}_i \mid \lambda \in \mathbb {F}_q\}\) and \({\varvec{y}} \in \mathbb {F}_q^n \backslash \{\lambda (1,0,\dots ,0) \mid \lambda \in \mathbb {F}_q\}\). By Lemma 4.1, \(f_{L_i} \in \mathrm {Clg}(\{t_n\}) \subseteq \mathrm {Clg}(C^{[1]})\), which concludes the proof. \(\square \)
Theorem 4.4
Let p and q be two powers of distinct primes. Then the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid of all 0preserving functions is generated by the unary Lagrange interpolation function \(f_1\) (Definition 4.2).
Proof
The proof follows directly from Theorem 4.3 since \(\mathrm {Clg}(f_1)\) contains every 0preserving unary function. \(\square \)
The following two corollaries of Theorem 4.3 tell us that there are only finitely many distinct \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids.
Corollary 4.5
Let p and q be powers of different primes. Let C and D be two \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids. Then \(C = D\) if and only if \(C^{[1]} = D^{[1]}\).
Corollary 4.6
Let p and q be powers of distinct prime numbers. Then every \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid has a set of finitely many unary functions as generators, and hence there are only finitely many distinct \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids.
The lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids
In this section we investigate the structure of the lattice \({\mathcal {L}}(p,q)\) of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids through a characterization of their unary parts. We call the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids that are composed by only 0 preserving functions 0preserving \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids. We will see that there is an isomorphism between the sublattice \({\mathcal {L}}_0(p,q)\) of the 0preserving \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids and the lattice of subspaces that are invariant under a particular cyclic linear transformation A(p, q) on the vector space \(\mathbb {F}_p^{{\mathbb {F}}_{q1}}\).
In order to characterize the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids we need the definition of a monoid ring.
Definition 5.1
Let \(\langle M, +\rangle \) be a monoid and let \(\langle R, +, \odot \rangle \) be a commutative ring with identity. Let
We define the monoid ring of M over R as the ring \((S, +, \cdot )\). Here \(+\) is the pointwise addition of functions and \((\sigma \cdot \rho )(a) := \sum _{b\in M} \sigma (b) \odot \rho (a  b)\). We denote the monoid ring of M over R by R[M].
Using the notation of [2] for all \(a \in M\) we define \(\tau _a\) to be the element of \(R^M\) with \(\tau _a(a) = 1\) and \(\tau _a (M\backslash \{a\}) = \{0\}\). We observe that for all \(f \in R[M]\) there is an \({\varvec{r}} \in R^M\) such that \(f = \sum _{a\in M} r_a\tau _a \) and that we can multiply such expressions using the rule \(\tau _a \cdot \tau _b = \tau _{a+b }\).
Definition 5.2
Let \({\mathbb {F}}_p\) and \({\mathbb {F}}_q\) be finite fields and let \({\mathbb {F}}_q^{\times }= ({\mathbb {F}}_q, \cdot )\) be the multiplicative monoid reduct of \({\mathbb {F}}_q\). We define the action \(*:{\mathbb {F}}_p[{\mathbb {F}}_q^{\times }] \times {\mathbb {F}}_p^{{\mathbb {F}}_q} \rightarrow {\mathbb {F}}_p^{{\mathbb {F}}_q}\) for all \(a \in {\mathbb {F}}_q^{\times }\) and \(f \in {\mathbb {F}}_p^{{\mathbb {F}}_q}\) by
So for \(\sigma \in {\mathbb {F}}_p[{\mathbb {F}}_q^{\times }] \) with \(\sigma = \sum _{a\in {\mathbb {F}}_q^{\times }} z_a \tau _a \), then
We can observe that V is an \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodule of \(\mathbb {F}_p^{\mathbb {F}_q}\) if and only if it is a subspace of \(\mathbb {F}_p^{\mathbb {F}_q}\) satisfying
for all \(f \in V\) and \(a \in \mathbb {F}_q\). Clearly the following lemma holds.
Lemma 5.3
Let p and q be powers of primes. Then the unary part of an \((\mathbb {F}_p , \mathbb {F}_q)\)linearly closed clonoid is an \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodule of \(\mathbb {F}_p^{\mathbb {F}_q}\).
In order to show the following results we use the Galois correspondence between clonoids and pairs of relations as developed in [11].
Definition 5.4
For a set I and \(R \subseteq A^I\) , \(S \subseteq B^I\) let
denote the set of finitary functions preserving (R, S). We call \(\mathrm {Pol}(R, S)\) the set of polymorphisms of the relational pair (R, S).
Let \(R := \{(S_i , T_i ) \mid i \in I\}\) be a set of pairs of relations on A and B. Then the set of functions that are polymorphisms of all pairs of all the relations in R is denoted by \(\mathrm {Pol}(R)\).
Lemma 5.5
Let p and q be powers of distinct primes. Let U be the subspace of \(\mathbb {F}_q^{\mathbb {F}_q}\) that is generated by the identity map on \(\mathbb {F}_q\), and let V be an \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodule of \(\mathbb {F}_p^{\mathbb {F}_q}\). Then \(\mathrm {Pol}(U, V )\) is an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid with unary part V.
Proof
By Definition 5.4 we have that \(V \subseteq \mathrm {Pol}(U, V )\) and every unary function in \(\mathrm {Pol}(U, V )^{[1]} \) is in V. Thus \(\mathrm {Pol}(U, V )^{[1]} = V\).
Next we show that \(\mathrm {Pol}(U, V )\) is an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid. Let \(f, g \in \mathrm {Pol}(U, V )\) be mary. Thus the functions \(x \mapsto f(c_1x, \dots , c_mx)\) and \(x \mapsto g(c_1x, \dots , \) \(c_mx)\) are in V for all \(c_1 ,\dots , c_m \in \mathbb {F}_q\).
Let \(a, b \in \mathbb {F}_p\) and let \(b_1,\dots ,b_m \in \mathbb {F}_q\). Then
for all \(x \in {\mathbb {F}}_q\). Hence \(af + bg \in \mathrm {Pol}(U, V )\).
Next let \(n \in {\mathbb {N}}\), let \(A \in \mathbb {F}_q^{m\times n}\), and let \(b_1,\dots ,b_n \in \mathbb {F}_q\). Then
is in V. Hence the nary function \(g:{\mathbb {F}}_q^n \rightarrow {\mathbb {F}}_p\) such that \(g:(x_1,\dots ,x_n) \mapsto f(A \cdot (x_1,\dots , x_n)^t )\) is in \(\mathrm {Pol}(U,V)\) and thus \(\mathrm {Pol}(U,V)\) is an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid. \(\square \)
A clonoid C with source set A and target algebra \({\mathbf {B}}\) is finitely related if there exists a finite set of pairs of finitary relations R on A and B such that \(C = \mathrm {Pol}(R)\). It can be easily observed that every finitely related clonoid is the clonoid of polymorphisms of a single pair of relations.
Together with Theorem 4.3, Lemma 5.5 implies immediately the following.
Lemma 5.6
Let p and q be powers of distinct primes. Then every \((\mathbb {F}_p , \mathbb {F}_q )\)linearly closed clonoid is finitely related.
Corollary 5.7
Let p and q be powers of distinct primes. Then the function \(\pi ^{[1]}\) that sends an \((\mathbb {F}_p , \mathbb {F}_q)\)linearly closed clonoid to its unary part is an isomorphism between the lattice of all \((\mathbb {F}_p , \mathbb {F}_q)\)linearly closed clonoids and the lattice of all \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q}\).
With the next lemma we begin to characterize the unary parts of the \(({\mathbb {F}}_p,{\mathbb {F}}_q)\)linearly closed clonoids. In order to do so we consider the group ring \({\mathbb {F}}_p[{\mathbb {F}}_q\backslash \{0\}]\) and the \(({\mathbb {F}}_p[{\mathbb {F}}_q\backslash \{0\}],*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\) where \(*\) is the restriction of the action defined in Definition 5.2 and \({\mathbb {F}}_q\backslash \{0\}\) is the multiplicative group of \({\mathbb {F}}_q\).
Lemma 5.8
Let p and q be powers of distinct primes. Then the lattice of all \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q}\) is the direct product of the lattice of all \(({\mathbb {F}}_p[{\mathbb {F}}_q\backslash \{0\}],\) \(*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\) (isomorphic to \({\mathcal {L}}_0(p,q)\)) and the twoelement chain \({\mathbf {2}}\).
Proof
Let \(V_0, V_1 \subseteq \mathbb {F}_p^{{\mathbb {F}}_q}\) be defined by:
It is clear that \(V_0\) and \(V_1\) are \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q}\) and we denote the lattices of all \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodules of \(V_0\) and \(V_1\) by \({\mathcal {L}}_0\) and \({\mathcal {L}}_1\). We can observe that \({\mathcal {L}}_1 \cong {\mathbf {2}}\). Moreover, \(V_0 + V_1 = \mathbb {F}_p^{\mathbb {F}_q}\) and \(V_0 \cap V_1 = 0\). Let W be an \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodule of \(\mathbb {F}_p^{\mathbb {F}_q}\). Then we have that either \(W \le V_0\) or \(W \ge V_1\), since \({\varvec{v}} \not \in V_0\) implies \(v_0 \not =0\) and thus that \((1,\dots ,1)\) is in the \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodule of \(\mathbb {F}_p^{\mathbb {F}_q}\) generated by \({\varvec{v}}\). Next, we show that \(W = (W \cap V_0) + (W \cap V_1)\):
Case \(W \le V_0\): then \((W \cap V_0) + (W \cap V_1) = W + (W \cap V_1) = W\)
Case \(W \ge V_1\): then \((W \cap V_0) + (W \cap V_1) = (W \cap V_0) + V_1\) which is equal to \(W \cap (V_0 + V_1) = W\), using the modular law. Thus the function \(\gamma \) from the lattice \({\mathcal {L}}_0 \times {\mathcal {L}}_1\) to the lattice of all \(({\mathbb {F}}_p[{\mathbb {F}}_q^{\times }],*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q}\) such that \(\gamma :(R,W) \mapsto R + W\) is clearly surjective and order preserving. Furthermore, let \((R_1,W_1), (R_2,W_2) \in {\mathcal {L}}_0 \times {\mathcal {L}}_1\) with \(R_1 + W _1 = R_2 + W_2\). Then, since \(R_1, R_2 \le V_0\), \(W_1, W_2 \le V_1\), and \(V_0 \cap V_1 = 0\), \(R_1 = (R_1 + W_1) \cap V_0 = (R_2 + W_2) \cap V_0 = R_2\), using the modular law. With the same strategy we can prove that \(W_1 = W_2\) and it is clear that \(\gamma ^{1}\) is order preserving. Thus \(\gamma \) is a lattice isomorphism.
Hence, by Corollary 5.7, \({\mathcal {L}}(p,q)\) is isomorphic to \({\mathbf {2}} \times {\mathcal {L}}_0\). Furthermore, the lattice \({\mathcal {L}}_0\) is isomorphic to \({\mathcal {L}}_0(p,q)\) via the isomorphism \(\pi _{\ge 2} :{\mathcal {L}}_0 \rightarrow {\mathcal {L}}_0(p,q)\) such that:
for all \(C \in {\mathcal {L}}_0\). \(\square \)
The next step is to characterize the lattice \({\mathcal {L}}_0(p,q)\). To this end we observe that \(V \in {\mathcal {L}}_0(p,q)\) if and only if is a subspace of \({\mathbb {F}}_p^{{\mathbb {F}}_q\backslash \{0\}}\) satisfying
for all \(f \in V\) and \(a \in \mathbb {F}_q\backslash \{0\}\).
Let \(\alpha \) be a generator of the multiplicative subgroup of \({\mathbb {F}}_q\). The closure under the linear transformation \(A(p,q):\mathbb {F}_p^{{\mathbb {F}}_q \backslash \{0\}} \rightarrow \mathbb {F}_p^{{\mathbb {F}}_q \backslash \{0\}}\) defined as \(A(p,q)(f)= x \mapsto f(\alpha x)\) is enough to describe the property to be closed under all the \(q1\) linear transformations in (5.3). We can see that the minimal polynomial of A(p, q) is \(x^{q1}1\).
Thus the last step is to characterize the lattice of the A(p, q)invariant subspaces of \(\mathbb {F}_p^{{\mathbb {F}}_q \backslash \{0\}}\). This is sufficient to conclude our characterization of the lattice of all \(({\mathbb {F}}_p,{\mathbb {F}}_q)\)linearly closed clonoids since we know from Corollary 5.7 and Lemma 5.8 that \({\mathcal {L}}(p,q) \cong {\mathbf {2}} \times {\mathcal {L}}_0(p,q)\) and the lattice of all the A(p, q)invariant subspaces of \(\mathbb {F}_p^{{\mathbb {F}}_q \backslash \{0\}}\) is isomorphic to the lattice \({\mathcal {L}}_0(p,q)\) of all \(({\mathbb {F}}_p,{\mathbb {F}}_q)\)linearly closed clonoids composed by 0preserving functions and to the lattice of all \(({\mathbb {F}}_p[{\mathbb {F}}_q\backslash \{0\}],\) \(*)\)submodules of \(\mathbb {F}_p^{\mathbb {F}_q\backslash \{0\}}\).
Corollary 5.7 and Lemma 5.8 describe the structure of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids in case p and q are powers of distinct primes. In Figure 1 we draw a scheme of the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids. On the right hand side we have the 0preserving part and on the left, the part with constants. Let \({\mathbf {1}},\mathbf {0_P}, {\mathbf {C}}, \mathbf {\{0\}}\) denote the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids of all functions, of all 0preserving functions, of all constants, and of the zero constants respectively.
The lattice of invariant subspaces under a linear transformation on finitedimensional vector spaces was characterized in [3]. We can see that A(p, q) has minimal polynomial \(g = x^{q1} 1\). Let \(g = \prod _{i =1}^s p_i^{k_i}\) be the prime factorization of g over \(\mathbb {F}_p[x]\). We define \(V_i = \mathrm {ker}(p_i(A(p,q))^{k_i})\), and \(A(p,q)_i = A(p,q)_{V_i}\). We know from [3] that with the prime factorization of g we can split our vector space \(\mathbb {F}_q^{{\mathbb {F}}_q\backslash \{0\}}\) into its primary decomposition:
According to [3] the lattice \({\mathcal {L}}(A(p,q))\) of the A(p, q)invariant subspaces of \(\mathbb {F}_q^{{\mathbb {F}}_q\backslash \{0\}}\), is:
We can observe that \(\mathbb {F}_q^{{\mathbb {F}}_q\backslash \{0\}}\) is an A(p, q)cyclic space generated by the vector \((1,0,\dots ,0)\). Thus, every A(p, q)invariant subspace of \(\mathbb {F}_q^{{\mathbb {F}}_q\backslash \{0\}}\) is A(p, q)cyclic, by Remark 3.2.
With these tools we are now ready to prove Theorems 1.2 and 1.3.
Proof of Theorem 1.2.
Let C be an \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoid and let \(C_0\) be its 0preserving part. Let V be the image of \(C_0\) under the isomorphism of Corollary 5.7 and let \((V_1,V_2)\) be the image of V under the isomorphism of Lemma 5.8. Furthermore let W be the image of \(V_1\) under \(\pi _{\ge 2}\). We have observed that W is an A(p, q)cyclic space. Let \({\varvec{v}}\) be the A(p, q)cyclic vector for W (Definition 3.1). We can observe that \(f = (0,v_1,\dots ,v_{q1})\) is a generator for \(C_0^{[1]}\) and thus, by Theorem 4.3, is a unary generator for \(C_0\). Furthermore, either \(C_0 = C\) or \(C_0 \subset C\).
Case \(C_0 = C\): then C is generated by f.
Case \(C_0 \subset C\): then \(\{1\} \in C\), where 1 is the constant unary function with value 1. Let f be the unary generator of \(C_0\). We will prove that C is generated by \(h = f + 1\). Indeed, let \(g \in C\) be an nary function. Then, there exists a 0preserving nary function \(g_0\) such that \(g = g_0 + g({\varvec{0}})\), where \(g({\varvec{0}})\) is the constant nary function with value \(g({\varvec{0}})\). Hence, \(g \in \mathrm {Clg}(\{g_0\}) \vee \mathrm {Clg}(\{g({\varvec{0}})\}) \subseteq \mathrm {Clg}(\{f\}) \vee \mathrm {Clg}(\{1\}) \subseteq \mathrm {Clg}(\{h\})\). Thus \(C = \mathrm {Clg}(\{h\})\) and the claim holds. \(\square \)
Proof of Theorem 1.3
Let p and q be powers of distinct primes and let \(\prod _{i =1}^n p_i^{k_i}\) be the prime factorization of the polynomial \(g = x^{q1} 1\) in \(\mathbb {F}_p[x]\). First we know from Corollary 5.7 and Lemma 5.8 that \({\mathcal {L}}(p,q) \cong {\mathbf {2}} \times {\mathcal {L}}_0(p,q)\). Furthermore, we know that \({\mathcal {L}}_0(p,q)\) is isomorphic to the lattice of all A(p, q)invariant subspaces of \({\mathbb {F}}_p^{{\mathbb {F}}_q\backslash \{0\}}\). We have observed that A(p, q) has g as minimal polynomial. So let \(V_i\) be the ith primary component and let \((A(p,q))_i\) be the ith restriction of A(p, q) with minimal polynomial \(p_i^{k_i}\), for \(i=1,\dots ,n\). Then we know that \(\mathbb {F}_p^{{\mathbb {F}}_q\backslash \{0\}}\) is (A(p, q))cyclic with \((1,0,\dots ,0)\) as (A(p, q))cyclic vector. Hence also \(V_i\) is (A(p, q))cyclic, for \(i=1,\dots ,n\), as a subspace of an (A(p, q))cyclic space (Remark 3.2). From [3, Lemma 2], the lattice of all \(A(p,q)_i\)invariant subspaces of \(V_i\) is isomorphic to the chain with \(k_i + 1\) elements. Thus, from (5.4), we have that:
and the claim holds. \(\square \)
With this theorem we have completely characterized the structure of the lattice \({\mathcal {L}}(p,q)\) using the prime factorization of the polynomial \(x^{q1}1\), which can be easily computed. We conclude our investigation with a corollary that shows how the lattice of all \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids is structured.
Corollary 5.9
Let p and q be powers of distinct primes. Then the lattice \({\mathcal {L}}(p,q)\) of the \((\mathbb {F}_p,\mathbb {F}_q)\)linearly closed clonoids is a distributive lattice.
Proof
It follows from Theorem 1.3 that \({\mathcal {L}}(p,q)\) is a direct product of chains and hence is distributive. \(\square \)
References
 1.
Aichinger, E., Mayr, P.: Finitely generated equational classes. J. Pure Appl. Algebra 220(8), 2816–2827 (2016)
 2.
Aichinger, E., Moosbauer, J.: Chevalley Warning type results on abelian groups (2019, preprint)
 3.
Brickman, L., Fillmore, P.A.: The invariant subspace lattice of a linear transformation. Can. J. Math. 19, 810–822 (1967)
 4.
Brakensiek, J., Guruswami, V.: Promise constraint satisfaction structure theory and a symmetric Boolean dichotomy. In: Proceedings of the TwentyNinth Annual ACMSIAM Symposium on Discrete Algorithms ( SODA’18). pp. 1782–1801. SIAM, Philadelphia (2018)
 5.
Bulín, J., Krokhin, A., Opršal, J.: Algebraic approach to promise constraint satisfaction. In: Proceedings of the Annual ACM Symposium on Theory of Computing (STOC ’19). pp. 602–613. ACM, New York (2019)
 6.
Fripertinger, H.: The number of invariant subspaces under a linear operator on finite vector spaces. Adv. Math. Commun. 5(2), 407–416 (2011)
 7.
Harnau, W.: Ein verallgemeinerter Relationenbegriff für die Algebra der mehrwertigen Logik. I. Grundlagen Rostock. Math. Kolloq. 28, 5–17 (1985). (German)
 8.
Kreinecker, S.: Closed function sets on groups of prime order. J MultipleVal Logic Soft Comput 33(1–2), 51–74 (2019)
 9.
Krokhin, A., Bulatov, A.A., Jeavons, P.: The complexity of constraint satisfaction: an algebraic approach. In: Structural theory of automata, semigroups, and universal algebra. NATO Sci. Ser. II Math. Phys. Chem., vol. 207, pp. 181–213. Springer, Dordrecht (2005)
 10.
Lehtonen, E.: Closed classes of functions, generalized constraints, and clusters. Algebra Universalis 63(2–3), 203–234 (2010)
 11.
Pippenger, N.: Galois theory for minors of finite functions. Discrete Math. 254, 405–419 (2002)
 12.
Pöschel, R., Kalužnin, L.A.: Funktionen und Relationenalgebren. Mathematische Monographien[Mathematical Monographs], vol. 15. VEB Deutscher Verlag der Wissenschaften, Berlin (1979)
 13.
Post, E.L.: The twovalued iterative systems of mathematical logic. Ann. of Math. Stud., vol. 5. Princeton University Press, Princeton (1941)
 14.
Rosenberg, I.: Maximal clones on algebras \(A\) and \(A^{r}\). Rend. Circ. Mat. Palermo 2(18), 329–333 (1969)
 15.
Szendrei, Á.: Clones in universal algebra. In: Séminaire de Mathématiques Supérieures. Seminar on Higher Mathematics, vol. 99. Presses de l’Université de Montréal, Montréal (1986)
Acknowledgements
The author thanks Erhard Aichinger, who inspired this paper, and Sebastian Kreinecker for many hours of fruitful discussions. The author thanks the referees for their useful suggestions.
Funding
Open access funding provided by Johannes Kepler University Linz.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research was supported by the Austrian Science Fund (FWF):P29931.
Presented by R. Pöschel.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fioravanti, S. Closed sets of finitary functions between finite fields of coprime order. Algebra Univers. 81, 52 (2020). https://doi.org/10.1007/s00012020006835
Received:
Accepted:
Published:
Keywords
 Clonoids
 Clones
Mathematics Subject Classification
 08A40