Talk:Irreducible ring
![]() | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Inequivalent conditions
[edit]The four conditions for irreducible commutative rings are not equivalent. For example, the quotient ring K[x, y]/I, where I = (x2, xy, y2) and K is a field, has a prime (in fact, maximal) nilradical but the intersection of (x + I, y2 + I) and (y + I, x2 + I) is zero. The ideal I is also a primary ideal of a Noetherian ring that is not irreducible. (See [1].) GeoffreyT2000 (talk) 23:50, 8 May 2015 (UTC)
Irreducible schemes
[edit]The sentence "Commutative meet-irreducible rings play an elementary role in algebraic geometry, where this concept is generalized to the concept of an irreducible scheme." in the last section is not really precise, since irreducible affine schemes do not correspond to commutative rings R which are meet-irreducible, but rather satisfy the following condition: R is not zero, and if the intersection of two ideals of R is nil, then one of the ideals is nil. (An ideal is called nil if every element is nilpotent.) Also, it is a bit confusing that this condition is mentioned in the section with the definitions, but not in the introduction, and that it has no name. What about "spectrally irreducible" and/or also including the description given above? Of course, in algebraic geometry, one just says "irreducible". ---oo- (talk) 21:17, 24 November 2016 (UTC)