Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
226
votes
4
answers
16k
views
A game on Noetherian rings
A friend suggested the following combinatorial game. At any time, the state of the game is a (commutative) Noetherian ring $\neq 0$. On a player's turn, that player chooses a nonzero non-unit element …
171
votes
8
answers
86k
views
The "Dzhanibekov effect" - an exercise in mechanics or fiction? Explain mathematically a vid...
The question briefly:
Can one explain the "Dzhanibekov effect" (see youtube videos from space station or comments below) on the basis of the standard rigid body dynamics using Euler's equations? (Or …
152
votes
13
answers
22k
views
Why is the fundamental group of a compact Riemann surface not free ?
Consider a compact Riemann surface $X$ of genus $g$.
It is well-known that its fundamental group $\pi_1(X)$ is the free group on the generators $a_1,b_1,...,a_g,b_g$ divided out by the normal subgrou …
143
votes
6
answers
12k
views
Gaussian prime spirals
Imagine a particle in the complex plane, starting at $c_0$, a Gaussian integer,
moving initially $\pm$ in the horizontal
or vertical directions. When it hits a Gaussian prime, it turns left $90^\circ …
128
votes
13
answers
27k
views
Should the formula for the inverse of a 2x2 matrix be obvious?
As every MO user knows, and can easily prove, the inverse of the matrix $\begin{pmatrix} a & b \\\ c & d \end{pmatrix}$ is $\dfrac{1}{ad - bc} \begin{pmatrix} d & -b \\ -c & a \end{pmatrix}$. This can …
118
votes
6
answers
9k
views
What properties make $[0,1]$ a good candidate for defining fundamental groups?
The title essentially says it all. Consider the category $\mathfrak{Top}_2$ of triples $(J,e_0,e_1)$ where $J$ is a topological space, and $e_i \in J$. There is an obvious generalization of the defin …
112
votes
4
answers
13k
views
Is there a sheaf theoretical characterization of a differentiable manifold?
I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a nuts …
110
votes
10
answers
25k
views
Set theories without "junk" theorems?
Clearly I first need to formally define what I mean by "junk" theorem. In the usual construction of natural numbers in set theory, a side-effect of that construction is that we get such theorems as $ …
105
votes
5
answers
16k
views
Independent evidence for the classification of topological 4-manifolds?
Is there any evidence for the classification of topological 4-manifolds, aside from Freedman's 1982 paper "The topology of four-dimensional manifolds", Journal of Differential Geometry 17(3) 357–453? …
104
votes
8
answers
13k
views
Is $ \sum\limits_{n=0}^\infty x^n / \sqrt{n!} $ positive?
Is $$ \sum_{n=0}^\infty {x^n \over \sqrt{n!}} > 0 $$ for all real $x$?
(I think it is.) If so, how would one prove this? (To confirm: This is the power
series for $e^x$, except with the denominator …
92
votes
3
answers
14k
views
Is every sigma-algebra the Borel algebra of a topology?
This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ti …
84
votes
4
answers
22k
views
Do we still need model categories?
One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak equ …
81
votes
4
answers
12k
views
Can a group be a universal Turing machine?
This question was inspired by this blog post of Jordan Ellenberg.
Define a "computable group" to be an at most countable group $G$ whose elements can be represented by finite binary strings, with the …
79
votes
9
answers
14k
views
What is the significance of non-commutative geometry in mathematics?
This is a question that has been winding around my head for a long time and I have not found a convincing answer. The title says everything, but I am going to enrich my question by little more explana …
78
votes
1
answer
5k
views
The topology of Arithmetic Progressions of primes
The primary motivation for this question is the following: I would like to extract some topological statistics which capture how arithmetic progressions of prime numbers "fit together" in a manner tha …