Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Join us in building a kind, collaborative learning community via our updated Code of Conduct.

Unanswered Questions

221,165 questions with no upvoted or accepted answers
608
votes
0answers
32k 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 ...
315
votes
0answers
11k 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 ...
301
votes
0answers
9k 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$ ...
167
votes
0answers
9k views

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ $K_1=\left(\...
138
votes
0answers
2k 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 ...
114
votes
0answers
8k views

Irrationality of $e$

I have a question about the irrationality of $e$: In proving the irrationality of $e$, one can prove the irrationality of $e^{-1}$ by using the series $$e^x = 1+x+\frac{x^2}{2!} + \cdots + \frac{x^...
110
votes
1answer
2k 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 ...
100
votes
0answers
3k views

Pythagorean triples that “survive” Euler's totient function

Suppose you have three positive integers $a, b, c$ that form a Pythagorean triple: \begin{equation} a^2 + b^2 = c^2. \tag{1}\label{1} \end{equation} Additionally, suppose that when you apply Euler's ...
95
votes
0answers
4k views

Is this *really* a categorical approach to *integration*?

Here's an article by Reinhard Börger I found recently whose title and content, prima facie, seem quite exciting to me, given my misadventures lately (like this and this); it's called, "A Categorical ...
87
votes
0answers
2k views

Application of Hilbert's basis theorem in representation theory

In Smalo: Degenerations of Representations of Associative Algebras, Milan J. Math., 2008 there is an application of Hilbert's basis theorem that I don't understand: Two orders are defined on the set ...
76
votes
0answers
2k views

What is the Picard group of $z^3=y(y^2-x^2)(x-1)$?

I'm actually doing much more with this affine surface than just looking for the Picard group. I have already proved many things about this surface, and have many more things to look at it, but the ...
69
votes
0answers
856 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,$$ ...
69
votes
0answers
3k views

The closed form of $\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$

What tools or ways would you propose for getting the closed form of this integral? $$\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$$ EDIT: It took a while since I made this post. I'll ...
68
votes
1answer
1k views

Ring structure on the Galois group of a finite field

Let $F$ be a finite field. There is an isomorphism of topological groups $\left(\mathrm{Gal}(\overline{F}/F),\circ\right) \cong (\widehat{\mathbb{Z}},+)$. It follows that the Galois group carries the ...
60
votes
0answers
1k views

Tate conjecture for Fermat varieties

I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture ...

15 30 50 per page