Frequent Questions
18,052 questions
1072
votes
296
answers
351k
views
Examples of common false beliefs in mathematics
The first thing to say is that this is not the same as the question about interesting mathematical mistakes. I am interested about the type of false beliefs that many intelligent people have while ...
147
votes
66
answers
40k
views
Important formulas in combinatorics
Motivation:
The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...
231
votes
13
answers
42k
views
Is there an introduction to probability theory from a structuralist/categorical perspective?
The title really is the question, but allow me to explain.
I am a pure mathematician working outside of probability theory, but the concepts and techniques of probability theory (in the sense of ...
- 65.4k
394
votes
115
answers
110k
views
Not especially famous, long-open problems which anyone can understand
Question: I'm asking for a big list of not especially famous, long open problems that anyone can understand. Community wiki, so one problem per answer, please.
Motivation: I plan to use this list in ...
44
votes
5
answers
6k
views
Finding a 1-form adapted to a smooth flow
Let $M$ be a smooth compact manifold, and let $X$ be a smooth vector field of $M$ that is nowhere vanishing, thus one can think of the pair $(M,X)$ as a smooth flow with no fixed points. Let us say ...
- 114k
401
votes
53
answers
151k
views
Widely accepted mathematical results that were later shown to be wrong?
Are there any examples in the history of mathematics of a mathematical proof that was initially reviewed and widely accepted as valid, only to be disproved a significant amount of time later, possibly ...
42
votes
6
answers
7k
views
An algebra of "integrals"
When discussing divergent integrals with people, I got curious about the following:
Is there an $\mathbb{R}$-algebra $A$ together with a map (could be defined on just a subspace)
$$\int_0^{\infty}: ...
- 3,806
72
votes
3
answers
8k
views
Can you solve the listed smallest open Diophantine equations?
In 2018, Zidane asked What is the smallest unsolved Diophantine equation? The suggested way to measure size is substitute 2 instead of all variables, absolute values instead of all coefficients, and ...
- 7,182
295
votes
34
answers
40k
views
Which journals publish expository work?
I wonder if anyone else has noticed that the market for expository papers in mathematics is very narrow (more so than it used to be, perhaps).
Are there any journals which publish expository work, ...
238
votes
46
answers
90k
views
Most interesting mathematics mistake?
Some mistakes in mathematics made by extremely smart and famous people can eventually lead to interesting developments and theorems, e.g. Poincaré's 3d sphere characterization or the search to prove ...
87
votes
5
answers
10k
views
When is $A$ isomorphic to $A^3$?
This is totally elementary, but I have no idea how to solve it: let $A$ be an abelian group such that $A$ is isomorphic to $A^3$. is then $A$ isomorphic to $A^2$? probably no, but how construct a ...
- 63.1k
39
votes
2
answers
5k
views
Why is there a connection between enumerative geometry and nonlinear waves?
Recently I encountered in a class the fact that there is a generating function of Gromov–Witten invariants that satisfies the Korteweg–de Vries hierarchy. Let me state the fact more precisely. ...
- 1,589
12
votes
3
answers
2k
views
Limit cycles as closed geodesics (in negatively or positively curved space)
Updated 1/25/2023 I just added a related post below:
Jacobi fields, Conjugate points and limit cycle theory
EDIT: Here is a related post which concern quadratic vector fields rather than Van ...
- 366
256
votes
16
answers
71k
views
Why worry about the axiom of choice?
As I understand it, it has been proven that the axiom of choice is independent of the other axioms of set theory. Yet I still see people fuss about whether or not theorem X depends on it, and I don't ...
57
votes
8
answers
10k
views
Does the formal power series solution to $f(f(x))= \sin( x) $ converge?
I have spent some time using gp-pari. There is, of course, a formal power series solution to
$ f(f(x)) = \sin x.$ It is displayed below, identified by the symbol $g$ because I am not entirely sure ...
- 25.7k
49
votes
4
answers
6k
views
How to constructively/combinatorially prove Schur-Weyl duality?
How is Schur-Weyl duality (specifically, the fact that the actions of the group ring $\mathbb{K}\left[ S_{n}\right] $ and the monoid ring
$\mathbb{K}\left[ \left( \operatorname*{End}V,\cdot\...
- 33.8k
399
votes
23
answers
69k
views
Thinking and Explaining
How big a gap is there between how you think about mathematics and what you say to others? Do you say what you're thinking? Please give either personal examples of how your thoughts and words differ, ...
212
votes
52
answers
82k
views
Ways to prove the fundamental theorem of algebra
This seems to be a favorite question everywhere, including Princeton quals. How many ways are there?
Please give a new way in each answer, and if possible give reference. I start by giving two:
...
121
votes
5
answers
13k
views
What do epimorphisms of (commutative) rings look like?
(Background: In any category, an epimorphism is a morphism $f:X\to Y$ which is "surjective" in the following sense: for any two morphisms $g,h:Y\to Z$, if $g\circ f=h\circ f$, then $g=h$. Roughly, "...
- 24.1k
13
votes
2
answers
2k
views
Generalization of a theorem of Øystein Ore in group theory
Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and $\...
71
votes
6
answers
10k
views
Kahler differentials and Ordinary Differentials
What's the relationship between Kahler differentials and ordinary differential forms?
- 1,776
50
votes
6
answers
11k
views
Generating finite simple groups with $2$ elements
Here is a very natural question:
Q: Is it always possible to generate a finite simple group with only $2$ elements?
In all the examples that I can think of the answer is yes.
If the answer is ...
- 7,609
49
votes
2
answers
11k
views
Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?
Mathematica knows that:
$$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$
The von Mangoldt function should then be:
$$\Lambda(n)=...
121
votes
15
answers
101k
views
Sum of 'the first k' binomial coefficients for fixed $N$
I am interested in the function $$f(N,k)=\sum_{i=0}^{k} {N \choose i}$$ for fixed $N$ and $0 \leq k \leq N $. Obviously it equals 1 for $k = 0$ and $2^{N}$ for $k = N$, but are there any other ...
- 1,288
34
votes
2
answers
2k
views
Are the Sierpiński cardinal $\acute{\mathfrak n}$ and its measure modification $\acute{\mathfrak m}$ equal to some known small uncountable cardinals?
This question was motivated by an answer to this question of Dominic van der Zypen.
It relates to the following classical theorem of Sierpiński.
Theorem (Sierpiński, 1921). For any countable partition ...
- 42k
32
votes
2
answers
4k
views
Similarities between Post's Problem and Cohen's Forcing
Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated 4/...
- 7,831
22
votes
2
answers
2k
views
Non weakly-group-theoretical integral fusion category
Is there an integral fusion category of rank $7$, FPdim $210$ and type $(1,5,5,5,6,7,7)$ with the following fusion rules (or the little $\color{purple}{\text{variation}}$ below)?
$$\scriptsize{\begin{...
333
votes
34
answers
96k
views
Why is a topology made up of 'open' sets? [closed]
I'm ashamed to admit it, but I don't think I've ever been able to genuinely motivate the definition of a topological space in an undergraduate course. Clearly, the definition distills the essence of ...
298
votes
34
answers
53k
views
What are some reasonable-sounding statements that are independent of ZFC?
Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC."
For example, suppose $A$ is an abelian group such ...
283
votes
69
answers
143k
views
Awfully sophisticated proof for simple facts
It is sometimes the case that one can produce proofs of simple facts that are of disproportionate sophistication which, however, do not involve any circularity. For example, (I think) I gave an ...
201
votes
67
answers
47k
views
Examples of eventual counterexamples
Define an "eventual counterexample" to be
$P(a) = T $ for $a < n$
$P(n) = F$
$n$ is sufficiently large for $P(a) = T\ \ \forall a \in \mathbb{N}$ to be a 'reasonable' conjecture to ...
175
votes
2
answers
66k
views
Estimating the size of solutions of a diophantine equation
A. Is there natural numbers $a,b,c$ such that $\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}$ is equal to an odd natural number ?
(I do not know any such numbers).
B. Suppose that $\frac{a}{b+c} + \...
- 1,881
174
votes
7
answers
17k
views
Does $\DeclareMathOperator\Aut{Aut}\Aut(\Aut(\dots\Aut(G)\dots))$ stabilize?
Purely for fun, I was playing around with iteratively applying $\DeclareMathOperator{\Aut}{Aut}\Aut$ to a group $G$; that is, studying groups of the form
$$ {\Aut}^n(G):= \Aut(\Aut(\dots\Aut(G)\dots))....
- 13k
157
votes
48
answers
24k
views
Generalizing a problem to make it easier
One of the many articles on the Tricki that was planned but has never been written was about making it easier to solve a problem by generalizing it (which initially seems paradoxical because if you ...
134
votes
69
answers
227k
views
Mathematical "urban legends"
When I was a young and impressionable graduate student at Princeton, we scared each other with the story of a Final Public Oral, where Jack Milnor was dragged in against his will to sit on a committee,...
109
votes
6
answers
19k
views
How small can a sum of a few roots of unity be?
Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...
- 114k
73
votes
10
answers
11k
views
Riemannian surfaces with an explicit distance function?
I'm looking for explicit examples of Riemannian surfaces (two-dimensional Riemannian manifolds $(M,g)$) for which the distance function d(x,y) can be given explicitly in terms of local coordinates of ...
- 114k
22
votes
8
answers
13k
views
Lower bound for sum of binomial coefficients?
Hi! I'm new here. It would be awesome if someone knows a good answer.
Is there a good lower bound for the tail of sums of binomial coefficients? I'm particularly interested in the simplest case $\...
- 253
218
votes
24
answers
48k
views
What is torsion in differential geometry intuitively?
Hi,
given a connection on the tangent space of a manifold, one can define its torsion:
$$T(X,Y):=\triangledown_X Y - \triangledown_Y X - [X,Y]$$
What is the geometric picture behind this definition&...
- 13.2k
119
votes
8
answers
35k
views
Zagier's one-sentence proof of a theorem of Fermat
Zagier has a very short proof (MR1041893, JSTOR) for the fact that every prime number $p$ of the form $4k+1$ is the sum of two squares.
The proof defines an involution of the set $S= \lbrace (x,y,z) \...
- 6,224
113
votes
2
answers
16k
views
Does every non-empty set admit a group structure (in ZF)?
It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...
- 3,511
82
votes
12
answers
15k
views
Compelling evidence that two basepoints are better than one
This question is inspired by an answer of Tim Porter.
Ronnie Brown pioneered a framework for homotopy theory in which one may consider multiple basepoints. These ideas are accessibly presented in his ...
- 22.1k
50
votes
4
answers
9k
views
Is there an "elementary" proof of the infinitude of completely split primes?
Let $K$ be a Galois extension of the rationals with degree $n$. The Chebotarev Density Theorem guarantees that the rational primes that split completely in $K$ have density $1/n$ and thus there are ...
- 44.4k
49
votes
2
answers
6k
views
What interesting/nontrivial results in Algebraic geometry require the existence of universes?
Brian Conrad indicated a while ago that many of the results proven in AG using universes can be proven without them by being very careful (link). I'm wondering if there are any results in AG that ...
- 19.6k
42
votes
8
answers
11k
views
The finite subgroups of SU(n)
This question is inspired by the recent question "The finite subgroups of SL(2,C)". While reading the answers there I remembered reading once that identifying the finite subgroups of SU(3) is still an ...
- 2,123
41
votes
5
answers
11k
views
Do sets with positive Lebesgue measure have same cardinality as R?
I have been thinking about which kind of wild non-measurable functions you can define. This led me to the question:
Is it possible to prove in ZFC, that if a (Edit: measurabel) set $A\subset \mathbb{...
- 1,593
39
votes
6
answers
6k
views
Who invented diagrammatic algebra?
There is a strong and growing trend to do mathematics via diagrammatic algebra, which involves constructing and manipulating equations whose elements are diagrams drawn in the plane. The manipulations ...
- 22.1k
37
votes
5
answers
4k
views
Reference for the Gelfand duality theorem for commutative von Neumann algebras
The Gelfand duality theorem for commutative von Neumann algebras states that the following three categories are equivalent:
(1) The opposite category of the category of commutative von Neumann ...
- 37.8k
32
votes
3
answers
12k
views
About Goldbach's conjecture
let's consider a composite natural number $n$ greater or equal to $4$. Goldbach's conjecture is equivalent to the following statement: "there is at least one natural number $r$ such as $(n-r)$ ...
- 6,984
29
votes
7
answers
7k
views
Asymptotic density of k-almost primes
Let $\pi_k(x)=|\{n\le x:n=p_1p_2\cdots p_k\}|$ be the counting function for the k-almost primes, generalizing $\pi(x)=\pi_1(x)$. A result of Landau is
$$\pi_k(x)\sim\frac{x(\log\log x)^{k-1}}{(k-1)!\...
- 9,114