# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Added to local ring a short remark on that the spectrum of a ring is local if and only if the ring is local.

2. Added to local ring a constructive proof of the (finitary variant of) Kaplansky’s theorem.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeNov 26th 2017

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\}$).