Commentationes Mathematicae Universitatis Carolinae
نویسندگان
چکیده
We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property Boolean completeness. 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 polyabelian if it is an iterated affine quasidirect product of Abelian groups; polyabelianness coincides with solvability for groups, and lies properly between nilpotence and solvability for loops. Our main result is that a loop is Boolean-complete if and only if it is not polyabelian. Since groups are Boolean-complete if and only if they are not solvable, this shows that polyabelianness, for these purposes, is the appropriate generalization of solvability to loops.
منابع مشابه
Commentationes Mathematicae Universitatis Carolinae
Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and u...
متن کاملCommentationes Mathematicae Universitatis Carolinae
For Tychonoff X and α an infinite cardinal, let αdef X := the minimum number of α cozero-sets of the Čech-Stone compactification which intersect to X (generalizing R-defect), and let rtX := minα max(α, α def X). Give C(X) the compact-open topology. It is shown that τC(X) ≤ nχC(X) ≤ rtX = max(L(X), L(X) def X), where: τ is tightness; nχ is the network character; L(X) is the Lindelöf number. For ...
متن کاملANNALES SOCIETATIS MATHEMATICAE POLONAE Series I: COMMENTATIONES MATHEMATICAE ROCZNIKI POLSKIEGO TOWARZYSTWA MATEMATYCZNEGO Seria I: PRACE MATEMATYCZNE
In this paper we study the existence of solution of a nonlinear integral equation of (mixed type) Volterra-Fredholm type. As an application we prove the existence of solution of an initial value problem of fractional order in the space of Lebesgue integrable functions on the interval [0, 1]. 200 Mathematics Subject Classification: 26A33, 45J05, 39B05, 34A60, 34G20, 34K05.
متن کاملDissertationes Mathematicae Universitatis Tartuensis Iteratively Defined Transfinite Trace Semantics and Program Slicing with Respect to Them
متن کامل
Contarinia manii sp. n. (Diptera, Cecidomyiidae): inducer of a remarkable gall on Acacia ferruginea in southern India
Contarinia manii (Diptera: Cecidomyiidae) is described as a new species, on the basis of adults reared from remarkable 'cylinder-piston' galls formed from contiguous leaflets of Acacia ferruginea D.C. in southern India. These galls have been known since 1952 but adults were not reared until 2007. The new species, and another Indian species, Contarinia ramachandrani (Mani), induce similar but di...
متن کامل