We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.
Many infinite finitely generated ideal-simple commutative semirings are additively idempotent. It is not clear whether this is true in general. However, to solve the problem, one can restrict oneself only to parasemifields.
Nous continuons dans ce second article, l’étude des outils algébrique de l’algèbre de la caractéristique 1 : nous examinons plus spécialement ici les algèbres de polynômes sur un semi-corps idempotent. Ce travail est motivé par le développement de la géométrie tropicale qui apparaît comme étant la géométrie algébrique de l’algèbre tropicale. En fait l’objet algébrique le plus intéressant est l’image de l’algèbre de polynôme dans son semi-corps des fractions. Nous pouvons ainsi retrouver sur les...
It is well known that a semigroup S is a Clifford semigroup if and only if S is a strong semilattice of groups. We have recently extended this important result from semigroups to semirings by showing that a semiring S is a Clifford semiring if and only if S is a strong distributive lattice of skew-rings. In this paper, we introduce the notions of Clifford semidomain and Clifford semifield. Some structure theorems for these semirings are obtained.
The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical...
Parasemifields (i.e., commutative semirings whose multiplicative semigroups are groups) are considered in more detail. We show that if a parasemifield contains as a subparasemifield and is generated by , , as a semiring, then is (as a semiring) not finitely generated.
In this paper, we introduce the notion of ternary semi-integral domain and ternary semifield and study some of their properties.In particular we also investigate the maximal ideals of the ternary semiring Z¯₀.