Skip to main content
Sebastian Monnet's user avatar
Sebastian Monnet's user avatar
Sebastian Monnet's user avatar
Sebastian Monnet
  • Member for 6 years
  • Last seen more than a month ago
7 votes
1 answer
613 views

Using symmetric polynomials to find the discriminant of $x^4 + px + q$ over $\mathbb{Q}$

7 votes
1 answer
434 views

Relationship between two definitions of pro-representable functors

6 votes
2 answers
173 views

Proof that any element of a free abelian group which is not divisible by any $k>1$ can be extended to a basis

5 votes
0 answers
158 views

Bounding the size of lower ramification breaks

5 votes
1 answer
133 views

Reference request: $\mathbb{Q}_p(\zeta_p) = \mathbb{Q}_p(\sqrt[p-1]{-p})$

5 votes
1 answer
951 views

Find the discriminant of $\mathbb{Q}(\sqrt{3},\sqrt{5})$

5 votes
2 answers
399 views

Conditional Expectation of a Poisson Variable on an Exponential Variable

4 votes
2 answers
212 views

Formal Rules for Categorical Duality

4 votes
0 answers
73 views

Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields

4 votes
3 answers
161 views

Does $\mathbb{Q}(\sqrt{-1}, \sqrt{2},\sqrt{3},\sqrt{5},\sqrt{7},\ldots)$ have countably many subfields?

3 votes
6 answers
117 views

Easiest way to see that $\log X < X^a$ as $X \to \infty$ for fixed $a > 0$

3 votes
2 answers
96 views

For a finite extension $K/\mathbb{Q}_2$, the extension $K(\sqrt{-1})/K$ is always totally ramified

3 votes
1 answer
211 views

Constructing a Hodge structure from a representation of a torus

3 votes
2 answers
113 views

"Correct" way of seeing that $\frac{\partial}{\partial A} f(AB) = \frac{\partial f(X)}{\partial X} B^T$, where $X = AB$

3 votes
1 answer
611 views

Long exact sequence for mapping torus from Mayer-Vietoris

3 votes
1 answer
144 views

Constructing the left adjoint to the forgetful functor $G:\textbf{Vect}_\mathbb{C}\to\textbf{Vect}_\mathbb{R}$

3 votes
1 answer
453 views

Push-Forward Algebra of $\mathcal{B}(\mathbb{R})$ by $f(x) = \tan(x)$

3 votes
1 answer
154 views

Show that there is an injective homomorphism from $G_2 = \langle a, b \mid aba^{-1}b^{-1}\rangle$ to $G_1 = \langle x, y \mid xyx^{-1}y\rangle$.

3 votes
1 answer
346 views

Every $R$-module is an iterated colimit of $R$

2 votes
1 answer
377 views

Inductive limits commute "naturally" with binary products in Set

2 votes
0 answers
88 views

Understanding a proof about mapping properties of Klein's modular function $J$ (Apostol's "Modular Functions and Dirichlet Series in Number Theory")

2 votes
2 answers
496 views

Showing that the fifteenth cyclotomic polynomial is ireducible over $\mathbb{Q}$

2 votes
2 answers
182 views

Model categories: Any two solutions to a lifting problem are homotopic

2 votes
1 answer
48 views

Conjugate of $\zeta_{p^2-1}$ over $\mathbb{Q}_p$

2 votes
1 answer
325 views

Homotopy groups of simplicial sets commute with filtered colimits

2 votes
0 answers
53 views

Cofibrantly generated model category gives a quasi-category?

2 votes
0 answers
116 views

Explicit description of primes for which $2$ is a quartic residue?

2 votes
1 answer
88 views

Norm group of $\mathbb{Q}_p(\sqrt[4]{\zeta_{p-1}p})$

2 votes
1 answer
42 views

Automating modular arithmetic in local fields using MAGMA

2 votes
0 answers
39 views

Using idelic class field theory to find the maximal exponent 2 number field ramified only at 2