Related papers: Bouligand-Severi Tangents in MV-Algebras

An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi…

An MV-algebra (equivalently, a lattice-ordered Abelian group with a distinguished order unit) is strongly semisimple if all of its quotients modulo finitely generated congruences are semisimple. All MV-algebras satisfy a Chinese Reminder…

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…

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…

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…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…

Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring…

In the first part of this paper, we give a new analytical proof of a theorem of C. Sabbah on integrable deformations of meromorphic connections on $\mathbb P^1$ with coalescing irregular singularities of Poincar\'e rank 1, and generalizing…

Let $V$ be a complex finite dimensional super vector space with an action of a connected semisimple group $G$. We classify those pairs $(G,V)$ for which all homogeneous components of the super symmetric algebra of $V$ decompose…

We prove that a finite von Neumann algebra ${\mathcal A}$ is semisimple if the algebra of affiliated operators ${\mathcal U}$ of ${\mathcal A}$ is semisimple. When ${\mathcal A}$ is not semisimple, we give the upper and lower bounds for the…

An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…

We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is…

MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

A (vector space) basis B of a Lie algebra is said to be very nilpotent if all the iterated brackets of elements of B are nilpotent. In this note, we prove a refinement of Engel's Theorem. We show that a Lie algebra has a very nilpotent…

We study {\em disemisimple} Lie algebras, i.e., Lie algebras which can be written as a vector space sum of two semisimple subalgebras. We show that a Lie algebra $\mathfrak{g}$ is disemisimple if and only if its solvable radical coincides…

Let \lambda be a partition of a positive integer n. Let C be a symmetric rigid tensor category over a field k of characteristic 0 or char(k)>n, and let V be an object of C. In our main result (Theorem 4.3) we introduce a finite set of…

In this note, we prove that an affine cellular algebra $A$ is semisimple if and only if the scheme associated to $A$ is reduced and 0-dimensional, and the bilinear forms with respect to all layers of $A$ are isomorphisms. Moreover, if the…

We show that an arbitrary algebra ${ A}$, (of arbitrary dimension, over an arbitrary base field and any identity is not suppose for the product), is semisimple if and only if it has zero annihilator and admits a semi-division linear basis.…

We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free…