User fred rohrer - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T07:39:48Z http://mathoverflow.net/feeds/user/11025 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/132398/surjectivity-of-the-natural-map-of-injective-module-to-its-localization/132431#132431 Answer by Fred Rohrer for Surjectivity of the natural map of injective module to its localization Fred Rohrer 2013-05-31T14:25:17Z 2013-05-31T14:25:17Z <p>A ring $A$ is said to have the ITI property with respect to an ideal $\mathfrak{a}$ if $\mathfrak{a}$-torsion submodules of injective $A$-modules are injective.</p> <p>Noetherian rings have ITI with respect to every ideal, but a ring with ITI with respect to every ideal is not necessarily noetherian (e.g. absolutely flat rings have ITI). However, there are rings without ITI, even with respect to some principal ideals.</p> <p>If $A$ has the ITI property with respect to (the ideal generated by) $f$ then the canonical morphism $I\rightarrow I_f$ is an epimorphism. Hence, noetheriannes is not necessary for this property to hold. But it is unknown to me (and I think also in general unknown) whether noetheriannes can be omitted.</p> <p>See also <a href="http://mathoverflow.net/questions/47043" rel="nofollow">this question</a> and its answer.</p> http://mathoverflow.net/questions/131657/why-did-bourbaki-ignore-the-theory-of-categories/131776#131776 Answer by Fred Rohrer for Why did Bourbaki ignore the theory of categories? Fred Rohrer 2013-05-24T21:20:24Z 2013-05-24T21:20:24Z <p>It might be interesting to look at the Appendix to Exposé I of SGA 4. In a footnote this is described as follows:</p> <p><em>Nous reproduisons ici, avec son accord, des papiers secrets de N. BOURBAKI.</em></p> <p>While the appendix treats mainly the theory of universes, it makes use of the language of categories. Moreover, some internal references hint to the existence of some more "papiers secrets" containing a draft of a chapter about categories.</p> http://mathoverflow.net/questions/130687/examples-of-polynomial-rings-ax-with-relatively-large-krull-dimension/130790#130790 Answer by Fred Rohrer for Examples of polynomial rings $A[x]$ with relatively large Krull dimension Fred Rohrer 2013-05-16T05:35:42Z 2013-05-16T12:50:36Z <p>Your question is essentially completely answered in the paper <a href="http://www.jstor.org/stable/2373549" rel="nofollow"><em>The dimension sequence of a commutative ring</em></a> by Arnold and Gilmer (Amer. J. Math. 96 (1974), 385--408).</p> <p><strong>EDIT:</strong> The aforementioned paper by Arnold and Gilmer treats the case of an arbitrary finite number of variables. Since you are interested only in the case of one variable, the general but still rather concrete construction of rings with the desired properties given in Bourbaki's <em>Algèbre commutative</em> VIII.2 Exercice 7 should be sufficient.</p> http://mathoverflow.net/questions/107650/axiom-of-global-choice/128226#128226 Answer by Fred Rohrer for "Axiom of global choice" Fred Rohrer 2013-04-21T09:49:45Z 2013-04-21T09:49:45Z <p>Dear Sergei, you might be interested in first reading Bourbaki's <em>Théorie des ensembles</em> (at least chapters I--III) and then have a look at section 0 and the appendix of SGA 4.I. This gives a slightly different approach using Hilbert's almighty symbol $\tau$. </p> http://mathoverflow.net/questions/57769/how-to-cite-math-journals/126855#126855 Answer by Fred Rohrer for How to cite math journals? Fred Rohrer 2013-04-08T13:46:49Z 2013-04-08T13:46:49Z <p>I agree with the other answers suggesting to use the standard abbreviations. The question is of course, Which are the standard abbreviations? Just recently (while arguing with the Springer Correction Team about, well, abbreviations of journal titles) I learned that for example Springer uses the abbreviations as given by the <a href="http://www.issn.org/" rel="nofollow">ISSN database</a>. To me this seems indeed somewhat more standard and moreover more universal than any other list. Unfortunaetly, this list seems not accessible to mere mortals. But said page can, with some care, at least be partially useful, as it provides this <a href="http://www.issn.org/2-22661-LTWA-online.php" rel="nofollow">accessible list</a> of standard abbreviations of words that may occur in titles of serials.</p> http://mathoverflow.net/questions/123645/how-to-call-covers-not-covering-anything-else/123666#123666 Answer by Fred Rohrer for How to call covers not covering anything else? Fred Rohrer 2013-03-05T21:07:38Z 2013-03-05T21:07:38Z <p>The construction "covering of $A$ by [something]" seems handy. For (1), one can use "covering of $A$ by subsets of $A$", and for (2) one can use "covering of $A$ by nonempty sets".</p> http://mathoverflow.net/questions/122127/subgroup-of-lattice-ordered-group/122269#122269 Answer by Fred Rohrer for Subgroup of lattice-ordered group Fred Rohrer 2013-02-19T06:04:26Z 2013-02-20T09:47:25Z <p>No. A counterexample (essentially from Bourbaki's <em>Algèbre</em> VI.1 Exercice 12 a)) is the following.</p> <p>We furnish $\mathbb{Z}$ with its usual structure of ordered group and consider the product of ordered groups $G=\mathbb{Z}^3$. This is a lattice, and for $(x,y,z),(u,v,w)\in G$ we have $$\textstyle\sup_G((x,y,z),(u,v,w))=(\sup(x,u),\sup(y,v),\sup(z,w)).$$ Now we consider the subgroup <code>$H=\{(x,y,z)\in G\mid z=x+y\}$</code> of $G$, furnished with its induced structure of ordered group. This is also a lattice, as one readily checks that for $(x,y,x+y),(u,v,u+v)\in H$ we have $$\textstyle\sup_H((x,y,x+y),(u,v,u+v))=(\sup(x,u),\sup(y,v),\sup(x,u)+\sup(y,v)).$$ However, since $$\textstyle\sup_G((0,1,1),(1,0,1))=(1,1,1)\neq(1,1,2)=\sup_H((0,1,1),(1,0,1))$$ we see that $H$ is <em>not</em> a sublattice of $G$.</p> http://mathoverflow.net/questions/121297/what-kind-of-subset-is-specr-p-in-specr/121303#121303 Answer by Fred Rohrer for What kind of subset is Spec(R_P) in Spec(R)? Fred Rohrer 2013-02-09T13:12:05Z 2013-02-09T13:31:58Z <p>Take $R=\mathbb{Z}$ and $P=0$. Then, ${\rm Spec}(R_P)$, considered canonically as a subset of ${\rm Spec}(R)$, consists precisely of the point $0$. In particular, it is not open in ${\rm Spec}(R)$. Hence, it is not a neighbourhood in ${\rm Spec}(R)$ of $0$, despite $0$ being the generic point of ${\rm Spec}(R_P)$ and ${\rm Spec}(R_P)$ being an open neighbourhood of its generic point in itself.</p> <p>You might want to have a look at Section I.2.5, especially Proposition I.2.5.2, of EGA [1970 edition] (or Section I.2.4 in the first edition) to get some more general information about your situation.</p> http://mathoverflow.net/questions/120536/is-the-empty-graph-a-tree/120549#120549 Answer by Fred Rohrer for Is the empty graph a tree? Fred Rohrer 2013-02-01T21:30:54Z 2013-02-01T21:30:54Z <p>In Bourbaki's terminology, the empty graph is a tree - cf. LIE.IV.Annex.3.</p> http://mathoverflow.net/questions/80279/on-the-definition-of-delta-functors On the definition of delta-functors Fred Rohrer 2011-11-07T08:24:15Z 2013-01-26T07:43:07Z <p>A $\delta$-functor is usually (e.g. in Grothendieck's Tohoku paper or in Cartan-Eilenberg's Homological Algebra) defined to be a <em>pair</em> <code>$$((T^i)_{i\in\mathbb{Z}},((\delta^i_{\mathbb{S}})_{i\in\mathbb{Z}})_{\mathbb{S}\text{ short exact sequence}})$$</code> consisting of a sequence of functors <code>$(T^i)_{i\in\mathbb{Z}}$</code> (with common Abelian source $\mathscr{C}$ and common additive target $\mathscr{D}$) <em>and</em> a family <code>$((\delta^i_{\mathbb{S}})_{i\in\mathbb{Z}})_{\mathbb{S}\text{ short exact sequence}}$</code>, indexed by short exact sequences in $\mathscr{D}$, of sequences of morphisms in $\mathscr{D}$ - the so-called connecting morphisms - subject to some conditions.</p> <p>However, sometimes (e.g. in Rotman's Introduction to Homological Algebra (First Edition)) a $\delta$-functor is defined to be a sequence <code>$(T^i)_{i\in\mathbb{Z}}$</code> of functors as above such that <em>there exists</em> a family <code>$((\delta^i_{\mathbb{S}})_{i\in\mathbb{Z}})_{\mathbb{S}\text{ short exact sequence}}$</code> as above, subject to the same conditions as above.</p> <p>One might wonder if the omission of the additional data of the connecting morphisms is done on purpose. Or, more precisely:</p> <blockquote> <p>Are the families of connecting morphisms of a $\delta$-functor uniquely determined by its sequence of functors?</p> </blockquote> <p>(I guess that the answer is no, and I guess it is still no if we consider only exact or even universal $\delta$-functors.)</p> <p><strong>EDIT:</strong> As Martin's example shows, the answer to the original question is no for trivial reasons. But is there an example with essentially different connecting morphisms (whatever that means, but it should rule out Martin's example, compositions with automorphisms, etc.)?</p> <p>More general: Can we say that the connecting morphisms are unique up to <em>something,</em> and even say what <em>something</em> is?</p> <p>Finally, concerning Martin's remark about the definition of universality: We can of course define this by using <em>all</em> connecting morphisms instead of a given one. Then we may wonder whether the usual notion of universality implies this stronger one...</p> http://mathoverflow.net/questions/119627/does-every-regular-noetherian-domain-have-finite-krull-dimension/119629#119629 Answer by Fred Rohrer for Does every regular Noetherian domain have finite Krull dimension? Fred Rohrer 2013-01-23T08:04:20Z 2013-01-23T08:04:20Z <p>No. An example is given in K. Fujita, <a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.hmj/1206136627&amp;page=record" rel="nofollow"><em>Infinite dimensional Noetherian Hilbert domains,</em></a> Hiroshima Math. J. 5 (1975), 181-185.</p> http://mathoverflow.net/questions/117959/laurent-polynomials/118026#118026 Answer by Fred Rohrer for Laurent Polynomials Fred Rohrer 2013-01-04T06:33:25Z 2013-01-04T06:33:25Z <p>Invertible elements of Laurent algebras, and more generally of algebras of torsionfree, cancellable commutative monoids, are characterised in Theorem 11.3 and Corollary 11.4 of Gilmer's <em>Commutative Semigroup Rings</em> (Chicago Lectures in Mathematics, 1984). The proofs given there are quite accessible.</p> http://mathoverflow.net/questions/117596/lattice-of-prime-ideals/117599#117599 Answer by Fred Rohrer for Lattice of Prime ideals Fred Rohrer 2012-12-30T08:47:51Z 2012-12-30T08:47:51Z <p>First, construct a totally ordered group $G$ of height $n$ by iterating the construction in Bourbaki's <em>Algèbre commutative,</em> VI.4.2 Exemple 1. Second, construct a valuation ring $A$ with group of values $G$ following the recipe in <em>loc.cit.,</em> VI.3.4 Exemple 6. Then, the spectrum of $A$ has cardinality $n$ and is totally ordered by inclusion.</p> http://mathoverflow.net/questions/117486/direct-product-of-rings/117564#117564 Answer by Fred Rohrer for Direct product of rings Fred Rohrer 2012-12-29T21:30:55Z 2012-12-29T22:15:03Z <p>Products of fields are semihereditary. This follows from the facts that products of fields are von Neumann regular and that von Neumann regular rings are semihereditary. A proof can be found (as suggested by David White) in Lam's <em>Lectures on modules and rings,</em> Example 2.32 d).</p> <p>(In the above, fields and rings are not necessarily commutative.)</p> http://mathoverflow.net/questions/115403/dimension-of-polynomial-algebras Dimension of polynomial algebras Fred Rohrer 2012-12-04T15:01:30Z 2012-12-05T08:28:06Z <p>Let $R$ be a commutative ring of Krull dimension $d$, let $n\in\mathbb{N}$, and let $R[X_1,\ldots,X_n]$ denote the polynomial algebra in $n$ indeterminates over $R$. One can show that then we have $\dim(R)+n\leq\dim(R[X_1,\ldots,X_n])$. So, it is natural to wonder about the class of rings $R$ for which this inequality is an equality.</p> <p>I know of only two subclasses of this class: Namely, the class of noetherian rings (Krull 1951) and the class of Prüfer rings (Seidenberg 1954).</p> <p>Are there other interesting classes of rings with the property that the Krull dimensions of their polynomial algebras are minimal in the above sense?</p> http://mathoverflow.net/questions/115387/question-on-localization-technique/115395#115395 Answer by Fred Rohrer for Question on localization technique Fred Rohrer 2012-12-04T13:35:02Z 2012-12-04T18:37:09Z <p>First, if $h:A\rightarrow B$ is a morphism of rings, $M$ is a $B$-module, and $N\subseteq M$ is a sub-$B$-module, then it holds $M=N$ if and only if the underlying sets of $M$ and $N$ are equal, hence if and only if the $A$-modules obtained from $M$ and $N$ by scalar restriction along of $h$ are equal.</p> <p>Second, if $A$ is a ring, $M$ is an $A$-module, and $N\subseteq M$ is a sub-$A$-module, then it holds $N=M$ if and only if $N_{\mathfrak{p}}=M_{\mathfrak{p}}$ for every prime ideal $\mathfrak{p}$ of $A$ (cf. [Bourbaki, Algèbre commutative, II.3.3 Théorème 1]).</p> <p>Third, putting the above together answers what seems to be your first question.</p> <p>Finally, it is not completely clear to me, what you want as an answer to your second question. Let me just point out that in the last paragraph of the proof one applies Lemma 15.1.4 (ii) and thus needs the base ring to be local with infinite residue field, and one moreover uses the facts that $R$ is *local and thus needs the base ring to be local.</p> http://mathoverflow.net/questions/115371/question-on-local-cohomology/115380#115380 Answer by Fred Rohrer for Question on local cohomology Fred Rohrer 2012-12-04T09:19:16Z 2012-12-04T10:13:48Z <p>First, claim 1 as stated is wrong - consider the zero module.</p> <p>Second, I guess that you talk about a step in the proof of Theorem 15.3.1 in Brodmann-Sharp. If so, then you have more hypotheses than you mentioned. Beside others, $R$ is noetherian and - most important - $M$ is $0$-dimensional. (And $M$ is not "positively graded", a notion that seems not reasonable for graded modules.)</p> <p>So, what you want to show is that under these hypotheses, $M$ is $R_+$-torsion. For this it suffices to show that $M$ is <code>$\mathfrak{m}_0+R_+$</code>-torsion. More general, it suffices to show that a $0$-dimensional finitely generated graded module $M$ over a *local graded ring with *maximal ideal $\mathfrak{m}$ is $\mathfrak{m}$-torsion. And this is indeed the case. Namely, $0$-dimensionality means that the graded ring $R/(0:_RM)$ is $0$-dimensional. Now, $\sqrt{(0:_RM)}$ is the intersection of the graded primes containing $(0:_RM)$. But as $R/(0:_RM)$ is $0$-dimensional, $\mathfrak{m}$ is the only such prime, implying $\sqrt{(0:_RM)}=\mathfrak{m}$. Since $\mathfrak{m}$ is finitely generated (as $R$ is supposed to be noetherian), there exists $t\in\mathbb{N}$ with $\mathfrak{m}^t\subseteq(0:_RM)$, and this implies that $M$ is an $\mathfrak{m}$-torsion module as desired.</p> http://mathoverflow.net/questions/115099/are-grothendieck-universes-enough-for-the-foundations-of-category-theory/115105#115105 Answer by Fred Rohrer for Are grothendieck universes enough for the foundations of category theory? Fred Rohrer 2012-12-01T20:28:57Z 2012-12-01T20:28:57Z <p>I suggest you have a look at Grothendieck's SGA 4, Exposé I, where a lot of category theory is developed (and applied) on the basis of Bourbaki set theory plus Grothendieck's axioms UA and UB about universes.</p> http://mathoverflow.net/questions/23261/length-of-a-resolution/113945#113945 Answer by Fred Rohrer for Length of a resolution Fred Rohrer 2012-11-20T14:46:13Z 2012-11-20T14:46:13Z <p>This is answered in my <a href="http://mathoverflow.net/questions/113917" rel="nofollow">answer</a> to a related question of yours.</p> http://mathoverflow.net/questions/37740/projective-dimension-of-zero-module/113917#113917 Answer by Fred Rohrer for Projective dimension of zero module Fred Rohrer 2012-11-20T07:34:53Z 2012-11-20T08:13:38Z <p>Let me explain a definition of projective dimension which gives the same result as the one given by Sándor Kovács, but without any restriction on the ring or the module we are talking about. This is, by the way, the one chosen by Bourbaki (A.X.8.1).</p> <p>Let $A$ be a ring.</p> <p>0) We write <code>$\overline{\mathbb{Z}}=\mathbb{Z}\cup\{-\infty,\infty\}$</code> and furnish $\overline{\mathbb{Z}}$ with the ordering that extends the canonical ordering on $\mathbb{Z}$ and has $\infty$ as greatest and $-\infty$ as smallest element. We convene that suprema and infima of subsets of subsets of $\overline{\mathbb{Z}}$ are always understood to be taken in $\overline{\mathbb{Z}}$.</p> <p>1) If $C$ is a complex of $A$-modules and $C_n$ denotes its component of degree $n\in\mathbb{Z}$, then we set <code>$$b_d(C)=\inf\{n\in\mathbb{Z}\mid C_n\neq 0\}$$</code> and <code>$$b_g(C)=\sup\{n\in\mathbb{Z}\mid C_n\neq 0\},$$</code> and we call $$l(C)=b_g(C)-b_d(C)$$ <em>the length of $C$.</em> Note that if $C$ is the zero complex then we have $b_d(C)=\infty$ and $b_g(C)=-\infty$, hence $l(C)=-\infty$.</p> <p>2) If $M$ is an $A$-module and $(P,p)$ is a left resolution of $M$, then the length $l(P)$ of the complex $P$ is called <em>the length of $(P,p)$.</em> Note that if $P$ is the zero complex (which may be the case if and only if $M=0$) then the length of $(P,p)$ is $-\infty$.</p> <p>3) If $M$ be an $A$-module, then the infimum of the lengths of all projective resolutions of $M$ is called <em>the projective dimension of $M$</em>. Hence, if $M=0$ then we have a projective resolution of length $-\infty$, and thus the projective dimension of $M$ is also $-\infty$. Conversely, if $M$ has projective dimension $-\infty$ then - since every $A$-module has a projective resolution - it necessarily has a projective resolution of length $-\infty$, and thus it follows $M=0$.</p> <p>Note: This clearly makes sense in every abelian category with enough projectives, and there are obvious variants of the above that yield analogous definitions of injective or flat dimensions.</p> http://mathoverflow.net/questions/112564/finitely-generated-resolutions/112568#112568 Answer by Fred Rohrer for Finitely generated resolutions Fred Rohrer 2012-11-16T11:07:06Z 2012-11-16T11:07:06Z <p>The last sentence in the answer by Simone Virili can easily be generalised as follows:</p> <p>If $R$ is left coherent, then a left $R$-module has a projective resolution whose components are of finite type if and only if it is of finite presentation.</p> http://mathoverflow.net/questions/111685/on-some-finiteness-properties-for-schemes/111709#111709 Answer by Fred Rohrer for On some finiteness properties for schemes Fred Rohrer 2012-11-07T07:15:42Z 2012-11-08T08:16:19Z <p>An example of a noetherian ring of infinite dimension can be found in Nagata's <em>Local Rings</em>, Appendix A1, Example 1.</p> <p><strong>Edit:</strong> An interesting generalisation of Nagata's construction yielding noetherian rings of infinite dimension whose maximal ideals have prescribed heights was given by Fujita in his article <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.hmj/1206136627" rel="nofollow"><em>Infinite dimensional Noetherian Hilbert domains</em></a>, Hiroshima Math. J. 5 (1975), 181–185. </p> http://mathoverflow.net/questions/110998/linear-algebra-over-principal-rings Linear algebra over principal rings Fred Rohrer 2012-10-29T14:09:12Z 2012-10-29T14:36:39Z <p>Consider an extension $R\subseteq S$ of commutative rings, and suppose that $R$ is principal (i.e., $0$ is the only zero-divisor of $R$ and every ideal of $R$ has a generating set of cardinality $1$). By means of scalar restriction we consider $S$ as an $R$-module. Let $M$ be a sub-$R$-module of finite type of $S$ containing $R$.</p> <p>In this situation, Gilmer and Heinzer claim (in Remark 2 in their article "<a href="http://dx.doi.org/10.1017/S1446788700004304" rel="nofollow">On the complete integral closure of an integral domain</a>") that there exists an $R$-module $N$ containing $M$ such that $R$ is a direct summand of $N$.</p> <p>Their argument is just the remark that $M$ "has a linearly independent module basis containing the identity of $R$".</p> <p>Unfortunately, I cannot follow this argument, nor can I prove the claim in a different way. Even worse, I meanwhile have the feeling that the claim is not true.</p> <p>Does someone know either a proof of this claim or a counterexample?</p> http://mathoverflow.net/questions/109579/a-construction-of-tensor-product-coutinhos-book-d-module/109686#109686 Answer by Fred Rohrer for A construction of tensor product (Coutinho's book: D-module) Fred Rohrer 2012-10-15T06:16:28Z 2012-10-15T06:16:28Z <p>I suggest to also have a look at Bourbaki's Algebra (edition from 1970 or later), Chapter II, Section 3, especially Paragraph 4 (about multimodule structures on tensor products).</p> http://mathoverflow.net/questions/108354/when-is-a-torsionfree-subgroup-contained-in-a-torsionfree-direct-summand When is a torsionfree subgroup contained in a torsionfree direct summand? Fred Rohrer 2012-09-28T15:34:22Z 2012-09-29T04:25:36Z <blockquote> <p>Let $F$ be a torsionfree subgroup of a commutative group $G$. Are there nontrivial conditions known under which there exists a torsionfree direct summand of $G$ containing $F$?</p> </blockquote> <p>I would already be happy with such a condition in case $F$ is free or $G$ is of finite type.</p> <p><em>Motivation:</em></p> <p>We consider a property $\mathcal{P}$ of graded rings and its behaviour under coarsening. Given an epimorphism of commutative groups $\psi:G\rightarrow H$ and a $G$-graded ring $R$ with $G$-graduation <code>$(R_g)_{g\in G}$</code>, the $\psi$-coarsening $R_{[\psi]}$ of $R$ is the $H$-graded ring with underlying ring the ring underlying $R$ and with $H$-graduation given by <code>$(R_{[\psi]})_h=\bigoplus_{g\in\psi^{-1}(h)}R_g$</code> for $h\in H$.</p> <p>Suppose we know that $\mathcal{P}$ is reflected by $\psi$-coarsening for every $\psi$, i.e., if $R_{[\psi]}$ has $\mathcal{P}$ then so does $R$, and that if $\ker(\psi)$ is a torsionfree direct summand of $G$ then $\mathcal{P}$ is respected by $\psi$-coarsening, i.e., if $R$ has $\mathcal{P}$ then so does $R_{[\psi]}$.</p> <p>Then, we want to know whether $\mathcal{P}$ is also respected by $\psi$-coarsening if $\ker(\psi)$ is torsionfree but not necessarily a direct summand of $G$. And this would follow immediately if $\ker(\psi)$ is contained in a torsionfree direct summand of $G$.</p> http://mathoverflow.net/questions/107565/using-function-terminology-for-functors/107571#107571 Answer by Fred Rohrer for Using Function Terminology for Functors? Fred Rohrer 2012-09-19T14:14:05Z 2012-09-19T14:14:05Z <p>As proven by Jon's comment, the statement is not clear in meaning. A precise statement is the following, but it is of course unclear whether it is equivalent to the statement you had in mind:</p> <blockquote> <p>$F$ induces by restriction and coastriction a functor from $B$ to $D$.</p> </blockquote> <p>(The very useful word "coastriction" seems to be not so well-known, but it is explained in <a href="http://mathoverflow.net/questions/29911/65813#65813" rel="nofollow">this answer</a>.)</p> http://mathoverflow.net/questions/102546/union-of-infinitely-many-prime-ideals/104079#104079 Answer by Fred Rohrer for union of infinitely many prime ideals Fred Rohrer 2012-08-06T06:39:05Z 2012-08-06T06:39:05Z <p>As an addition to the answers already given, let me mention the interesting paper <em>Baire's category theorem and prime avoidance in complete local rings</em> by Sharp and Vamos (Arch. Math. 44 (1985), 243-248). Beside other things, it contains the following:</p> <ul> <li><p>A neat proof of Burch's Lemma (cf. the answer by Neil Epstein) on use of Baire's category theorem.</p></li> <li><p>An example showing that in Burch's Lemma the hypothesis of completeness cannot be omitted; this is essentially the same as the example given by Mahdi Majidi-Zolbanin.</p></li> <li><p>A noetherian local ring with uncountable residue field has countable avoidance (i.e., if an ideal is contained in the union of a countable family of ideals (not necessarily prime!) then it is contained in one of these ideals); this can be viewed as a generalisation of a special case of the Hochster-Huneke result mentioned by Neil.</p></li> </ul> http://mathoverflow.net/questions/101911/why-should-morphisms-between-two-graded-vector-spaces-preserve-grading/101950#101950 Answer by Fred Rohrer for Why should morphisms between two graded vector spaces preserve grading? Fred Rohrer 2012-07-11T13:02:38Z 2012-07-11T15:17:45Z <p>You might want to have a look at Section 3 of Chapter 2 of the Introduction of Saul Lubkin's <em>Cohomology of Completions</em> (North-Holland Mathematics Studies 42, 1980), where the differences between the two possibilities of defining a category of graded vector spaces suggested by you (with the obvious correction suggested by Mark) are discussed in detail and in a very general setting.</p> <p>Also related, less abstract, but still very interesting are the following two papers (for whose authors names I am not capable of producing here the necessary diacritics):</p> <p>J. L. Gomez-Pardo, C. Nastasescu, <em>Topological aspects of graded rings,</em> Comm. Algebra 21 (1993), 4481-4493;</p> <p>J. L. Gomez-Pardo, G. Militaru, C. Nastasescu, <em>When is</em> HOM$_R(M,-)$ <em>equal to</em> Hom$_R(M,-)$ <em>in the category</em> $R-gr$? Comm. Algebra 22 (1994), 3171-3181.</p> http://mathoverflow.net/questions/99506/blackbox-theorems/99557#99557 Answer by Fred Rohrer for Blackbox Theorems Fred Rohrer 2012-06-14T06:20:07Z 2012-06-14T06:20:07Z <p>Embedding theorems for abelian categories (Freyd, Mitchell, Lubkin, ...) seem to qualify.</p> http://mathoverflow.net/questions/98498/a-reducible-connected-scheme-with-pairwise-disjoint-irreducible-components A reducible connected scheme with pairwise disjoint irreducible components Fred Rohrer 2012-05-31T14:55:42Z 2012-06-02T13:25:02Z <p>Without finiteness assumptions, the irreducible and the connected components of a scheme may behave in strange ways. More precisely, let us consider a scheme $X$ and the following properties:</p> <p>(1) $X$ is the sum of its irreducible components;</p> <p>(2) The irreducible and the connected components of $X$ coincide;</p> <p>(3) The irreducible components of $X$ are pairwise disjoint.</p> <p>It is clear that (1) implies (2), that (2) implies (3), and that if the set of irreducible components of $X$ is locally finite then all three statements are equivalent (see [EGA 0.2.1.6]). However, (2) does not necessarily imply (1) in general: An affine counterexample is given by the spectrum of the product of infinitely many fields (which is non-discrete and totally disconnected). So, out of pure curiosity we may ask the following:</p> <blockquote> <p>Is there an (affine) scheme fulfilling (3) but not (2)?</p> </blockquote> <p>One can note that this is equivalent to the following:</p> <blockquote> <p>Is there a nonempty, reducible, connected (affine) scheme whose irreducible components are pairwise disjoint?</p> </blockquote> <p>(One can also note that for topological spaces that are not necessarily underlying spaces of schemes it is easy to find an example that fulfils (3) but not (2) - every connected, separated space with at least two points does so.)</p> http://mathoverflow.net/questions/133893/connectedeness-of-toric-varieties Comment by Fred Rohrer Fred Rohrer 2013-06-17T04:26:51Z 2013-06-17T04:26:51Z @rghthndsd: I would not say it is a good discussion, but <a href="http://mathoverflow.net/questions/120536" rel="nofollow">mathoverflow.net/questions/120536</a> contains what I was referring to. http://mathoverflow.net/questions/133893/connectedeness-of-toric-varieties Comment by Fred Rohrer Fred Rohrer 2013-06-16T20:35:39Z 2013-06-16T20:35:39Z Wait... we will again have to discuss whether or not the empty scheme is connected. http://mathoverflow.net/questions/132640/where-to-look-for-corrections-of-papers/132776#132776 Comment by Fred Rohrer Fred Rohrer 2013-06-04T21:08:31Z 2013-06-04T21:08:31Z Well, &quot;usually&quot; seems to be a slight exaggeration... http://mathoverflow.net/questions/132398/surjectivity-of-the-natural-map-of-injective-module-to-its-localization/132399#132399 Comment by Fred Rohrer Fred Rohrer 2013-05-31T13:02:07Z 2013-05-31T13:02:07Z Ah, thank you for the explanation. So your answer does not answer the question. http://mathoverflow.net/questions/132398/surjectivity-of-the-natural-map-of-injective-module-to-its-localization/132399#132399 Comment by Fred Rohrer Fred Rohrer 2013-05-31T12:48:49Z 2013-05-31T12:48:49Z Without understanding everything you wrote, I do not think it is correct. It seems to imply that - without any condition on a ring $R$ - torsion submodules of injective $R$-modules are injective. This is false, cf. <a href="http://mathoverflow.net/questions/47043" rel="nofollow">mathoverflow.net/questions/47043</a>. http://mathoverflow.net/questions/131657/why-did-bourbaki-ignore-the-theory-of-categories Comment by Fred Rohrer Fred Rohrer 2013-05-24T22:11:10Z 2013-05-24T22:11:10Z @Ryan: I do not know if good old Nick is writing right now, but his newest book - the new edition of Alg&#232;bre VIII - appeared only last year. http://mathoverflow.net/questions/131673/proof-that-a-finitely-generated-projective-module-over-a-von-neumann-regular-ring Comment by Fred Rohrer Fred Rohrer 2013-05-24T21:08:20Z 2013-05-24T21:08:20Z Oops, I will delete my wrong answer. Thanks to Fred.Fred and Torsten! http://mathoverflow.net/questions/107650/axiom-of-global-choice/128226#128226 Comment by Fred Rohrer Fred Rohrer 2013-04-21T10:42:59Z 2013-04-21T10:42:59Z Dear Sergei, I refer to SGA 4, Expose I, Appendix (&quot;Univers&quot; by N. Bourbaki). I do not know of any translation of SGA, so you have to go with the french original. http://mathoverflow.net/questions/122127/subgroup-of-lattice-ordered-group/122269#122269 Comment by Fred Rohrer Fred Rohrer 2013-02-20T22:59:06Z 2013-02-20T22:59:06Z First, $\sup(x,u)+\sup(y,v)$ is greater than $x+y$ and than $u+v$. Second, if $(a,b,a+b)\in H$ is greater than $(x,y,x+y)$ and $(u,v,u+v)$, then $\sup(x,u)$ is smaller than $a$ and $\sup(y,v)$ is smaller than $b$. Hence, $\sup(x,u)+\sup(y,v)$ is smaller than $a+b$. This yields the claim. (Note that the third component needs to be the sum of the first and the second in order for the triple to be an element of $H$.) http://mathoverflow.net/questions/122127/subgroup-of-lattice-ordered-group/122269#122269 Comment by Fred Rohrer Fred Rohrer 2013-02-20T21:41:23Z 2013-02-20T21:41:23Z Dear Rajnish, I do not understand your question. Please clarify. http://mathoverflow.net/questions/121892/are-f-g-projective-modules-free-over-total-quotient-ring-of-a-reduced-non-noeth Comment by Fred Rohrer Fred Rohrer 2013-02-18T06:39:43Z 2013-02-18T06:39:43Z Dear @Qing, thank you for your explanation. http://mathoverflow.net/questions/121993/left-right-exact-functor-in-nature-which-is-not-a-right-left-adjoint Comment by Fred Rohrer Fred Rohrer 2013-02-17T07:16:27Z 2013-02-17T07:16:27Z @Liran: The $I$-torsion functor, considered as taking values in the category of $I$-torsion $R$-modules, is right adjoint to the inclusion of the category of $I$-torsion $R$-modules in the category of $R$-modules. But considered as taking values in the category of $R$-modules, you are of course right. http://mathoverflow.net/questions/121892/are-f-g-projective-modules-free-over-total-quotient-ring-of-a-reduced-non-noeth Comment by Fred Rohrer Fred Rohrer 2013-02-16T08:18:12Z 2013-02-16T08:18:12Z Is it known that projective modules of finite type over polynomial algebras in countably many indeterminates over fields are free? http://mathoverflow.net/questions/121892/are-f-g-projective-modules-free-over-total-quotient-ring-of-a-reduced-non-noeth Comment by Fred Rohrer Fred Rohrer 2013-02-15T13:07:00Z 2013-02-15T13:07:00Z @Martin: Why does Tom's comment answer the question? http://mathoverflow.net/questions/121406/where-in-ordinary-math-do-we-need-unbounded-separation-and-replacement/121422#121422 Comment by Fred Rohrer Fred Rohrer 2013-02-11T06:27:11Z 2013-02-11T06:27:11Z It is not true that Bourbaki's set theory &quot;does not include the axiom [scheme] of replacement&quot;. Replacement (or some version thereof) is included in axiom scheme S8 (E.II.1.6). (At least in the 1970 version; I do not know about older versions.)