Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is decades since I've done math, so please forgive the lack of correct terminology and lack of latex etc. I'm endeavoring to write a simple CAS calculator that can handle structures that undergraduates could run into.

Thanks to wikipedia, I've found that the way of adding a multiplicative inverse to a ring to create a field is called 'localization' - where R is the ring, S = R - zero divisors of R,

the new field is basically an ordered pair (S, R), with the meaning S^-1 * R I guess there is an implied cancellation law added so that (x,x) => (1,1), along with standard rules for rational addition, multiplication, and inverse.

Have I got this right so far?

Anyway, I figure that creating an additive inverse for a semiring is R[n], where n^2 = 1, and x+xn=0, n is the symbol for negative. Is this the quotient group R[n]/(n^2 - 1, 1 + n)?

Is there any proper name for this process, and do I have it correct?

share|improve this question
    
It depends on your semiring. In some cases, semirings do not obey the distributive law, and adding elements will not fix it, and often quotients also will not. Gerhard "Ask Me About System Design" Paseman, 2012.03.07 –  Gerhard Paseman Mar 8 '12 at 1:23
    
Thanks Gerhard, The version of semiring that I have been using is an additive commutative monoid and a multiplicative monoid related by the destributive law and 0 annihilates over multiplication. I would specify that n is a new element, commutative over R like a standard polynomial extension, though R not necessarily commutative. With distributivity specified, does the above extension and quotient of the semi-ring always work, or are there other problems? Also it seems like creating additive inverses should have a proper name ... –  Richard Mar 8 '12 at 4:00
    
Even if it is distributive, you are right that it can't always work. I can see how some semirings (like Max-plus) only can have inverses when quotiented with itself making a trivial ring. –  Richard Mar 8 '12 at 13:38
add comment

2 Answers

up vote 2 down vote accepted

I think it is often called forming the Grothendieck ring. The construction is really defined for commutative monoids, where one calls it the Grothendieck group and then you carry the multiplication along for the ride in the semiring case. Peter May uses this terminology on page 199 of his concise course on algebraic topology.

share|improve this answer
    
That is exactly what I was looking for. The standard construction for Grothendieck rings is very similar to the above method of localization - using a Cartesian product and defining new operations - and I had in fact considered something like it. I'm not sure if my proposed construction is isomorphic or not, I suspect that my equivalence relation is suboptimal (the newly constucted group will be larger than necessary), though it still should work. –  Richard Mar 8 '12 at 8:33
    
I can't really understand much in the book you referenced, and I can't see where it defines multiplication over the Cartesian product, but I have defined it distributively (p1,n1)(p2,n2)=(p1 p2 + n1 n2, p1 n2 + n1 p2) I've realized that an optimal solution defined by the Grothendieck group is necessary, otherwise inverses are not unique = no ring. Max-plus semi-rings under this construction collapse to a single element (as idempotent operations can't have inverses). I guess a quotient creating a trivial ring is always guaranteed to create a ring!! Though not what I was hoping for. –  Richard Mar 8 '12 at 13:32
    
You can construct the Grothendieck group of the additive monoid via a fraction style construction (except the operation is addition). Then the multiplication can be extended in a natural way. Of course if addition is idempotent then you will collapse the whole semiring. –  Benjamin Steinberg Mar 8 '12 at 19:59
add comment

I've found a useful reference about when semi-groups can be turned into groups

http://en.wikipedia.org/wiki/Cancellative_semigroup#Embeddability_in_groups

Which can be extended to turning semi-rings into rings as described in the above answer.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.