# All Questions

371,167 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
49k views

### A proof of $\dim(R[T])=\dim(R)+1$ without prime ideals?

Please read this first before answering. This question is only concerned with a proof of the dimension formula using the Coquand-Lombardi characterization below. If you post something that doesn't ...
24k views

### Is there 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$ ...
• 73.8k
5k views

### Sorting of prime gaps

Let $g_i$ be the $i^{th}$ prime gap $p_{i+1}-p_i.$ If we rearrange the sequence $(g_{n,i})_{i=1}^n$ so that for any finite $n$, if the gaps are arranged from smallest to largest, we have a new ...
• 10.3k
4k views

### Does every ring of integers sit inside a ring of integers that has a power basis?

Given a finite extension of the rationals, $K$, we know that $K=\mathbb{Q}[\alpha]$ by the primitive element theorem, so every $x \in K$ has the form $$x = a_0 + a_1 \alpha + \cdots + a_n \alpha^n,$$ ...
• 2,177
11k views

2k views

### What is the largest volume of a polyhedron whose skeleton has total length 1? Is it the regular triangular prism?

Say that the perimeter of a polyhedron is the sum of its edge lengths. What is the maximum volume of a polyhedron with a unit perimeter? A reasonable first guess would be the regular tetrahedron of ...
• 17.7k
3k views

### Probability for an $n\times n$ matrix to have only real eigenvalues

Let $A$ be an $n\times n$ random matrix where every entry is i.i.d. and uniformly distributed on $[0,1]$. What is the probability that $A$ has only real eigenvalues? The answer cannot be $0$ or $1$, ...
• 11.4k
3k views

### Why is a PDE a submanifold (and not just a subset)?

I struggle a bit with understanding the idea behind the definition of a PDE on a fibred manifold. Let $\pi: E \to M$ be a smooth locally trivial fibre bundle. In Gromovs words a partial differential ...
• 1,528
2k views

### Can Erdős-Turán $\frac{5}{8}$ theorem be generalised that way?

Suppose for an arbitrary group word $w$ ower the alphabet of $n$ symbols $\mathfrak{U_w}$ is a variety of all groups $G$, that satisfy an identity $\forall a_1, … , a_n \in G$ $w(a_1, … , a_n) = e$. ...
• 15.7k
2k views

### Complete, Finitely Axiomatizable, Theory with 3 Countable Models

Does there exist a complete, finitely axiomatizable, first-order theory $T$ with exactly 3 countable non-isomorphic models? A few relevant comments: There is a classical example of a complete theory ...
• 5,234
1k views

### Does the $32$-inator exist?

Background It is common popular-math knowledge that as we extend the real numbers to complex numbers, quaternions, octonions, sedenions, $32$-nions, etc. using the Cayley-Dickson construction, we lose ...
• 5,961
2k views

### Is there a "ping-pong lemma proof" that $\langle x \mapsto x+1,x \mapsto x^3 \rangle$ is a free group of rank 2?

Let $f,g\colon \mathbb R \to \mathbb R$ be the permutations defined by $f\colon x \mapsto x+1$ and $g\colon x \mapsto x^3$, or maybe even have $g\colon x \mapsto x^p$, $p$ an odd prime. In the book, ...
1k views

• 17.1k
2k views

• 84.4k
10k views

• 11.8k
781 views

### Continued fraction with prime reciprocal entries

We know that the reciprocals of the primes form a divergent series. We also know that a necessary and sufficient condition for a continued fraction to converge is that its entries diverge as a series. ...
• 31.5k
1k views

### Dividing a polyhedron into two similar copies of itself

The paper Dividing a polygon into two similar polygons provides that there are only three families of polygons that are irrep-2-tiles (can be subdivided into similar copies of the original). Right ...
• 1,860
977 views

### Closed model categories in the sense of Quillen [1969] vs the modern sense

The modern definition of (closed) model category differs in two ways from Quillen's 1969 definition: Model categories are now required to be complete and cocomplete, whereas Quillen only asked for ...
• 90.9k
865 views

### Grasshopper jumping on circles

Can we characterize the grasshopper sequence? Let $n\in\mathbb N$ be the number of stones $s\in\{0,1,2\dots,n-1\}=S$ on a circle that the grasshopper can jump on. Let $v(s)$ be the number of times ...
• 12.5k
656 views

### Is every finite list of integers coprime to $n$ congruent $\pmod n$ to a list of consecutive primes?

For example the list $(2, 1, 2, 1)$ is congruent $\pmod 3$ to the consecutive primes $(5, 7, 11, 13)$. But how about the list $(1,1,1,1,1,1,1,1,2,3,4,3,2,3,1) \mod 5$? More generally, we are given ...
1k views

### Algorithm to find primes up to $n$ in $O\left(\frac{n}{\log n}\right)$?

Consider the problem of given an integer $n$, generating a list of the primes not greater than $n$. An optimized version of the Sieve of Eratosthenes can do such task in $O(n)$, while the more modern ...
• 1,043
1k views

### Constructing an infinite chain of subfields of 'hyper' algebraic numbers?

This has now been cross posted to MO. Let $F$ be a subset of $\mathbb{R}$ and let $S_F$ denote the set of values which satisfy some generalized polynomial whose exponents and coefficients are drawn ...
• 3,813
2k views

• 353
575 views

### Does this Condition on Exit Times imply $X_t$ is a Local Supermartingale?

Let $(X_t)_{t\geq 0}$ be a continuous (or càdlàg), real-valued process, and define stopping times $$\tau_{s,a,b}=\inf~ [s,\infty)\cap\{t:X_t\notin (a,b)\}.$$ We can interpret $\tau_{s,a,b}$ as the ...
• 4,602
710 views

### Visualizing the Partition numbers (suggestions for visualization techniques)

So Ken Ono says that the partition numbers behave like fractals, in which case I'd like to try to find an appropriately illuminating way of visualizing them. But I'm sort of stuck at the moment, so ...
• 5,698
2k views

### How to find area of a polygon built on the roots of a given polynomial?

How to find the area of a (maximum area convex) polygon, built on the roots of a given polynomial in the complex plane? For example, consider the equation: $$2x^5+3x^3-x+1=0$$ It has one real and four ...
• 31.6k
[This question has lead me to ask a follow up on MathOverflow.] A recent tweet by John Baez has reminded me of the astonishing fact$^1$ that the Riemann hypothesis (RH) can be disproved by finding a ...