WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Local ring

Revision #848 → #1372 · back to history

addedLocal ring (equivalent definitions)f9d36863a611
addedMaximal ideals coincide with Jacobson radical7d45a5fd6d47
addedCommutative local ring characterizationc2ac9715f93c
addedLocal domain7805ce0f078d
addedFields are local ringsc88bd188a02d
addedZ/p^n is local5ce5d8fed476
addedRing with units and nilpotents is local0ac038241d66
addedDiscrete valuation rings069a2cea798f
addedFormal power series ring is local2a25619b652e
addedFormal power series over a local ring is local24ab17ce7883
addedDual numbers and F[X]/(X^n) are localae016c6e8de7
addedQuotients of local rings are localb1543c5ec077
addedRationals with odd denominatore9e30ac11aed
addedLocalization at a prime ideal593fa26a8526
addedPolynomial ring is not local71639f260e43
addedIntegers are not local78b94751e6b2
addedZ/(pq) is not localcb5d038d2d16
addedGerms of continuous functionsb432c02cdef6
addedInvertible germ characterization6daf92a26f65
addedRing of germs is localcafb279716e3
addedRings of germs in various settingsf344696605c7
addedValuation ring2c95385a23b8
addedValuation rings are local72f2c62ba81f
addedEndomorphism ring local iff indecomposable21bb5e546d3d
addedGroup algebra kG of a p-group is local73ce0cfd1ebc
addedm-adic topology05eeb03fb201
addedKrull's intersection theoremeda80189b2c1
addedGerms of smooth functions show Noetherian assumption is crucial867063902e83
addedCohen structure theoreme3d206de99d6
addedResidue fieldc441efbd59e7
addedLocal ring homomorphism85859e05067f
addedJacobson radical equals non-units482dd9acc0d4
addedEquivalent conditions for invertibility55d56804d603
addedFactor ring R/m is a skew fieldcefa58d19288
addedQuotient by two-sided ideal is locala45b327197af
addedKaplansky: projective modules over local rings are free199fac88586a
addedMorita equivalence classifies rings Morita equivalent to local rings4355a4fc8fc0