Questions tagged [number-theory]

A field of mathematics studying numbers, their properties and structures that arise from them.

Filter by
Sorted by
Tagged with
2 votes
1 answer
217 views

Implications of several unpublished "binomial congruences" of Gauss

In article 23 of his first memoir on biquadratic residues, Gauss gave the first example of a binomial-type congruence, which is apparently a quite "deep" result - many authors relate it to ...
user2554's user avatar
  • 4,337
4 votes
0 answers
174 views

Who proposed terminating decimals as a major set and why are them important in France?

After looking at some school sources in French, it is common to provide the various number sets in the following order $$\mathbb{N}\subset \mathbb{Z}\subset\mathbb{D}\subset\mathbb{Q}\subset\mathbb{R}\...
Mauricio's user avatar
  • 2,688
3 votes
1 answer
97 views

Finite fields as quotients

Although finite fields are usually introduced as field extensions of fields of prime order, they also arise as quotients of number rings; e.g., $GF(9)$ comes from taking the Gaussian integers mod 3 ...
James Propp's user avatar
0 votes
1 answer
222 views

Question about Felix Klein's "Development of Mathematics in the 19th Century" [closed]

The original version of these photos is Felix Klein's "Development of Mathematics in the 19th Century" In second photo In this book, it says class-field and decompose 2 into $(1+i)$ and $(1-...
pokssin's user avatar
  • 177
1 vote
0 answers
57 views

Unramified étale cohomology groups & unramified Milnor-Witt K-groups: any relation to notion of unramifiedness in number theory

Let $X$ be an integral locally noetherian smooth scheme over base field $k$. Then for every point $x \in X^{(1)}$ of codimension $1$, the stalk $\mathcal{O}_{X,x}$ is a discrete valuation ring. ...
user267839's user avatar
4 votes
1 answer
104 views

Teiji Takagi's Fondation of Class Field Theory in Terms of Norms

I have a question about Teiji Takagi's original motivation for his groundbreaking reformulation of class field theory implementing the ideal norms $N_{\mathfrak{m}}(L/K)$ as new "key players"...
user267839's user avatar
1 vote
1 answer
108 views

How did Fermat handle Frenicle's challenge to find a perfect number between $10^{20}$ and $10^{22}$?

Even perfect numbers have the form $(2^n - 1)2^{n-1}$ where $2^n - 1$ is a prime number. This restricts the possible values of $n$ to $34, 35, 36, 37$. Since $n$ must be prime, only $37$ has to be ...
MRX's user avatar
  • 13
3 votes
0 answers
95 views

When did modular forms start to get studied via algebraic geometry?

I'm looking, for instance, as to when people started studying modular curves and modular forms as sections of line bundles on them, as opposed to the point of view of modular forms being holomorphic ...
Anton Hilado's user avatar
2 votes
1 answer
244 views

Why is the claim that $\pi$ contains all natural numbers thought by the general public to be proven, despite it being conjecture currently?

We've all heard the popular claim that the expansion of $\pi$ contains every natural number; however, as we can see from numerous sources, such as Mathematics Stack Exchange and Wikipedia, it is ...
Shaun's user avatar
  • 193
1 vote
1 answer
88 views

When was the first time the number 0 came to mean a multiple of ten? [closed]

The earliest number notation I can find is the sexagesimal digit notation of cuneiform. From my understanding of that, in order to make numbers bigger than 60, you would just add the smaller numbers ...
Jimmy G.'s user avatar
  • 189
2 votes
2 answers
123 views

Background of 'Eisenstein series'

It's my first question. I am studying elliptic function, Among them, I have a question about the Weierstrass elliptic function. In the Weierstrass elliptic function, their coefficients are expressed ...
pokssin's user avatar
  • 177
2 votes
0 answers
100 views

Influence of Edmund Landau's list of four problems

