Embedding semirings in semirings with multiplicative unit

摘要

A topological semiring is a system (S, +, ?·) where (S, +) and (S, ?·) are topological semigroups and ?· distributes across + as in a ring; that is, for all x, y, z in S, The operations + and ?· are called addition and multiplication respectively.