Displaying similar documents to “The semiring of quotients of commutative semirings”

On some combinatorial properties of generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions

Dorota Bród, Anetta Szynal-Liana, Iwona Włoch (2022)

Czechoslovak Mathematical Journal

Similarity:

We study generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions. We present some properties of these quaternions and the relations between the generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions.

Commutative directoids with sectional involutions

Ivan Chajda (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.

A fully equational proof of Parikh’s theorem

Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We show that the validity of Parikh’s theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of μ -term equations of continuous commutative idempotent semirings.

The algebraic structure of pseudomeadow

Hamid Kulosman (2024)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the characterization of finite commutative meadows, given by I. Bethke, P. Rodenburg, and A. Sevenster in their paper (2015), to the case of commutative pseudomeadows with finitely many idempotents. We also extend the well-known characterization of general commutative...

Finite Product of Semiring of Sets

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets.We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use here the notation from the book of Aliprantis and Border [1].