第一,在这糊一个必要条件和一个足够的条件因为在二导致 semiring 的估价代数学之间的同晶型被介绍存在 respectively.Then 一般估价同形基于不同领域被定义,并且估价代数学的相应同形定理被证明。
In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-induced valuation algebras to exist are presented respectively. Then a general valuation homomorphism based on different domains is defined, and the corresponding homomorphism theorem of valuation algebra is proved.