English
Related papers

Related papers: Subresiduated lattice ordered commutative monoids

200 papers

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…

Logic · Mathematics 2020-06-02 Eliahu Levy

Slim semimodular lattices were introduced by G. Gr\"atzer and E. Knapp in 2007, and they have intensively been studied since then. It is often reasonable to give these lattices by their $\mathcal C_1$-diagrams defined by the author in 2017.…

Rings and Algebras · Mathematics 2021-12-15 Gábor Czédli

General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product…

Rings and Algebras · Mathematics 2023-07-28 Vincenzo Marra , Matías Menni

Let $G$ be a real centre-free semisimple Lie group without compact factors. I prove that irreducible lattices in $G$ are rigid under two types of sublinear distortions. The first result is that the class of lattices in groups that do not…

Group Theory · Mathematics 2023-06-27 Ido Grayevsky

Let $\texttt{R}$ be a commutative finite chain ring of invariants $(q,s).$ In this paper, the trace representation of any free cyclic $\texttt{R}$-linear code of length $\ell,$ is presented, via the $q$-cyclotomic cosets modulo $\ell,$ when…

Information Theory · Computer Science 2017-02-06 Alexandre Fotue Tabue , Christophe Mouaha

We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from…

Category Theory · Mathematics 2014-10-14 Mark V. Lawson , Philip Scott

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved.…

Rings and Algebras · Mathematics 2011-07-04 Luigi Santocanale , Friedrich Wehrung

In this paper we study the lattice of restricted subalgebras of a restricted Lie algebra. In particular, we consider those algebras in which this lattice is dually atomistic, lower or upper semimodular, or in which every restricted…

Rings and Algebras · Mathematics 2022-01-06 Pilar Paez-Guillan , Salvatore Siciliano , David A. Towers

We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, such that for any variety V of algebras, if D has a lifting, with respect to the…

Rings and Algebras · Mathematics 2007-05-23 Friedrich Wehrung , Jiri Tuma

Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let…

Representation Theory · Mathematics 2021-10-22 Valdemar Tsanov , Yana Staneva

We say that a (∨,0)-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X $\leq$ Y (i.e., x $\leq$ y for all (x, y) $\in$ X x Y), there exists z $\in$ S such that X $\leq$ z $\leq$ Y,…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic $\star$-autonomous) quantale if and only if L is a…

Logic in Computer Science · Computer Science 2020-04-20 Luigi Santocanale

Jackson and Lee proved that certain six-element monoid generates a hereditarily finitely based variety $\mathbb E^1$ whose lattice of subvarieties contains an infinite ascending chain. We identify syntactic monoids which generate finitely…

Group Theory · Mathematics 2023-06-19 Olga B. Sapir

A connected algebraic group Q defined over a field of characteristic zero is quasi-reductive if there is an element of its dual of reductive type, that is such that the quotient of its stabiliser by the centre of Q is a reductive subgroup…

Representation Theory · Mathematics 2011-11-28 Anne Moreau , Oksana Yakimova

The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in…

Rings and Algebras · Mathematics 2019-07-12 Elisabeth Remm

We present a simple lattice formulation of two-dimensional $\mathcal{N}=(2,2)$ $U(k)$ supersymmetric QCD (SQCD) with $N$ matter multiplets in the fundamental representation. The construction uses compact gauge link variables and exactly…

High Energy Physics - Lattice · Physics 2009-07-22 Daisuke Kadoh , Fumihiko Sugino , Hiroshi Suzuki

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…

Logic · Mathematics 2014-03-24 Pierre Gillibert

Properties of several sorts of lattices of convex subsets of R^n are examined. The lattice of convex sets containing the origin turns out, for n>1, to satisfy a set of identities strictly between those of the lattice of all convex subsets…

Metric Geometry · Mathematics 2007-06-13 George M. Bergman

We consider the Kronecker quiver and determine the relations for the specialisation to q=0 of the generic composition algebra as well as those for Reineke's composition monoid. We also obtain a normal form for the varieties occurring in the…

Representation Theory · Mathematics 2007-05-23 Andrew Hubery

Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their…

Commutative Algebra · Mathematics 2018-02-06 Jun Seok Oh