Related papers: Hall sets, Lazard sets and comma-free codes
We prove the Freiheitssatz for right-symmetric algebras and the decidability of the word problem for right-symmetric algebras with a single defining relation. We also prove that two generated subalgebras of free right-symmetric algebras are…
In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of…
The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix…
A cross-bifix-free code is a set of words in which no prefix of any length of any word is the suffix of any word in the set. Cross-bifix-free codes arise in the study of distributed sequences for frame synchronization. We provide a new…
We study a specific class of CFTs that involve coupled free fermions, arising from parafermion CFTs and lattice constructions. We analyse their representation spaces and the underlying exclusion statistics of coupled free fermions using…
Building on work of Brandt and Terao in their study of $k$-formality, we introduce a co-chain complex associated to a multi-arrangement and prove that its cohomologies determine freeness of the associated module of multi-derivations. This…
An elementary proof that certain pairs of $2\times 2$ matrices with nonnegative real coordinates generate free monoids.
Here we have studied the idea of semi Lamda*-closed sets and investigate some of their properties in spaces considered by A. D. Alexandroff [1]. We have introduced some new separation axioms namely semi-Tw/4, , semi-T3w/8, semi-T5w/8, and…
Let $\alpha\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_{\alpha}$ of relativized diagonal free set algebras of dimension $\alpha$. With same technique, we prove several important results concerning this class. Among these…
A connection between the theory of formal groups and arithmetic number theory is established. In particular, it is shown how to construct general Almkvist--Meurman--type congruences for the universal Bernoulli polynomials that are related…
We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the…
Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads, distributive laws fail to exist, and this has motivated investigations into weaker…
In an atomic, cancellative, commutative monoid $S$, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length…
We give an exposition of results of Baldwin-Shelah on saturated free algebras, at the level of generality of complete first order theories $T$ with a saturated model $M$ which is in the algebraic closure of an indiscernible set. We then…
An effective way to design structured coherent wave interference patterns that builds on the theory of coherent lattices, is presented. The technique combines prime number factorization in the complex plane with moir\'e theory to provide a…
Non-commutative Hilbert schemes, introduced by M. V. Nori, parametrize left ideals of finite codimension in free algebras. More generally, parameter spaces of finite codimensional submodules of free modules over free algebras are…
We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…
Lattices and partially ordered sets have played an increasingly important role in coding theory, providing combinatorial frameworks for studying structural and algebraic properties of error-correcting codes. Motivated by recent works…