4
$\begingroup$

Another question on representability:

let $F$ be the covariant functor from the category CommutativeRing to Set which sends a ring to its nilradical. Is it representable? What if you restrict to the subcategory NoetherianCommutativeRing?

My intuitive guess is yes in the first case and no in the second case, but I'm not sure.

  • 0
    The functor Ted suggested is represented by the ring $\mathbb{Z}[x]/(x^n)$. This just says that to specify a ring morphism $\mathbb{Z}[x]/(x^n) \to R$ you just need to decide where $x$ goes and it can go to any element $y$ of $R$ such that $y^n=0$.2011-10-04

1 Answers 1

5

No. Any representing ring would have to contain a universal nilpotent element (corresponding to the identity map on the representing ring), which clearly can not exist.

  • 4
    This is what Kevin means: Assume that the nilradical functor is represented by some ring $R$. The morphisms $R \to R$ should correspond to the nilpotent elements of $R$, let $r$ be the nilpotent corresponding to the identity morphism. By definition $r$ has the following property: for any nilpotent $a$ in some ring $A$, there is$a$unique ring morphism $R \to A$ mapping $r \mapsto a$. But if $r^n = 0$, clearly $r$ cannot be mapped to a nilpotent $a$ with $a^n \neq 0$.2011-10-04