The finite 1-affine complete Frobenius groups. (Q1429149)

Let \(G\) be an (additively written) finite group. A normal subgroup of \(G\) is called distributive if it is a distributive element in the lattice of normal subgroups of \(G\). If \(k\) is a positive integer and \(N\) is a normal subgroup of \(G\), then a function \(\varphi\) from the Cartesian power \(G^k\) to \(G\) is said to be compatible with \(N\) if \(x=(x_1,\dots,x_k),y=(y_1,\dots,y_k)\in G^k\) and \(x_i-y_i\in N\) for \(1\leq i\leq k\) implies \(\varphi(x)-\varphi(y)\in N\). A function \(\varphi\colon G^k\to G\) that is compatible with all normal subgroups of \(G\), is said to be compatible. If \(k=1\) and \(N\) is a distributive minimal normal subgroup of \(G\), then for every compatible function \(\psi\) on \(G/N\) there exists a compatible function \(\varphi\) on \(G\), such that \(\psi(g+N)=\varphi(g)+N\) for all \(g\in G\) (Theorem 1.1). This result generalises an earlier one by \textit{W. Nöbauer} and the reviewer [Publ. Math. 23, 53-61 (1976; Zbl 0355.20052)]. A group is called \(k\)-affine complete if every compatible function \(\varphi\colon G^k\to G\) is a polynomial function as defined by \textit{W. Nöbauer} and the reviewer [Algebra of polynomials (North-Holland Mathematical Library 5, North-Holland, Amsterdam) (1973; Zbl 0283.12101)]. If \(N\) is a distributive minimal normal subgroup of \(G\), then \(G\) is 1-affine complete if and only if \(G/N\) is 1-affine complete and \(N\) is either non-Abelian or a direct factor of \(G\) of order 2 (Theorem 1.2). With the help of this result, it is shown that if \(G\) is a Frobenius group with Frobenius complement \(H\), then \(H\) is 1-affine complete if and only if \(|H|=2\) (Proposition 5.3).