Ideals and congruence kernels of algebras
The infinite algebras with 3-transitive groups of weak automorphisms are investigated. Among others it is shown that if an infinite algebra with 3-transitive group of weak automorphisms has a nontrivial idempotent polynomial operation then either it is locally functionally complete or it is polynomially equivalent to a vector space over the two element field or it is a simple algebra that is semi-affine with respect to an elementary 2-group. In the second and third cases the group of weak automorphisms...
Which subgroups of the symmetric group Sn arise as invariance groups of n-variable functions defined on a k-element domain? It appears that the higher the difference n-k, the more difficult it is to answer this question. For k ≤ n, the answer is easy: all subgroups of Sn are invariance groups. We give a complete answer in the cases k = n-1 and k = n-2, and we also give a partial answer in the general case: we describe invariance groups when n is much larger than n-k. The proof utilizes Galois connections...