Related papers: Pseudocomplementation and Minimal Prime Ideals in …
For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and…
This paper illustrates the relationship between boolean propositional algebra and semirings, presenting some results of partial ordering on boolean propositional algebras, and the necessary conditions to represent a boolean propositional…
The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among…
We introduce and study an abstract class of semirings, which we call exact semirings, defined by a Hahn-Banach-type separation property on modules. Our motivation comes from the tropical semiring, and in particular a desire to understand…
Using the matrix product state (MPS) representation of the recently proposed tensor ring decompositions, in this paper we propose a tensor completion algorithm, which is an alternating minimization algorithm that alternates over the factors…
We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in…
The aim of this paper is to study the class of quasicomplemented distributive nearlattices. We investigate $\alpha$-filters and $\alpha$-ideals in quasicomplemented distributive nearlattices and some results on ideals-congruence-kernels.…
In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective…
The computational complexity of the circuit evaluation problem for finite semirings is considered, where semirings are not assumed to have an additive or multiplicative identity. The following dichotomy is shown: If a finite semiring is…
The main goal of this article is to introduce BL-rings, i.e., commutative rings whose lattices of ideals can be equipped with a structure of BL-algebra. We obtain a description of such rings, and study the connections between the new class…
In this paper, we consider a question of sum-keeping about a multiplicative subsemigroup and its generator subsets in a semiring, and develop some elementary (collapse) process of the sum-keeping retraction through subsets until one minimal…
We study several separation axioms for $X$-top-lattices (i.e. a lattice $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{% Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$…
We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…
In this paper, we prove that Dedekind-Mertens lemma holds only for those semimodules whose subsemimodules are subtractive. We introduce Gaussian semirings and prove that bounded distributive lattices are Gaussian semirings. Then we…
Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…
Perfect lattice actions are exiting with several respects: they provide new insight into conceptual questions of the lattice regularization, and quasi-perfect actions could enable a great leap forward in the non-perturbative solution of…
In the second section, we introduce hemiring-valued pseudonormed rings and generalize Albert's result which states that every finite-dimensional algebra can be normed. Next, we introduce shrinkable hemirings and prove that dense division…
Motivated by appearance of multisemigroups in the study of additive $2$-categories, we define and investigate the notion of a multisemigroup with multiplicities. This notion seems to be better suitable for applications in higher…
Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total…
A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a…