### On the equation xt- » xt+q in categories.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Back to Simple Search
# Advanced Search

This short note reviews the main contributions of the Ph.D. thesis of Imre Simon. His graduate work had major impact on algebraic theory of automata and thirty years later we are in a good position to appreciate how sensitive he was in selecting good problems, and how clever in solving them!

We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property . It is a generalization of functional completeness, and is intimately connected to the computational complexity of various questions about expressions, circuits, and equations defined over the loop. We say that a loop is if it is an iterated affine quasidirect product of Abelian groups; polyabelianness coincides with solvability for...

**Page 1**