Stack Exchange

Alex J Best

Boston, MA, USA

http://alexjbest.github.io/

Graduate student in Mathematics, interested in all the things.

top accounts reputation activity subscriptions
Top Questions
No questions with score of 5 or more
Top Answers
89
Proofs that every mathematician should know.
math.stackexchange.com

18
The Best of Dover Books (a.k.a the best cheap mathematical texts)
math.stackexchange.com

18
Method to test if a number is a perfect power?
math.stackexchange.com

14
Is there software for interfacing Lean code with LaTeX?
proofassistants.stackexchange.com

12
Classical number theoretic applications of the $p$-adic numbers
math.stackexchange.com

11
Reference to self-study Abstract Algebra and Category Theory
math.stackexchange.com

10
How does one actually compute the dual isogeny?
math.stackexchange.com

9
Mind-blowing mathematics experiments
math.stackexchange.com

9
How did Euler prove the Mersenne number $2^{31}-1$ is a prime so early in history?
math.stackexchange.com

9
Is there a positive integer $n$ such that the prime divisors of $n^3 - 1$ are $2$, $3$ and $7$?
math.stackexchange.com

9
Proof Assistants for Vim Users
proofassistants.stackexchange.com

8
Am I the only one constantly forgetting the Eisenstein criterion?
math.stackexchange.com

8
How to quickly look up what constructor/lemma I should use in Lean4?
proofassistants.stackexchange.com

7
Showing that $S^1 \times \left\{\pm 1 \right\}$ is not isomorphic to $O(2)$
math.stackexchange.com

7
If the localization of a ring is a field, then the ring is an integral domain?
math.stackexchange.com

7
Torsion in absolute Galois groups
math.stackexchange.com

7
The orders of $\mathbb{F}_{p^n}$- rational points of a fixed abelian variety and MAGMA computation
mathoverflow.net

7
How are all Mersenne primes are of the form $27x^2+4y^2$ (except 3 and 7)?
math.stackexchange.com

7
Example of complex multiplication for elliptic curve
math.stackexchange.com

7
Why do we use *fractional* ideals in construction of the class group?
math.stackexchange.com

6
Compendium of elliptic curves?
math.stackexchange.com

6
Finite extensions preserve finiteness of Elliptic curve points
math.stackexchange.com

6
Lean: dubious noncomputability
proofassistants.stackexchange.com

6
Show that $(\Bbb Q, +)$ and $(\Bbb R, +)$ are not isomorphic groups.
math.stackexchange.com

5
Sylow p- subgroups
math.stackexchange.com

5
Find the number of $2$-element subsets $\{a,b\}$ of $\{1,\cdots,1000\}$ such that $5 \mid a\cdot b$
math.stackexchange.com

5
What is p-adic logarithmic map of an elliptic curve? How to compute it?
math.stackexchange.com

5
Independence of points on Elliptic curve
math.stackexchange.com

5
$p$-adic values of rational points on elliptic curves
math.stackexchange.com