Differences

This shows you the differences between two versions of the page.

semirings_with_zero [2010/07/29 18:30]
127.0.0.1 external edit
semirings_with_zero [2013/06/06 21:23] (current)
jipsen
Line 8: Line 8:
-$\langle S,+,0\rangle $ is a [[commutative monoids]]+$\langle S,+,0\rangle $ is a [[commutative monoid]]
-$\langle S,\cdot\rangle$ is a [[semigroups]]+$\langle S,\cdot\rangle$ is a [[semigroup]]
Line 21: Line 21:
==Morphisms== ==Morphisms==
Let $\mathbf{S}$ and $\mathbf{T}$ be semirings with zero. A morphism from $\mathbf{S}$ Let $\mathbf{S}$ and $\mathbf{T}$ be semirings with zero. A morphism from $\mathbf{S}$
-to $\mathbf{T}$ is a function $h:Sarrow T$ that is a homomorphism: +to $\mathbf{T}$ is a function $h:S\to T$ that is a homomorphism:
$h(x+y)=h(x)+h(y)$, $h(x\cdot y)=h(x)\cdot h(y)$, $h(0)=0$ $h(x+y)=h(x)+h(y)$, $h(x\cdot y)=h(x)\cdot h(y)$, $h(0)=0$