Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added to local ring a short remark on that the spectrum of a ring is local if and only if the ring is local.
Added to local ring a constructive proof of the (finitary variant of) Kaplansky’s theorem.
I added to local ring (and also field) a mention of the constructive notion of “weak local ring” (the noninvertible elements form an ideal), whose residue fields are precisely the “residue fields” (rings in which the set of noninvertible elements is $\{0\}$).
1 to 3 of 3