Construct a commutative ring and a countable infinite family of distinct maximal ideals of such that

- The intersection is zero, yet
- The canonical projection is not surjective.

Advertisements

Skip to content
# Infinite CRT fails

##
5 thoughts on “Infinite CRT fails”

### Leave a Reply

Construct a commutative ring and a countable infinite family of distinct maximal ideals of such that

- The intersection is zero, yet
- The canonical projection is not surjective.

Advertisements

%d bloggers like this:

Consider the integers with the countable infinite family of ideals being the prime ideals. The product ring is then the product of all the finite prime fields. This has the cardinality of the continuum and thus the projection cannot be surjective.

LikeLiked by 2 people

The non-surjectivity can also be proved by the same argument I gave below: once again no non-zero sequence with an infinite number of zeroes is in the image, since any integer divisible by an infinite number of primes must be zero.

LikeLiked by 1 person

A more or less geometric argument: take and consider the maximal ideals for natural . Then the projection map is just the product of the evaluation maps at each natural number. This cannot be surjective since for instance no non-zero sequence with an infinite number of zeroes is in the image.

LikeLiked by 1 person

To identify the image of this map, one can perform the following test. Pick a sequence, . If for no the sequence is bounded, then is not in the image. Else consider the least such that this happens. If was in the image by evaluation of a polynomial of degree , then in fact must converge to the leading coefficient of , call it . Repeat the argument with . If this procedure succeeds, then lies in the image of the map, else, it doesn’t.

LikeLiked by 1 person

In fact, this idea works for any ring of functions satisfying some kind of rigidity. Let be a -algebra of -valued functions with domain some set . Given , the ideal of functions in vanishing at is maximal, since the quotient is isomorphic to . Therefore, in order for the map to be surjective one needs to be able to produce functions in with an infinite number of prescribed values, which is not possible if the functions we are considering are rigid enough.

Another example building from this idea: let be a domain and consider the ring of holomorphic functions on . Then if is a sequence of points converging to a point in the interior of , the map cannot be surjective, since for instance any non-zero sequence that is eventually zero is not in the image by the identity theorem.

LikeLike