English
Related papers

Related papers: The structure of \'etale Boolean right restriction…

200 papers

This paper addresses the symbolic representation of non-convex real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints. We develop an original data structure for representing such sets,…

Formal Languages and Automata Theory · Computer Science 2010-11-02 Bernard Boigelot , Julien Brusten , Jean-François Degbomont

Antichains of a finite bounded poset are assigned antichains playing a role analogous to that played by blockers in the Boolean lattice of all subsets of a finite set. Some properties of lattices of generalized blockers are discussed.

Combinatorics · Mathematics 2007-05-23 Andrey O. Matveev

This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection…

Group Theory · Mathematics 2010-02-01 Brent Everitt , John Fountain

In this article several properties of the inverse along an element will be studied in the context of unitary rings. New characterizations of the existence of this inverse will be proved. Moreover, the set of all invertible elements along a…

Rings and Algebras · Mathematics 2015-07-21 Julio Benitez , Enrico Boasso

We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise…

Logic in Computer Science · Computer Science 2014-07-15 Chris Heunen

This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…

Logic · Mathematics 2018-05-09 A. V. Mikhalev , E. V. Ovchinnikova , E. A. Palyutin , A. A. Stepanova

The subfactor approach to modular invariants gives insight into the fusion rule structure of the modular invariants.

Operator Algebras · Mathematics 2007-05-23 David E Evans , Paulo R Pinto

We give a systematic construction of inverse-closed (Banach) subalgebras in general higher-dimensional non-commutative tori

Operator Algebras · Mathematics 2017-06-21 Karlheinz Gröchenig , Michael Leinert

An AG-monoid is an AG-groupoid (a groupoid satisfying the identity called left invertive law $(xy)z=(zy)x$) and having a left identiy. In this paper we enumerate AG-monoids algebraically and then implement them in GAP to compute them…

Group Theory · Mathematics 2026-01-08 Muhammad Shah , S. Shpectorov

The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Pranshu Gaba , Arnab Sur

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these…

Rings and Algebras · Mathematics 2026-05-18 Salvatore Tringali

Known and new results on free Boolean topological groups are collected. An account of properties which these groups share with free or free Abelian topological groups and properties specific of free Boolean groups is given. Special emphasis…

General Topology · Mathematics 2016-12-16 Ol'ga Sipacheva

The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state…

Category Theory · Mathematics 2012-12-19 María Calvo , Antonio M. Cegarra , Benjamín A. Heredia

Given an ideal I in a polynomial ring, we consider the largest monomial subideal contained in I, denoted mono(I). We study mono as an interesting operation in its own right, guided by questions that arise from comparing the Betti tables of…

Commutative Algebra · Mathematics 2017-10-13 Justin Chen

In this paper, we study the geometry of AL-monoids by introducing the concept of metric betweeness and its properties t1, t2,, B-linearity, D-linearity, lattice betweeness, B-linearity, and Dlinearity, segments and equilateral triangles. It…

Let $A$ be a commutative noetherian ring, containing a field $k$, with $1/2\in k$, $\dim A=d$, and let $P$ be a projective $A$-module or $rank(P)=n$. In continuation of \cite{MM}, we study Homotopy obstructions for $P$ to split off a free…

Commutative Algebra · Mathematics 2019-02-26 Satya Mandal , Bibekananda Mishra

This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…

Rings and Algebras · Mathematics 2011-11-01 Dion Coumans , Bart Jacobs

Boole polynomials play an important role in the area of number theory, algebra and umbral calculus. In this paper, we investigate some properties of Boole polynomials and consider Witt-type formulas for the Boole numbers and polynomials.…

Number Theory · Mathematics 2013-10-31 Dae San Kim , Taekyun Kim

We show that \'etale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids,…

K-Theory and Homology · Mathematics 2024-09-09 Alistair Miller

We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…

Rings and Algebras · Mathematics 2024-11-21 Pere Ara , Ken Goodearl , Kevin C. O'Meara , Enrique Pardo , Francesc Perera