Unanswered Questions

272
votes
0answers
12k 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 ...
164
votes
1answer
5k 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 } ...
163
votes
0answers
5k 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 ...
117
votes
0answers
3k views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
113
votes
1answer
5k views

How prove this matrix inequality $\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$?

Question: let matrices $A,B,C\in M_{n}(C)$ be Hermitian and Positive definite matrices, such that:$$A+B+C=I_{n}$$ Show that: $$\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$$ ...
109
votes
1answer
3k 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 ...
73
votes
0answers
2k views

Is there a homology theory that counts connected components of a space?

It is well-known that the generators of the zeroth singular homology group $H_0(X)$ of a space $X$ correspond to the path components of $X$. I have recently learned that for Čech homology the ...
70
votes
0answers
2k views

Find all functions $f$ such that if $a+b$ is a square, then $f(a)+f(b)$ is a square

Question: For any $a,b\in \mathbb{N}^{+}$, if $a+b$ is a square number, then $f(a)+f(b)$ is also a square number. Find all such functions. My try: It is clear that the function $$f(x)=x$$ ...
63
votes
0answers
1k views

Geometric interpretation of the Riemann-Roch for curves

Let $X$ be a smooth projective curve of genus $g\geq2$ over an algebraically closed field $k$ and denote by $K$ a canonical divisor. I have some clues about the geometrical interpretation of the ...
55
votes
0answers
1k views

Generalization of Liouville's theorem

As proposed in this answer, I wonder if the answer to following question is known. Let $E = E_0$ be the set of elementary functions. For each $i > 0$, inductively define $E_i$ to be the closure ...
27
votes
0answers
466 views

Placing the integers $\{1,2,\ldots,n\}$ on a circle ( for $n>1$) in some special order

For which integer $n>1$ can we place the integers $\{1,2,\ldots,n\}$ on a circle (say boundary of $S^1$ ) in some order such that for each $s \in \{1,2,\ldots,\dfrac {n(n+1)}{2}\}$ , there exist a ...
13
votes
0answers
307 views

If any differential equation is given by $f''(x)+f'(x)+f^2(x) = x^2\;,$ Then $f(x)=$

If any differential equation is given by $f''(x)+f'(x)+f^2(x) = x^2\;,$ Then $f(x)=$ $\bf{My\; Try::}$ We can write above differential equation as $$e^xf''(x)+e^xf'(x)+e^x\cdot (f(x))^2 = ...
10
votes
1answer
140 views

Any book on major (recent) math discovery (results) in an easy understanding way?

All: Can anyone recommend a book which illustrate major (recent) math discoveries (results) in an easy understanding way ? For "recent discoveries", I meaning something discovered in last 50 years. ...
9
votes
0answers
72 views

Point set where each point has unity distance to all other points ($L_1$ metric)

I want to construct a point set where each point has the same (w.l.o.g., unit) distance to all other points in the $L_1$ metric. Example: The points $\left(\frac{1}{2},0\right)$, ...
9
votes
1answer
500 views

IMO 1979 problem

The question is $$\text{If }\, p, \ q\in \mathbb{N}, \;1-\frac12+\frac13-\frac14-\dotsb-\frac{1}{1318}+\frac{1}{1319}=\frac{p}{q}.\qquad \text{Prove that } 1979\mid p.$$ So my solution went like ...

15 30 50 per page