Ordered semigroups and ideal categories of principal ideal rings
In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I(R) and the other as a category I_R . It is shown that I(R) is a regular ordered semigroup whereas I_R is a category with subobjects. Further we establish the correspondence between these structure
math.RA↗