# Questions tagged [semirings]

The tag has no usage guidance.

36 questions
Filter by
Sorted by
Tagged with
1answer
312 views

### If the Grothendieck ring of a semiring on a free commutative monoid is unital, is the original semiring unital?

Suppose $S$ is an associative semiring whose underling commutative monoid is free (in particular, cancellative) and that its Grothendieck ring $G(S)$ is a unital ring. Can we conclude that $S$ must be ...
1answer
77 views

### Reference request: a cousin to the log semiring

Let $f$ be strictly increasing on $\mathbb{R}$. Then $x \oplus y := f^{-1}(f(x)+f(y))$ gives rise to a strict symmetric monoidal ($\Rightarrow$ commutative monoid) structure on $(\mathbb{R},\ge)$ with ...
0answers
144 views

### Union star symbol in set theory

In the slides Provenance for Database Transformations, page 24, they provide a semiring for lineage, which include a $\cup^*$ symbol. However, I can not find any related materials about the meaning of ...
1answer
228 views

1answer
249 views

### The property of category of Semirings

I’m now thinking about the property of category of semirings Rig. Is it complete or co-complete? I think that Rig has projective and inductive limits, and finite products and co-products, so it ...
0answers
113 views

1answer
64 views

### How to prove the following equivalent condition in idempotent semiring?

Let $(S,+,.)$ be an idempotent $( a+a=a ~ \forall ~a~ \in S)$ semiring. A partial order on $S$ defined as $a\leq b$ iff $a+b=b$ $\forall ~ a,b \in S$. Note that by an involution function on $S$, we ...
1answer
80 views

### How to prove left linear is left monotone? [closed]

In the paper D. Wilding, M. Johnson, M. Kambites, Exact rings and semirings, J.Algebra 388, (2013), 324-337; doi: j.jalgebra.2013.05.005, arXiv:1212.5358] I found the following statement in page ...
3answers
384 views

### ($\oplus$, $\otimes$) is a semiring. If $\otimes$ = +, what are the possible operators $\oplus$?

Assume that ($\oplus$, $\otimes$) is a semiring over the non-negative reals. If $\otimes$ is +, what are the possible operators for $\oplus$? So far I have proven that ...
1answer
172 views

### Is there a bijection $f: N \times N \rightarrow U \subset N$ with $f(x,y)+f(u,v)=f(x+u,y+v)$ and $f(x,y) \cdot f(u,v)=f(x \cdot u, y \cdot v)$?

Is there a subset of natural numbers that has the same additive and multiplicative structure as the set of ordered pairs of natural numbers under the classical operations of addition and ...
1answer
156 views

### What is known about semigroups that are generated by (cyclic) subgroups?

A semigroup $(A,\cdot)$ that is idempotent (i.e. $a^2=a$ for every element $a\in A$) is naturally generated by its subgroups (every element on itself constitutes a trivial group). I would like to know ...
1answer
224 views

### Looking for interesting, natural models of this algebraic theory in which $x^\dagger$ is not always the multiplicative inverse of $x$

It is easy to think up interesting, natural models of the algebraic theory presented as follows, such that in these models, $x^\dagger$ is always the multiplicative inverse of $x$. Question. What ...
0answers
157 views

### Quotients of the initial semiring

The natural numbers are the initial commutative semiring. Thus, for any commutative semiring $R$, there is a unique semiring map $\mathbb{N}\to R$. For which $R$ is this map an epimorphism? Some ...
1answer
235 views

### Semiring of vector bundles on $\mathbb{C}\mathbb{P}^1$

Consider the semiring $$\mathbb{N}[H,H^{-1}]/(H^p+H^q = H^{p+q}+1)_{p,q \in \mathbb{Z}}.$$ Is it finitely presentable? Is there any simplification of the relations (except for $p \geq q \geq 0$)? ...
1answer
1k views

### Categorification of the integers

I would like to know a natural categorification of the rig of integers $\mathbb{Z}$. This should be a $2$-rig. Among the various notions of 2-rigs, we obviously have to exclude those where $+$ is a ...
1answer
170 views

### Terminology for the equation $a=a+b$ in commutative semigroups

Let $(S,+)$ be a commutative semigroup. For $a,b\in S$ consider the equation $a=a+b$. Does such a relation between the given $a$ and $b$ have a name? I am currently using such equations quite often ...
0answers
189 views

### Moduli in semialgebraic geometry

Is there a moduli space in semialgebraic geometry analogous to the Hilbert scheme in algebraic geometry? The sort of thing I am imagining is an object in a category of semischemes: Ordinary schemes ...
1answer
228 views

### An extension of the real semiring with multiple degrees of infinity

Is it possible to define an extension of the probability semiring $(\mathbb{R}^+, +, \times, 0, 1)$ such that Closure $a^* = 1 + a + a^2 + \ldots$ is defined for every element of the semiring, not ...
2answers
418 views

### Integration on Compact Semirings

I want to know if integration of functions $f:X\rightarrow G$ where $G$ is a compact semiring has been defined and if it is possible to ensure that all continuous functions are integrable. This is ...
2answers
879 views

### Semiring naturally associated to any monoid?

For any monoid $M$, we can naturally construct a semiring $S$ as follows: Let the additive monoid of $S$ be the free commutative monoid on $M$ Let the multiplicative monoid of $S$ be $M$ Then, if ...
0answers
154 views

### Semirings where solving linear systems is in P

Solving linear systems appears hard in semirings. In $\mathbb{N}_0 (+,\times)$ it is NP-complete via reduction to 1-in-3 SAT. In the min-plus semiring the complexity is $NP \cap coNP$ according to ...
1answer
138 views

0answers
156 views

### Substitution semiring?

Let G be a [ CF ] grammar, and let elements of semiring be sets of rules. Define multiplication as: $$x\otimes y = \{ t| \exists r \in x \exists s \in y (t=subst(r,s))\}$$ where $subst(r,s)$ ...
0answers
2k views

### Mikhalkin's tropical schemes versus Durov's tropical schemes

In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...
6answers
2k views

### Are rings really more fundamental objects than semi-rings?

The discovery (or invention) of negatives, which happened several centuries ago by the Chinese, Indians and Arabs, has of course be of fundamental importance to mathematics. From then on, it seems ...