nLab ordered Artinian local ring

Contents

 Definition

An ordered Artinian local ring is a local ring which is both an ordered local ring and an Artinian local ring: a commutative ring RR with a strict order <\lt such that the positive elements form a multiplicative subset of RR, the sum of two positive elements is positive, every element aRa \in R is invertible if and only if it is positive or negative, and the set of non-invertible elements forms a nilradical.

See also

Last revised on December 14, 2022 at 00:36:38. See the history of this page for a list of all contributions to it.