English
Related papers

Related papers: The lattice of varieties of implication semigroups

200 papers

In this paper we present new formulas, which represent commutators and anticommutators of Clifford algebra elements as sums of elements of different ranks. Using these formulas we consider subalgebras of Lie algebras of pseudounitary…

Mathematical Physics · Physics 2016-08-29 Dmitry Shirokov

We study how the existence in an algebraic lattice $L$ of a chain of a given type is reflected in the join-semilattice $K(L)$ of its compact elements. We show that for every chain $\alpha$ of size $\kappa$, there is a set $\B$ of at most…

Combinatorics · Mathematics 2008-12-12 Ilham Chakir , Maurice Pouzet

Non-commutative Poisson algebras are the algebras having an associative algebra structure and a Lie algebra structure together with the Leibniz law. Let $P$ be a non-commutative Poisson algebra over some algebraically closed field of…

Rings and Algebras · Mathematics 2025-03-18 Zhennan Pan , Gang Han

In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular…

Combinatorics · Mathematics 2022-06-14 Valerii Sopin

We completely determine all semigroup varieties satysfiyng a permutational identity of length 3 that are modular elements of the lattice of all semigroup varieties. Using this result, we provide an example of a semigroup variety that is a…

Group Theory · Mathematics 2017-09-12 Dmitry V. Skokov , Boris M. Vernikov

Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce implicative assemblies as sets valued in the separator of…

Algebraic Topology · Mathematics 2023-04-21 Félix Castro , Alexandre Miquel , Krzysztof Worytkiewicz

There exists two types of nonassociative algebras whose associator satisfies a symmetric relation associated with a 1-dimensional invariant vector space with respect to the natural action of the symmetric group on three elements. The first…

Rings and Algebras · Mathematics 2009-10-06 Elisabeth Remm , Michel Goze

Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two…

Databases · Computer Science 2009-03-24 Vadim Tropashko

A mixed lattice is a partially ordered set with two mixed partial orderings that are linked by asymmetric upper and lower envelopes. These notions generalize the join and meet operations of a lattice. In the present paper, we study…

Group Theory · Mathematics 2025-02-20 Jani Jokela

In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these…

Quantum Algebra · Mathematics 2007-05-23 Stephen Berman , Chongying Dong , Shaobin Tan

Relational lattice reduces the set of six classic relational algebra operators to two binary lattice operations: natural join and inner union. We give an introduction to this theory with emphasis on formal algebraic laws. New results…

Databases · Computer Science 2007-05-23 Marshall Spight , Vadim Tropashko

We determine a lattice of inclusion classes of semigroups consisting of unions of varieties of generalised inflations of rectangular bands.

Rings and Algebras · Mathematics 2014-11-19 R. A. R. Monzo

This book is organized into seven chapters. Chapter one is introductory in content. The notion of neutrosophic set linear algebras and neutrosophic neutrosophic set linear algebras are introduced and their properties analysed in chapter…

General Mathematics · Mathematics 2010-03-10 W. B. Vasantha Kandasamy , Florentin Smarandache , K. Ilanthenral

We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain…

Group Theory · Mathematics 2021-04-13 B. M. Vernikov

Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity…

Representation Theory · Mathematics 2012-02-17 David M. Riley , Mark C. Wilson

We represent Feigin's construction [11] of lattice W algebras and give some simple results: lattice Virasoro and $W_3$ algebras. For simplest case $g=sl(2)$ we introduce whole $U_q(sl(2))$ quantum group on this lattice. We find simplest…

High Energy Physics - Theory · Physics 2008-02-03 S. V. Kryukov , Ya. P. Pugay

For a positive integer $s$, a lattice $L$ is said to be $s$-integrable if $\sqrt{s}\cdot L$ is isometric to a sublattice of $\mathbb{Z}^n$ for some integer $n$. Conway and Sloane found two minimal non $2$-integrable lattices of rank $12$…

Number Theory · Mathematics 2021-04-12 Qianqian Yang , Kiyoto Yoshino

We classify integral rootless lattices which are sums of pairs of $EE_8$-lattices (lattices isometric to $\sqrt 2$ times the $E_8$-lattice) and which define dihedral groups of orders less than or equal to 12. Most of these may be seen in…

Representation Theory · Mathematics 2008-06-18 Robert L. Griess , Ching Hung Lam

The sets of all neutral, distributive and lower-modular elements of the lattice of semigroup varieties are finite, countably infinite and uncountably infinite, respectively. In 2018, we established that there are precisely three neutral…

Group Theory · Mathematics 2022-12-12 Sergey V. Gusev

We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a…

Logic · Mathematics 2012-10-16 Sergey V. Sudoplatov