Skip to main content
Pierre-Yves Gaillard's user avatar
Pierre-Yves Gaillard's user avatar
Pierre-Yves Gaillard's user avatar
Pierre-Yves Gaillard
  • Member for 15 years, 2 months
  • Last seen this week
comment
Is $\operatorname{Hom}(F,G)$ finite if $F$ and $G$ are endofunctors of the category of finite sets?
Thanks a lot! +1. In the contravariant case, does it suffice to replace $kX$ with its dual?
Loading…
comment
Applications of the Chinese remainder theorem
@lcv - Thank you for your interest! Well, $f$ is the Lagrange interpolation polynomial iff $A$ is diagonalizable, iff the roots of $\mu$ are simple. For instance, if $A^2=0$ but $A\ne0$, then $\mu(x)=x^2,f(x)=1+x,e^A=I+A$, but Lagrange's polynomial is $g(x)=1$, which gives $g(A)=I\ne e^A$.
comment
Applications of the Chinese remainder theorem
@lcv - No, I don't know. All I can say is this: If $A$ is a complex square matrix and $\mu$ is its minimal polynomial, then there is a unique univariate polynomial $f$ with complex coefficients such that $\deg f<\deg\mu$ and $e^A=f(A)$. Moreover there is a simple expression for $f$ in term of the roots of $\mu$ and their multiplicities.
awarded
awarded
awarded
revised
Loading…
comment
Is every commutative ring a limit of noetherian rings?
@DenisNardin - Here is my (perhaps incorrect) argument for the claim "yes to Question 1 would imply yes to Question 2": Let $C\in\mathsf{CRing}$ be arbitrary, write $C=\lim_iC_i$ with $C_i$ noetherian, set $\text{Hom}:=\text{Hom}_{\mathsf{CRing}}$, and note $$\text{Hom}(B,C)\simeq\lim_i\text{Hom}(B,C_i)\simeq\lim_i\text{Hom}(A,C_i)\simeq\text{Hom}(A,C).$$ This implies that $f$ is an isomorphism. Thanks for telling me what's wrong with this, and for spelling out your argument.
awarded
comment
Is every commutative ring a limit of noetherian rings?
@YCor - You mean that "limit" and "projective limit" are synonymous, and so are "colimit" and "inductive limit", not the other way around. Don't you?
revised
Loading…
comment
Is every commutative ring a limit of noetherian rings?
Thanks for your answer and your comment! If I'm not mistaken your post also gives a negative answer to Question 1. Don't you think so? [In your answer I think $x=a$.]
comment
Is every commutative ring a limit of noetherian rings?
@YCor - Thanks! The question is about limits, not colimits. In question 1 I wrote "Is there a functor from a small category to $\mathsf{Noeth}$ whose limit in $\mathsf{CRing}$ is $A$?". Do you think it's not a clear enough definition of what is meant by "limit"?
Loading…
comment
Are unique prime ideal factorization domains locally noetherian?
Thank you very much for this wonderful answer! (Minor typo: "if $\mathfrak{m}$ IF finitely generated" should be "if $\mathfrak{m}$ IS finitely generated".)
Loading…
comment
Classify commutative rings $R$ such that $A \otimes_{\Bbb Z} B = A \otimes _{R} B$
I'll use Fernando Muro's hint: mathoverflow.net/q/95160/461 shows (I think) that $R$ has your property $\iff R$ is solid. Indeed $\implies$ is clear. It only remains to check that the solid rings given by the classification have your property, which (it seems to me) is not hard.
1
4 5
6
7 8
26