User greg marks - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T23:33:48Z http://mathoverflow.net/feeds/user/6521 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99478/when-is-a-topological-group-hausdorff-separated/99480#99480 Answer by Greg Marks for When is a topological group Hausdorff (separated)? Greg Marks 2012-06-13T17:31:03Z 2012-06-13T17:31:03Z <p>You can probably find this result in a million places, one of which is N. Bourbaki, <i>General Topology</i>, Part 1, Chapter 3, Section 1.2, p. 223, Proposition 2.</p> http://mathoverflow.net/questions/5243/why-is-it-a-good-idea-to-study-a-ring-by-studying-its-modules/59882#59882 Answer by Greg Marks for Why is it a good idea to study a ring by studying its modules? Greg Marks 2011-03-28T19:10:03Z 2011-03-28T19:10:03Z <p>In homage to Serge Lang, I might suggest that your friend pick up any book on Morita theory and solve all the exercises.&#160; Less facetiously, I might point out that many interesting ring-theoretic properties can be characterized, sometimes unexpectedly, by properties of the (right) module category over the ring.&#160; For instance, consider what it means for all right $R$-modules to be injective, or what it means for all right $R$-modules to be projective, or what it means for all right $R$-modules to be flat, or what it means for all direct sums of injective right $R$-modules to be injective, or what it means for all direct products of projective right $R$-modules to be projective, or what it means for all flat right $R$-modules to be projective, or ...</p> http://mathoverflow.net/questions/58267/group-ring-and-left-zero-divisor/58297#58297 Answer by Greg Marks for Group ring and left zero divisor. Greg Marks 2011-03-12T22:39:46Z 2011-03-12T22:59:54Z <p>The condition $ab=0 \Rightarrow ba=0$ defines what are often called <i>reversible</i> rings, which, for example, have the property that the set of nilpotent elements is an ideal that coincides with the prime radical.&#160; A full matrix ring can't have this property, so you can construct counterexamples by taking any finite field $K$ and nonabelian group $G$ to which Maschke's theorem applies.&#160; An alternative example of a non-reversible group algebra is $K[G]$ where $K$ is the field of two elements and $G$ is the dihedral group of order $8$.&#160; Here the set of nilpotent elements does coincide with the prime radical (the ring is local artinian), but one can find elements $a,b \in K[G]$ with $ab=0$ but $ba \neq 0$.</p> http://mathoverflow.net/questions/22579/what-are-the-reasons-for-considering-rings-without-identity/55146#55146 Answer by Greg Marks for What are the reasons for considering rings without identity? Greg Marks 2011-02-11T17:15:15Z 2011-02-11T17:15:15Z <p>For work related to radicals of rings, the K&#246;the Conjecture, etc., it's very useful to consider "rngs" (Louis Rowen's term for r<i>i</i>ngs without <i>i</i>dentity).</p> http://mathoverflow.net/questions/53928/direct-sum-of-injective-modules-over-non-noetherian-rings/53935#53935 Answer by Greg Marks for Direct sum of injective modules over non-Noetherian rings Greg Marks 2011-02-01T00:44:43Z 2011-02-01T00:44:43Z <p>A module is called <i>$\Sigma$-injective</i> if a direct sum of arbitrarily (equivalently, countably infinitely) many copies of that module is injective.&#160; So it suffices to find an example of a $\Sigma$-injective module over a non-noetherian ring.&#160; Apart from silly examples such as a direct product of two rings one of which is one-sided noetherian and the other of which is not, the main theorem of C. Megibben, &#8220;Countable injective modules are $\Sigma$-injective,&#8221; <i>Proc. Amer. Math. Soc.</i> <b>84</b> (1982), no. 1, 8&#8211;10, says what the title indicates.&#160; This gives all sorts of examples of $\Sigma$-injective modules over non-noetherian rings.&#160;</p> http://mathoverflow.net/questions/53122/mathematical-urban-legends/53649#53649 Answer by Greg Marks for Mathematical "urban legends" Greg Marks 2011-01-28T20:38:41Z 2011-01-28T20:38:41Z <p>I've heard stories about von Neumann chatting up recent Ph.D.'s and solving their thesis problems in his head. An incident along those lines is recounted in Sylvia Nasar's biography of John Nash. Perhaps someone here can shed some light on which von Neumann stories are purely mythological?</p> http://mathoverflow.net/questions/13320/cool-problems-to-impress-students-with-group-theory/53646#53646 Answer by Greg Marks for Cool problems to impress students with group theory Greg Marks 2011-01-28T19:45:20Z 2011-01-28T19:45:20Z <p>Quintic equations?</p> http://mathoverflow.net/questions/41563/teaching-proofs-in-the-era-of-google/47976#47976 Answer by Greg Marks for Teaching proofs in the era of Google Greg Marks 2010-12-02T01:33:25Z 2010-12-02T01:33:25Z <p>Representing someone else&#8217;s work as one&#8217;s own is plagiarism.&#160; Students can be expelled for it, and tenured professors can be fired for it.</p> <p>This issue is addressed eloquently and emphatically in Section I of the <a href="http://www.ams.org/about-us/governance/policy-statements/sec-ethics" rel="nofollow">Ethical Guidelines of the American Mathematical Society</a>.</p> <p>It is true that it&#8217;s easier to commit plagiarism now than before computers existed, just as it&#8217;s easier to rob a bank now than before automobiles existed.</p> <p>Assuming that you&#8217;re permitting your students to look up solutions, and that they are providing proper citations of sources as necessary, there might be considerable pedagogical benefit to this exercise.&#160; For instance, they might discover that certain useful ideas and techniques occur over and over in solutions to some sort of problem.</p> http://mathoverflow.net/questions/47716/term-for-a-faithful-module/47744#47744 Answer by Greg Marks for term for a "faithful" module Greg Marks 2010-11-30T01:45:47Z 2010-11-30T01:45:47Z <p>For <i>flat</i> modules $M$, the condition you cite is equivalent to $M$ being faithfully flat. But some modules that are not flat also satisfy your condition; for example, let $k$ be a field, let $A = k[[ x_1, \ldots, x_n ]]$ where $n>1$, and let $M$ be the maximal ideal of $A$.</p> http://mathoverflow.net/questions/47474/function-that-sums-to-zero-over-cube-vertices function that sums to zero over cube vertices Greg Marks 2010-11-27T01:00:33Z 2010-11-27T01:36:02Z <p>Does anyone have an answer to the three-dimensional analogue of the 2009 Putnam Competition A1 problem, viz., if $f\colon \mathbb{R}^3 \rightarrow \mathbb{R}$ satisfies $\sum_{i=1}^8 f(a_i) = 0$ whenever $a_1, \ldots, a_8$ are the vertices of a cube, must $f$ be identically zero? </p> <p>A few thoughts: Since the cube is not self-dual above dimension $2$, the solution (well, at least, my solution) to the $2$-dimensional problem doesn&#8217;t generalize.&#160; To try to show that the answer to the $3$-dimensional problem is &#8220;no,&#8221; one might try letting $\Omega$ be the set of ordered pairs $(X, f_X)$ where $X \subseteq \mathbb{R}^3$ is a subset and $f_X\colon \mathbb{R}^3 \rightarrow \mathbb{R}$ is a function that sums to zero over any eight points of $X$ that form the vertices of a cube.&#160; Ordering $\Omega$ in the usual way, we can invoke Zorn&#8217;s Lemma to obtain a maximal $(X, f_X) \in \Omega$.&#160; If $X \neq \mathbb{R}^3$, then every $x \in \mathbb{R}^3 \setminus X$ must, in two &#8220;incompatible&#8221; ways, be the eighth vertex of a cube whose remaining vertices lie in $X$.&#160; But I don't see how a contradiction arises from this (and of course one could make the same argument in two dimensions, where a contradiction does not arise).</p> http://mathoverflow.net/questions/46541/how-to-introduce-notions-of-flat-projective-and-free-modules/46673#46673 Answer by Greg Marks for How to introduce notions of flat, projective and free modules? Greg Marks 2010-11-19T19:56:07Z 2010-11-19T19:56:07Z <p>You might perhaps mention Lazard's theorem.</p> http://mathoverflow.net/questions/43002/fundamental-groups-of-topological-groups/43250#43250 Answer by Greg Marks for Fundamental groups of topological groups. Greg Marks 2010-10-22T23:40:28Z 2010-10-22T23:40:28Z <p>This question occurred as Advanced Problem 5889 in the <i>Amer. Math. Monthly</i> <b>80</b> (1973), no. 1, 82.&#160; It was listed as still unsolved five years later, in vol. 85, no. 10, p. 834, of the <i>Monthly</i>; however, my recollection is that it mysteriously vanished from the <i>Monthly</i>'s "unsolved" list the next time this got updated, but without a solution having appeared in the interim.</p> http://mathoverflow.net/questions/42647/rings-in-which-every-non-unit-is-a-zero-divisor/43246#43246 Answer by Greg Marks for Rings in which every non-unit is a zero divisor Greg Marks 2010-10-22T23:09:09Z 2010-10-22T23:09:09Z <p><i>Pace</i> Chris Leary, the standard terminology is that a module all monomorphisms of which are automorphisms is said to be <i>cohopfian</i> (or <i>co-Hopfian</i>, if you're checking MathSciNet).&#160; A <i>Dedekind-finite</i> (a.k.a. <i>directly finite</i>) module usually means a module whose left invertible endomorphisms are also right invertible, equivalently, a module that is not isomorphic to any proper direct summand of itself.</p> <p>T. Y. Lam, in his book <i>Lectures on Modules and Rings</i>, pp. 320&#8211;322, calls a noncommutative ring in which every regular element (i.e. neither right nor left zero-divisor) is a unit a <i>classical</i> ring, and he provides various examples.&#160; One that has not already been mentioned here is that any right (or left) self-injective ring is classical.&#160; Right self-injective rings need not have the property that every element that is merely not a left zero-divisor is a unit; interestingly, for right self-injective rings the latter condition is equivalent to the ring being Dedekind-finite (in the sense of the preceding paragraph), and also equivalent to the ring having stable range 1 (see Y. Suzuki, &#8220;On automorphisms of an injective module,&#8221; <i>Proc. Japan Acad.</i> <b>44</b> (1968), 120&#8211;124, and G. F. Birkenmeier, &#8220;On the cancellation of quasi-injective modules,&#8221; <i>Comm. Algebra</i> <b>4</b> (1976), no. 2, 101&#8211;109).</p> http://mathoverflow.net/questions/37610/demonstrating-that-rigour-is-important/38074#38074 Answer by Greg Marks for Demonstrating that rigour is important Greg Marks 2010-09-08T16:47:39Z 2010-09-08T18:32:27Z <p>In response to the request for an example of a statement that was widely but erroneously believed to be true: does Gauss's conjecture that $\pi(n) &lt; \operatorname{li}(n)$ for every integer $n \geq 2$, disproved by Littlewood in 1914, qualify?</p> http://mathoverflow.net/questions/36596/refereeing-a-paper/36793#36793 Answer by Greg Marks for Refereeing a Paper Greg Marks 2010-08-26T18:48:04Z 2010-08-26T18:48:04Z <p>Re question 5 ("How long should one spend trying to understand an argument?"): an interesting case was Hales's proof of the Kepler Conjecture, in which the 12-member team of <i>Annals</i> referees spent five years before resigning themselves to being unable to completely certify the validity of the proof.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35273#35273 Answer by Greg Marks for Interesting applications (in pure mathematics) of first-year calculus Greg Marks 2010-08-11T20:25:00Z 2010-08-11T20:25:00Z <p>A few years ago I gave a departmental colloquium talk, aimed at beginning M.A. students, on "An application of calculus to ring theory."&#160; A slightly facetious little abstract can be found <a href="http://mathcs.slu.edu/events/imported/F06-09-21-06-Alg" rel="nofollow">here</a>.&#160; The example establishing the main results&#151;very well known to workers in commutative ring theory&#151;was the ring of germs at $0$ of class $C^{\infty}$ functions on $\mathbb{R}$.&#160; A bit of calculus is needed in verifying the requisite properties.</p> http://mathoverflow.net/questions/34069/endomorphism-ring-of-a-finite-length-module/34686#34686 Answer by Greg Marks for endomorphism ring of a finite-length module Greg Marks 2010-08-05T20:56:00Z 2010-08-05T20:56:00Z <p>What <i>is</i> true is that the endomorphism ring of any finite length module is semiprimary.</p> http://mathoverflow.net/questions/34264/examples-of-badly-behaved-derivatives/34681#34681 Answer by Greg Marks for Examples of badly behaved derivatives Greg Marks 2010-08-05T20:24:18Z 2010-08-05T20:24:18Z <p>In Y. Katznelson and K. Stromberg&#8217;s paper &#8220;Everywhere differentiable, nowhere monotone, functions,&#8221; <i>Amer. Math. Monthly</i> <b>81</b> (1974), no. 4, 349&#8211;354, there is a construction, based on somewhat similar ideas to those described in Majer&#8217;s above mentioned article, whereby for any two disjoint countable sets $A, B \subset \mathbb{R}$ there exists a differentiable function whose derivative equals $1$ on $A$ and is less than $1$ on $B$.&#160; So if $A$ and $B$ are both dense in $\mathbb{R}$ then this derivative must be discontinuous at every point of $B$.</p> http://mathoverflow.net/questions/34540/when-and-how-is-it-appropriate-for-an-undergraduate-to-email-a-professor-out-of-t/34672#34672 Answer by Greg Marks for When and how is it appropriate for an undergraduate to email a professor out of the blue? Greg Marks 2010-08-05T19:00:26Z 2010-08-05T19:00:26Z <p>The reasons I became a math professor are that I love mathematics and I love helping students.&#160; I constantly try to elicit questions from my own students.&#160; I would be delighted, not annoyed, to receive e-mail from a student who was sufficiently interested in something I had said or written to send me comments or questions.</p> http://mathoverflow.net/questions/20174/terminology-algebras-where-long-strings-of-products-are-0/30006#30006 Answer by Greg Marks for Terminology: Algebras where long strings of products are 0? Greg Marks 2010-06-30T05:23:32Z 2010-06-30T05:23:32Z <p>It seems to me that Jordan and Dotsenko are giving different answers from one another, and I agree with Dotsenko&#8217;s.&#160; The condition Thurston has stated is the definition of $A_{+}$ being nilpotent.&#160; &#8220;Locally nilpotent&#8221; is a weaker condition.&#160; There are many examples of nonunital rings $A_{+}$ that are locally nilpotent (meaning for any finite set $a_1, \ldots, a_k \in A_{+}$ there exists $n \in \mathbb{N}$ such that $a_{i_1} \cdots a_{i_n} = 0$ provided every $i_j \in \lbrace 1, \ldots, k\rbrace$) but not nilpotent (meaning there exists $n \in \mathbb{N}$ such that $a_1 \cdots a_n = 0$ provided every $a_i \in A_{+}$, which is the condition Thurston stated).&#160; Even better: two nice (and quite different) examples of a locally nilpotent <i>prime</i> nonunital ring can be found in E. I. Zelmanov, &#8220;An example of a finitely generated primitive ring,&#8221; <i>Sibirsk. Mat. Zh.</i> <b>20</b> (1979), no. 2, 423, 461, and J. Ram, &#8220;On the semisimplicity of skew polynomial rings,&#8221; <i>Proc. Amer. Math. Soc.</i> <b>90</b> (1984), no. 3, 347&#8211;351.&#160; (Of course, if one merely wants an example where $A_{+}$ is locally nilpotent but not nilpotent&#8212;and so does not satisfy Thurston&#8217;s condition&#8212;one could take something like $A_{+} = \bigoplus_{i=2}^{\infty} 2\mathbb{Z}/2^i\mathbb{Z}$.)</p> <p><i>N.B.</i> <i>Mathematical Reviews</i> incorrectly lists the title of Zelmanov&#8217;s paper as &#8220;An example of a finitely generated primary ring.&#8221;&#160; It&#8217;s listed correctly in <i>Zentralblatt</i>.&#160; Possibly the problem lies in the translation from the original Russian; the condition <i>primitive</i> in the English translation of the paper (<i>Siberian Math. J.</i> <b>20</b> (1979), no. 2, 303&#8211;304) is what we would today call <i>prime</i>. </p> http://mathoverflow.net/questions/24697/isomorphism-between-direct-sum-of-modules/29986#29986 Answer by Greg Marks for Isomorphism between direct sum of modules Greg Marks 2010-06-30T00:02:50Z 2010-06-30T00:02:50Z <p>There are even counterexamples in the case $A = {\mathbb Z}$: at the end of B. J&#x00F3;nsson&#8217;s paper &#8220;On direct decompositions of torsion-free abelian groups,&#8221; <i> Math. Scand.</i> <b>5</b> (1957), 230&#8211;235, an example is given of torsion-free, finite-rank abelian groups $B \not\cong C$ such that $B \oplus B \cong C \oplus C$.</p> <p>A further counterexample, which I believe has been pointed out independently by L. S. Levy, R. Wiegand, and R. G. Swan: let $A$ be the coordinate ring of the real 2-sphere and ${}_AM$ the module for the tangent bundle; then $M \oplus M$ is free of rank $4,$ but $M$ is not free of rank $2$.</p> <p>In the positive direction, K. R. Goodearl has proved (&#8220;Direct sum properties of quasi-injective modules,&#8221; <i>Bull. Amer. Math. Soc.</i> <b>82</b> (1976), no. 1, 108&#8211;110, Theorem 3) that if $M$ and $N$ are <i>quasi-injective</i> modules over a ring (commutative or not), then $M^n \cong N^n$ implies $M \cong N$ for any positive integer $n$.</p> <p>Your question is related to an important open problem in noncommutative ring theory, the &#8220;separativity&#8221; problem for von Neumann regular rings: if $R$ is a von Neumann regular ring (or more generally an exchange ring), and $A$ and $B$ are finitely generated projective left $R$-modules with the property that $A \oplus A \cong A \oplus B \cong B \oplus B$, must we have $A \cong B$?&#160; An affirmative answer would resolve several major open problems, as explained in P. Ara, K. R. Goodearl, K. C. O&#8217;Meara, and E. Pardo&#8217;s paper &#8220;Separative cancellation for projective modules over exchange rings,&#8221; <i>Israel J. Math.</i> <b>105</b> (1998), 105&#8211;137. </p> http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals/29844#29844 Answer by Greg Marks for Finite number of minimal ideals Greg Marks 2010-06-29T00:01:10Z 2010-06-29T00:01:10Z <p>I'm not sure how to answer your exact question ("the necessary condition that guarantees..."?), but here are a few minor observations.&#160; A direct product of commutative rings has only finitely many minimal (by definition nonzero) ideals if and only if each component ring has only finitely many and all but finitely many of the component rings have none.&#160; So it suffices to consider indecomposable commutative rings with only finitely many ideals.&#160; There are all sorts of indecomposable commutative rings with no minimal ideals.&#160; Now suppose the indecomposable commutative ring has a positive finite number of minimal ideals.&#160; The socle of such a ring has square zero; thus, the socle is a nonunital subring with the structure of an additive abelian group with zero multiplication on it (of course, this additive abelian group need not have only finitely many minimal subgroups).&#160; One can construct all sorts of examples of this sort.&#160; For instance, let $A$ be an indecomposable commutative ring with no minimal ideals, and let $M$ be an $A$-module with only finitely many simple submodules.&#160; (For example, one might take $M$ to be a uniserial $A$-module.)&#160; Let $R = A \oplus M$ as an additive group, with multiplication given by $(a_1, m_1) (a_2, m_2) = (a_1 a_2, a_1 m_2 + a_2 m_1)$.&#160; Then $R$ is an indecomposable commutative ring with only finitely many minimal ideals.</p> http://mathoverflow.net/questions/10941/elementary-classification-of-artinian-rings/29542#29542 Answer by Greg Marks for elementary classification of artinian rings Greg Marks 2010-06-25T20:34:12Z 2010-06-25T20:34:12Z <p>Sorry if this is merely a reformulation of what has already been said (and doubtless it is a "standard proof"), but perhaps a suggestive hint for students would be to show that if an ideal $P$ of a commutative noetherian ring $R$ is maximal for the property that $R/P$ is non-artinian, then $P \subset R$ must be prime.&nbsp; A sort of philosophical underpinning for this hint is offered in a pretty paper by T. Y. Lam and M. L. Reyes, "A prime ideal principle in commutative algebra," <em>J. Algebra</em> <strong>319</strong> (2008), no. 7, 3006-3027.</p> http://mathoverflow.net/questions/26155/finite-number-of-minimal-ideals/26866#26866 Answer by Greg Marks for Finite number of minimal ideals Greg Marks 2010-06-02T20:49:20Z 2010-06-02T20:49:20Z <p>Please clarify: are you asking about commutative rings or noncommutative rings? (The tag "ac.commutative-algebra" suggests the former; your reference to semisimplicity suggests the latter.) If the question is about noncommutative rings, then presumably by "ideals" you mean two-sided ideals.</p> http://mathoverflow.net/questions/79304/how-do-you-present-a-non-existence-theorem/79311#79311 Comment by Greg Marks Greg Marks 2012-07-06T18:19:22Z 2012-07-06T18:19:22Z This story implicitly answers the problem of the student who shrugs upon hearing the theorem on bounded entire functions. By the time it occurs in a class it's very natural, but presented with it cold, the reaction of any student of normal inquisitiveness would be astonishment and an attempt at a counterexample. A student who isn't excited about celebrated classical results is perhaps best advised to find a field of study more to his liking. Incidentally, a result that has allured many a student into mathematics is, so to speak, a non-existence non-theorem: the continuum hypothesis. http://mathoverflow.net/questions/79304/how-do-you-present-a-non-existence-theorem Comment by Greg Marks Greg Marks 2012-07-06T18:03:23Z 2012-07-06T18:03:23Z My first reaction on seeing the title of this question was to recall Rota's &quot;Ten Lessons I Wish I Had Been Taught&quot;: completely erase the blackboard, begin writing in the upper left corner, .... http://mathoverflow.net/questions/73856/when-a-group-ring-is-a-local-ring Comment by Greg Marks Greg Marks 2011-08-27T18:29:52Z 2011-08-27T18:29:52Z For the general problem, can you see why the augmentation ideal is nilpotent? http://mathoverflow.net/questions/20283/how-do-you-pronounce-hartshorne Comment by Greg Marks Greg Marks 2011-07-30T21:09:51Z 2011-07-30T21:09:51Z The poor devils could follow Kiran Kedlaya's example: <a href="http://www.mit.edu/~kedlaya/about-my-name.html" rel="nofollow">mit.edu/~kedlaya/about-my-name.html</a> http://mathoverflow.net/questions/63201/how-to-find-compute-all-simple-modules-and-the-radical-for-this-algebra Comment by Greg Marks Greg Marks 2011-04-27T19:21:59Z 2011-04-27T19:21:59Z Easy exercise (including for more general $R$ and $A$). http://mathoverflow.net/questions/60441/the-multiplicative-order-of-2-modulo-primes Comment by Greg Marks Greg Marks 2011-04-04T01:41:03Z 2011-04-04T01:41:03Z Simple but amusing application: that multiplicative order is the minimal number of perfect shuffles required to restore a deck of $p \pm 1$ cards (the $\pm$ depending on which of the two ways of perfectly shuffling we're talking about). http://mathoverflow.net/questions/58267/group-ring-and-left-zero-divisor/58272#58272 Comment by Greg Marks Greg Marks 2011-03-14T02:08:25Z 2011-03-14T02:08:25Z You are very kind to credit me, but I doubt I deserve it. I am embarrassed to say that the very interesting paper of Gutan and Kisielewicz had slipped my mind. Gutan and Kisielewicz completely resolve the group algebra reversibility question for the case of torsion groups. They remark that the torsion-free case is connected with the zero divisor problem, in the sense that it will be very difficult to produce a non-reversible group algebra with a torsion-free group, since this will of course resolve the zero divisor problem in the negative. http://mathoverflow.net/questions/57273/ore-extensions-and-the-construction-of-the-quantum-general-linear-group/57278#57278 Comment by Greg Marks Greg Marks 2011-03-03T20:36:08Z 2011-03-03T20:36:08Z Well said. Another example of one of those useful ring-theoretic properties is that every prime ideal is completely prime (for $q$ not a root of unity). This would seem to go without saying, but since the question was asked--the study of any mathematical object is generally advanced by being able to view the object as a special case of something with a well-developed theory. http://mathoverflow.net/questions/56523/field-extensions Comment by Greg Marks Greg Marks 2011-02-28T21:21:37Z 2011-02-28T21:21:37Z Actually, every countable field of characteristic zero does embed in the field of complex numbers. (Embed it in its algebraic closure and think about transcendence degrees.) http://mathoverflow.net/questions/56453/epimorphisms-have-dense-range-in-tophausgrp/56459#56459 Comment by Greg Marks Greg Marks 2011-02-23T23:25:38Z 2011-02-23T23:25:38Z It's interesting that the answer is &quot;yes&quot; for Hausdorff topological spaces, and &quot;yes&quot; for groups, but &quot;no&quot; for Hausdorff topological groups. http://mathoverflow.net/questions/35988/why-were-matrix-determinants-once-such-a-big-deal/36046#36046 Comment by Greg Marks Greg Marks 2011-02-23T22:48:55Z 2011-02-23T22:48:55Z Also, pleasantly (in contrast with the identical character tables of nonisomorphic extraspecial $p$-groups of the same order), nonisomorphic groups have different group determinants in characteristic $0$. See E. Formanek, D. Silbey, &quot;The group determinant determines the group,&quot; Proc. Amer. Math. Soc. 112 (1991), no. 3, 649-656. http://mathoverflow.net/questions/53906/primary-decomposition-for-modules Comment by Greg Marks Greg Marks 2011-02-02T00:57:17Z 2011-02-02T00:57:17Z (Farcical exercise for students: why doesn't that also show that a commutative ring with a faithful artinian module must be artinian?) http://mathoverflow.net/questions/11084/what-programming-languages-do-mathematicians-use/11135#11135 Comment by Greg Marks Greg Marks 2011-02-01T01:10:29Z 2011-02-01T01:10:29Z I hope Lenstra at least installed an extra case fan. http://mathoverflow.net/questions/53906/primary-decomposition-for-modules Comment by Greg Marks Greg Marks 2011-02-01T00:01:23Z 2011-02-01T00:01:23Z Modulo standard results (such as can be found, for example, in Eisenbud's book &quot;Commutative Algebra&quot;), Manny Reyes's comment completely resolves this question. http://mathoverflow.net/questions/53122/mathematical-urban-legends/53660#53660 Comment by Greg Marks Greg Marks 2011-01-29T00:21:35Z 2011-01-29T00:21:35Z I've heard a version of this story with von Neumann as protagonist. A student desperately trying to evaluate a definite integral at wit's end shows up at von Neumann's office for any suggestion of an approach. Von Neumann thinks for a few moments and tells him the value of the integral. The student, amazed and dismayed at the absence of any details, respectfully requests that von Neumann &quot;explain it a different way.&quot; Von Neumann thinks some more and cheerfully announces that both ways yield the announced value. (I thought this story apocryphal even before hearing the Wiener version.)