Unanswered Questions

126
votes
1answer
3k views

Is there a 0-1 law for the theory of groups?

For each first order sentence $\phi$ in the language of groups, define : $$p_N(\phi)=\frac{\text{number of nonisomorphic groups $G$ of order} \le N\text{ such that } \phi \text{ is valid in } ...
83
votes
1answer
2k views

Does a four-variable analog of the Hall-Witt identity exist?

Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125): An amazing commutator formula is the Hall-Witt identity: ...
60
votes
0answers
2k views

A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
51
votes
0answers
2k views

The Ring Game on $K[x,y,z]$

I recently read about the Ring Game on Mathoverflow, and have been trying to determine winning strategies for each player on various rings. The game has two players and begins with a commutative ...
46
votes
0answers
1k views

What properties of busy beaver numbers are computable?

The busy beaver function $\text{BB}(n)$ describes the maximum number of steps that an $n$-state Turing machine can execute before it halts (assuming it halts at all). It is not a computable function ...
43
votes
0answers
1k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
39
votes
0answers
1k views

Theorem that von Neumann proved in five minutes.

In "How To Solve It", George Pólya writes: "There was a seminar for advanced students in Zürich that I was teaching and von Neumann was in the class. I came to a certain theorem, and I said it ...
38
votes
0answers
633 views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
33
votes
0answers
2k views

Grothendieck 's question - any update?

I was reading Barry Mazur's biography and come across this part: Grothendieck was exceptionally patient with me, for when we first met I knew next to nothing about algebra. In one of his first ...
32
votes
0answers
2k views

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case ...
30
votes
0answers
689 views

On the number of complete and gap-free compositions

This is a longish post about something that has been haunting me for a while about a kind of restricted composition, namely gap-free and complete compositions. First, I will define the terms that are ...
28
votes
0answers
594 views

Extending the result $\int_{0}^{\infty} \left( ( 1 - 2C(x))^{2} + (1-2S(x))^{2} \right) \, dx = \frac{4}{\pi} $

While generalizing this result, I succeeded in proving that for $\alpha > 0$, $\beta < 1$ and $1 < 2\alpha + \beta < 3$, we have \begin{align*} &\int_{0}^{\infty} \left[ \left( ...
28
votes
0answers
1k views

Rank of a $n! \times n$ matrix

This question is about showing that $n!$ points resulting from applying a function (defined below) to the permutations of $n$ numbers lie on a $n-1$ dimensional hyperplane. Let $X=\langle ...
27
votes
0answers
590 views

Applying Freyd-Mitchell's embedding theorem on large categories

One commonly reads that the Freyd-Mitchell's embedding theorem allows proof by diagram chasing in any abelian category. This is not immediately clear, since only small abelian categories can be ...
26
votes
0answers
363 views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...

15 30 50 per page