At the 1912 International Congress of Mathematicians, Edmund Landau listed four basic problems about prime numbers: Goldbach's conjecture, the twin prime conjecture, Legendre's conjecture (that there ...
Timothy Chow's user avatar
  • 1,256
1 vote
1 answer
91 views

The symbol h for class numbers

We use $h_K$ conventionally to denote the class numbers of number fields $K$. But I have never thought why the letter $h$ was used for it. Why and who used $h$ for the class number?
P.-S. Park's user avatar
3 votes
0 answers
216 views

Who came up with the proof of "Bézout's identity" that uses the well-ordering principle?

Let $a$ and $b$ be two integers not both of which are equal to zero. It is an important and well-known fact that $\text{gcd}(a,b)=ax_{0}+by_{0}$ for some integers $x_{0}$ and $y_{0}$. Even though this ...
José Hdz. Stgo.'s user avatar
4 votes
1 answer
196 views

Who first proved necessity of Euclid's formula for pythagorean triples?

The following well-known formula for pythagorean triples is commonly called Euclid's formula: If $a, b, c$ are three natural numbers with $a,c$ odd, $b$ even, $\gcd(a,b,c)=1$ and $a^2+b^2=c^2$, then ...
roymend's user avatar
  • 123
3 votes
1 answer
180 views

When was the study of automorphic (and in particular modular) forms become "adelized"?

The theory of automorphic forms is stated in modern language as a function on the adelic points of some reductive group satisfying certain properties (see for instance, Chapter 7 of An Introduction to ...
Anton Hilado's user avatar
5 votes
0 answers
338 views

Origin of Problem 6 on the 1988 International Mathematical Olympiad

The recent Numberphile video on the famous Problem 6 of the 1988 IMO (mentioned in a recent answer on this site) got me wondering: Who came up with this problem in the first place, and how did they ...
Timothy Chow's user avatar
  • 1,256
8 votes
1 answer
889 views

Who was N.M. Stephens who refuted the Stronger Feit-Thompson Conjecture?

The Stronger Feit-Thompson conjecture states that: There exist no distinct prime numbers $p$ and $q$ such that: $\dfrac {p^q - 1} {p - 1}$ and $\dfrac {q^p - 1} {q - 1}$ are not coprime. This was ...
Prime Mover's user avatar
  • 1,237
2 votes
2 answers
111 views

Special quadratic reciprocity? $(-3/p)_2$ and $(5/p)_2$ in addition to $(-1/p)_2$ and $(2/p)_2$?

Context: since $\mathbb Z/p^\times$ is cyclic for $p$ prime, $-1$ is a square mod $p$ if and only if $(-1)^{{p-1\over 2}}=1$. A significantly subtler, but still classical, case is determining the ...
paul garrett's user avatar
1 vote
1 answer
131 views

Number theory: a quote

I remember reading a remark on number theory that went something like this: "there is plenty of material in this topic for an $n$ semester course without having to repeat oneself". Have you ...
José Hdz. Stgo.'s user avatar
2 votes
2 answers
250 views

Simplest of the many proofs the prime harmonic series diverges

Over the history of mathematics, some key facts have had multiple and different proofs developed for them. Sometimes these different proofs provide a unique insight or understanding of those facts. ...
Penelope's user avatar
  • 365
4 votes
0 answers
103 views

Who first proved that there is no five-digit perfect number?

A perfect number is a positive integer that is equal to the sum of its positive divisors, excluding the number itself. The first five perfect numbers are 6, 28, 496, 8128, and 33550336. Nicomachus ...
A. Rex's user avatar
  • 91
5 votes
1 answer
278 views

Hilbert's problem list did not include Fermat's last theorem. Why?

Fermat's Last Theorem was open for more than 350 years until Andrew Wiles proved it in 1995. Are there possible (historical or other) reasons why David Hilbert did not include this famous open problem ...
modnar's user avatar
  • 565
1 vote
1 answer
126 views

Fermat et l'équation de Pell

Does any of you happen to own and electronic copy of the paper "Fermat et l'équation de Pell" by A. Weil? If I understand correctly, this paper can be found on pages 413-419 of the third ...
José Hdz. Stgo.'s user avatar
4 votes
1 answer
142 views

$\pi(x)$ and $\operatorname{li}(x)$ cross infinitely many times -- due to Littlewood 1914 or Schmidt 1903?

In Montgomery-Vaughan's Multiplicative Number Theory I: Classical Theory, they prove in Theorem 15.3 that $\pi(x)-\operatorname{li}(x) = \Omega_{\pm}(x^{\Theta-\epsilon})$ for every $\epsilon>0$ ...
D.R's user avatar
  • 253
4 votes
1 answer
256 views

Whose 1930 number theory result is used in characterizing perfect 2-error correcting linear codes?

In Error-Correcting Codes: A Mathematical Introduction (Chapman & Hall, 1998), John Baylis wrote (p.109) Moving on to 2-error correcting linear codes, the condition for perfection of linear codes ...
Brian Hopkins's user avatar
2 votes
1 answer
173 views

(Where) does Plato define perfect number?

I've read several texts suggesting that Plato defines "perfect number" in his Republic, book VIII 546 b. However, there's no definition as we can see from - for example - this translation: &...
jvkloc's user avatar
  • 123
4 votes
1 answer
168 views

Why did Gauss use [1] modulus and [2] its ablative case to define n as a positive divisor of a - b?

Any Latinists here please? 1. Why did Gauss choose modulus? How does it relate to $n >1$ where $a - b = kn$ for some integer $k$? And why the Ablative Case? ag.algebraic geometry - The Origin(s) ...
user avatar
1 vote
0 answers
129 views

How did Fermat come up with his Last Theorem?

It's usually believed that Fermat's claim that he had a proof for the Last Theorem is false, and that it might have been more of a conjecture. Or considering it took many centuries and advanced ...
HighVoltage's user avatar
7 votes
2 answers
471 views

$2^{11} - 1$ and the mystery of Huldaricus Regius

While researching on Mersenne numbers, I often stumble upon statements of this nature (it is not verbatim): Huldaricus Regius in 1536 proved that $2^{11}-1$ is not prime, providing a factorisation ...
Plasma Stark's user avatar
5 votes
1 answer
3k views

Who discovered this closed form formula for the n-th prime number?

The following is a formula for the $n$-th prime number ($[\,]$ represents the floor function). Who was the first person to discover it? $$\newcommand{\lowerbrack}[2]{% \raise{-#1}{\left[\raise{#1}{#...
user776490's user avatar
2 votes
1 answer
188 views

Confusion on the original article by Lucas

I am currently researching on all primality tests deriving from Lucas' original paper Théorie des Fonctions Numériques Simplement Périodiques, which is of course known for its great deal of confusion. ...
Plasma Stark's user avatar
16 votes
2 answers
3k views

Did ancient Greek mathematicians consider numbers independently of geometry?

I am currently reading Oliver Bryne's edition of Euclid's Elements, and in The Elements many arithmetic propositions are proved geometrically, and it feels to me that numbers are always treated as ...
Thomas.M's user avatar
  • 163
2 votes
0 answers
73 views

Who first proved that the existence of a Euclidean algorithm implies unique factorization?

In Simachew's "A Survey on Euclidean Number Fields", he said that Gauss used the existence of a Euclidean algorithm in Gaussian integers to prove that it has unique factorization. Also, he ...
Butterfly's user avatar
2 votes
0 answers
109 views

First motivation for extending Riemann Zeta to complex domain?

Euler developed the Euler Product Formula which shows that the Riemann zeta function encodes information about the prime. $$\zeta(s)=\sum_{n}\frac{1}{n^{s}}=\prod_{p}(1-\frac{1}{p^{s}})^{-1}$$ Riemann ...
Penelope's user avatar
  • 365
1 vote
2 answers
151 views

Was Cramér the first to interpret the PNT's $1/\log(x)$ as probability of primes?

The Cramér probabilistic model of primes is built on the assumption that the probability of $n$ being prime is $$\Pr(n)=\frac{1}{\log (n)}$$ This is not a big leap from the Prime Number Theorem which ...
Penelope's user avatar
  • 365
0 votes
0 answers
55 views

Any historical work on the distribution of prime gaps?

I am looking to see whether historic mathematicians did any work to explain the slightly unexpected distribution of prime gaps? I would have expected Gauss, who studied lists of primes and proposed a ...
Penelope's user avatar
  • 365
1 vote
1 answer
147 views

Euler's proof of infinite primes first since Euclid?

Q. Is it true that Euler's proof of infinite primes was the first since Euclid's which was from around 300BC? Note: By Euler's proof, I mean the use of his Euler product formula for the zeta function ...
Penelope's user avatar
  • 365
18 votes
1 answer
4k views

Is the story about Fermat's writing on a margin true?

Is there any evidence that Fermat wrote on the margin of a book "I have discovered a truly marvelous demonstration of this proposition that this margin is too narrow to contain." Everyone ...
Wynne's user avatar
  • 375
4 votes
1 answer
332 views

What changes in mathematics resulted in the change of the definition of primes and exclusion of 1?

Why 1 is not prime? I read in this article that G.H Hardy explicitly included 1 as a prime in the first 6 editions of "A Course in Pure Mathematics", published between 1908-1933. He updated ...
Saikat's user avatar
  • 338
4 votes
0 answers
117 views

Where is First-Order Peano Arithmetic first clearly formulated?

I really should know this, but ... When/where/by whom was first-order Peano Arithmetic first clearly and explicitly formulated in a recognizably modern form (perhaps exact notation apart) -- with the ...
Peter Smith's user avatar
1 vote
1 answer
142 views

How were number symbols derived/shaped up?

This question was sitting on my to do list for sometime. So, as I was reading a book on history of science, I came across of a paragraph where the author attempted to give a historical development ...
flamenco's user avatar
  • 119
0 votes
0 answers
101 views

Does this mathematical result have a specific name?

I am not sure if it's new although it may be an easy consequence of some theorem or lemma.The result is as follows: By choosing a set of numbers between $0$ and $n$(for any $n$) picking each number at ...
GEP's user avatar
  • 1,516
1 vote
0 answers
168 views

Why didn't the ancient Greeks consider 1 to be odd?

The Wikipedia page on parity currently says: The ancient Greeks considered 1, the monad, to be neither fully odd nor fully even Why didn't they consider 1 as odd? (I am assuming they already had the ...
theonlygusti's user avatar
1 vote
0 answers
52 views

Timeline for the earliest work on Frobenius problems

If $a, b$ are positive and coprime integers, then the set of linear combinations of $a$ and $b$ with nonnegative coefficients is all integers past $(a - 1)(b - 1)$; i.e. $\{ \lambda_1 a + \lambda_2 b :...
jskattt797's user avatar
6 votes
0 answers
177 views

Did Hardy and Ramanujan miscalculate these values?

When I read Dickson's History Of The Theory Of Numbers Vol-2, I found that there seems to be a mistake in the approximation of partition numbers p(200). For this reason, I found the original text ...
D.Matthew's user avatar
  • 161
4 votes
1 answer
229 views

Has any large group of people used a base other than 10, 20 and 60 for ordinary purposes?

Wikipedia's list of numeral systems lists only $10,20,60$ as having been used in history. There are about twenty-five sets of symbols there used by different groups of people, but only three different ...
Favst's user avatar
  • 335
0 votes
1 answer
87 views

What are the direct predecessors of Lagrange's theory of quadratic forms?

I was reading Stillwell's Mathematics and its History, where Lagrange's theory of quadratic forms is synoptically presented, and I was wondering of what are the direct predecessors of the theory. ...
GEP's user avatar
  • 1,516
3 votes
1 answer
260 views

When and where was Legendre's Conjecture first published?

When and where did Legendre first publish or write about his conjecture that there is a prime between consecutive square numbers? $$n^2 < p < (n+1)^2$$ I have looked through edition 1 and 2 of ...
Penelope's user avatar
  • 365
3 votes
1 answer
196 views

Reference for Euler's Introductio in Analysin Infinitorum

In the following answer it has been claimed that "The reference here is not to Euler's 1737 "factorization" of the harmonic series but to 1748 Introductio in Analysin Infinitorum, where the identity ...
math is fun's user avatar