Related papers: Interpreting formulas of divisible lattice ordered…
We characterize those semilattices that give rise to Boolean spaces on their associated spaces of ultrafilters. The class of 0-disjunctive semilattices, important in the theory of congruence-free inverse semigroups, plays a distinguished…
We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…
Let $\mathbf{G}$ be a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. We consider bivariate zeta functions of groups of the form $\mathbf{G}(\mathcal{O})$…
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character…
Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to…
We prove the decidability of the elementary theory of a free group.
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…
In this paper we introduce and study the lattice of normal subgroups of a group $G$ that determine solitary quotients. It is closely connected to the well-known lattice of solitary subgroups of $G$ (see \cite{5}). A precise description of…
We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the…
The author has previously shown that solvable Lie A-algebras and complemented solvable Lie algebras decompose as a vector space direct sum of abelian subalgebras, and their ideals relate nicely to this decomposition. However, neither of…
We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…
We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups.
We investigate the definability (reducts) lattice of the order of integers and describe a sublattice generated by relations 'between', 'cycle', 'separation', 'neighbor', '1-codirection', 'order' and equality'. Some open questions are…
Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…
We consider the families of finite Abelian groups $\ZZ/p\ZZ\times \ZZ/p\ZZ$, $\ZZ/p^2\ZZ$ and $\ZZ/p\ZZ\times \ZZ/q\ZZ$ for $p,q$ two distinct prime numbers. For the two first families we give a simple characterization of all functions…
We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with…
We completely determine all commutative epigroup varieties that are cancellable elements of the lattice EPI of all epigroup varieties. In particular, we verify that a commutative epigroup variety is a cancellable element of the lattice EPI…
The study of essential and strongly essential variables in functions defined on finite sets is a part of $k$-valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal…
A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads…
We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…