English
Related papers

Related papers: Semilattice ordered algebras with constants

200 papers

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

Group Theory · Mathematics 2022-06-23 Peter M Higgins , Marcel Jackson

We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the algorithm to compute various types of lattices freely generated…

Combinatorics · Mathematics 2010-04-26 Jean Yves Semegni , Marcel Wild

We study uniform stability of discrete groups, Lie groups and Lie algebras in the rank metric, and the connections between uniform stability of these objects. We prove that semisimple Lie algebras are far from being flexibly…

Group Theory · Mathematics 2026-04-16 Benjamin Bachner

In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…

Rings and Algebras · Mathematics 2025-01-20 Kostiantyn Iusenko , John MacQuarrie

Orbital semilattices are introduced as bounded semilattices that are, in addition, equipped with an outer multiplication (a semigroup action) and diagonals (a concept borrowed from cylindric algebra), where each semilattice element has a…

General Mathematics · Mathematics 2022-06-17 Jens Kötters , Stefan E. Schmidt

We examine the properties of algebras of linear transformations that leave invariant all subspaces in a totally ordered lattice of subspaces of an arbitrary vector space. We compare our results with those that apply for the corresponding…

Rings and Algebras · Mathematics 2019-02-13 Don Hadwin , K. J. Harrison

Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in…

Quantum Algebra · Mathematics 2007-05-23 Michael Roitman

In this paper, we introduce the concept of stable automorphic forms for semisimple algebraic groups and use the stability of automorphic forms to study the geometry of infinite dimensional arithmetic quotients.

Algebraic Geometry · Mathematics 2025-09-15 Jae-Hyun Yang

We characterize the order of principal congruences of a bounded lattice as a bounded ordered set. We also state a number of open problems in this new field.

Rings and Algebras · Mathematics 2013-10-01 G. Grätzer

Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…

Rings and Algebras · Mathematics 2007-05-23 Vijay Kodiyalam , K. N. Raghavan

We characterize, in a purely algebraic manner, certain linear forms, called stable, on a Lie algebra. As an application, we determine the index of a Borel subalgebra of a semi-simple Lie algebra. Finally, we give an example of a parabolic…

Representation Theory · Mathematics 2007-05-23 Patrice Tauvel , Rupert W. T. Yu

In this paper we continue the study of the subalgebra lattice of a Leibniz algebra. In particular, we find out that solvable Leibniz algebras with an upper semi-modular lattice are either almost-abelian or have an abelian ideal spanned by…

Rings and Algebras · Mathematics 2023-05-26 Pilar Páez-Guillán , Salvatore Siciliano , David A. Towers

We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use…

Functional Analysis · Mathematics 2014-05-30 Paul Poncet

This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is…

Group Theory · Mathematics 2014-03-07 R. A. Borzooei , A. Dvurečenskij , O. Zahiri

We prolonge the list of C*-algebras for which all extensions by any stable separable C*-algebra are semi-invertible. In particular, we handle certain amalgamations, both of C*-algebras and of groups. Concerning groups we consider both…

Operator Algebras · Mathematics 2010-05-13 Vladimir Manuilov , Klaus Thomsen

It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a complete classification of the (join-irreducible) covers of the…

Logic · Mathematics 2021-10-19 James Koussas , Tomasz Kowalski

In the current paper we study extremal semilattices with respect to their equational properties. In the class $\mathbf{S}_n$ of all semilattices of order $n$ we find semilattices which have maximal (minimal) number of consistent equations.…

Rings and Algebras · Mathematics 2016-10-18 Artem N. Shevlyakov

We consider rational power series over an alphabet $\Sigma$ with coefficients in a ordered commutative semiring $K$ and characterize them as the free ordered $K$-semialgebras in various classes of ordered $K$-semialgebras equipped with a…

Formal Languages and Automata Theory · Computer Science 2011-02-24 Zoltan Esik , Werner Kuich

Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.

Rings and Algebras · Mathematics 2016-01-20 A. N. Shevlyakov

We consider algebras of rational power series over an alphabet $\Sigma$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.

Formal Languages and Automata Theory · Computer Science 2011-04-14 Zoltan Esik , Werner Kuich