Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
1 answer
2k views

Sums of two squares in (certain) integral domains

While giving the first of eight lectures on introductory model theory and its applications yesterday, I stated Hilbert's 17th problem (or rather, Artin's Theorem): if $f \in \mathbb{R}[t_1,\ldots,t_n]$...
7 votes
1 answer
474 views

Fibonacci embedded in Catalan?

Given a partition $\lambda$ and its Young diagram $\pmb{Y}_{\lambda}$, we say $\lambda$ is a $(t,s)$-core partition provided that neither $t$ nor $s$ is a hook length in $\pmb{Y}_{\lambda}$. We now ...
8 votes
1 answer
855 views

What is the motivation for excellent rings?

First of all I am not formally educated in mathematics so pardon my ignorance if this is obvious and I am skipping something vital, but I am interested nonetheless in what the original motivation and ...
2 votes
0 answers
491 views

Examples of almost Dedekind domains that are not Dedekind

All I know about almost Dedekind domains (which I have come to learn about only recently) is that they are integral domains whose localization at every prime is a discrete valuation ring. In other ...
5 votes
1 answer
223 views

Intrinsic characterisation of a class of rings

This may be well known, but I was unable to find an answer browsing literature. Let us temporarily call a commutative (unital) ring $R$ an O-ring if there exists an integer $n \ge 1$, a local field of ...
11 votes
4 answers
4k views

Variants of Eisenstein irreducibility

In his article where he stated what we know as Eisenstein's irreducibility criterion (which actually was first proved by Schönemann, as was Scholz's reciprocity law and Hensel's Lemma), he ...
7 votes
2 answers
505 views

A good reference to the Gauss result on the structure of the multiplicative group of a residue ring

I need a good reference (desirably some textbook in Number Theory) to the following known result, attributed to Gauss in Wikipedia. Theorem (Gauss). Let $p$ be a prime number, $k\in\mathbb N$ and $\...
19 votes
1 answer
2k views

Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?

Definition. $$\mathbb{J} = \{1,2,3,\ldots\}.$$ We can refer to the elements of $\mathbb{J}$ as "joiners." The product of joiners is inherited from $\mathbb{Z}$. The sum of joiners will be ...
5 votes
2 answers
369 views

Links between tight closure and deformation theory

I am looking for links between tight closure and deformation theory. As a sample question: Question 1. Are there geometric interpretations in terms of deformation theory of Frobenius rationality? ...
10 votes
2 answers
1k views

Algebraic independence of exponentials

First of all, a happy new year. Be it better than 2015, healthy, wealthy, fruitful and cross-fertilizing for you, familly and friends. In order to cope with families of solutions of evolution ...
5 votes
1 answer
2k views

Generalizing Dedekind's Factorization Theorem

A classical theorem due to Dedekind states the following: Let $O_{K}$ be the ring of integers of a number field $K$, and assume $K$ is generated by adjoining the algebraic integer $\alpha$ to $...
3 votes
0 answers
181 views

Factorization of linear recurrences

For each (commutative unitary) ring $R$, let $\mathfrak{R}(R)$ be the set of all linear recurrences over $R$, that is, the set of all sequences $(a(n))_{n \geq 0}$ in $R$ such that $$a(n+k) = r_1 a(n+...
4 votes
2 answers
405 views

Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...
0 votes
1 answer
598 views

Reference for a lemma on étale maps

The Stacks Project has the following really nice Lemma concerning étale maps of rings: Let $A\rightarrow B$ be a finitely presented, étale morphism of rings. Then there exists a presentation $$ B\...
3 votes
0 answers
168 views

Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$. I am ...
2 votes
3 answers
2k views

Algebraic extensions of p-adic closed fields

I have been working with p-adically closed fields and there are two results that are used time and times again in what I am reading, but I cannot find any references where they are proved... The ...
6 votes
1 answer
1k views

reference for p-local and p-complete integers

Can anyone suggest a good thorough reference for $p$-localization and $p$-completion of the integers? I'm an algebraic topologist who's found himself washed up without any intuition. In particular, ...