Intereting Posts

How to solve $x^3 + 2x + 2 \equiv 0 \pmod{25}$?
Sample Standard Deviation vs. Population Standard Deviation
Combinatorial argument for $\sum\limits_{k=i}^{n}\binom{n}{k}\binom{k}{i} = \binom{n}{i}2^{n-i}$
How to use Arzelà-Ascoli theorem in this situation?
Mathematical description of a random sample
From distribution to Measure
How many valid paths are there?(counting problem)
How prove this inequality $(a+b+c+d+e)^3\geq9(2abc+abd+abe+acd+ade+2bcd+bce+bde+2cde),$
Pullbacks of categories
A.P. terms in a Quadratic equation.
How to learn from proofs?
Convolution is uniformly continuous and bounded
How to find the Laplacian Eigen Values of the given graph
Proving Holder's inequality using Jensen's inequality
Goldbach conjecture

Let $K$ be a finite extension of $\mathbb{Q}_ p,$ and $\mathcal O$ the ring of integers of $K$. Let $\mathfrak p$ be the maximal ideal of $\mathcal O$.

Is it true that the quotient ring $\mathcal O/\mathfrak p^n$ is finite for all $n>0$?

- Ring of integers of a cubic number field
- Proving the Kronecker Weber Theorem for Quadratic Extensions
- Eisenstein and Quadratic Reciprocity as a consequence of Artin Reciprocity, and Composition of Reciprocity Laws
- Integers in biquadratic extensions
- Euler's remarkable prime-producing polynomial and quadratic UFDs
- What was Lame's proof?

- On products of ternary quadratic forms $\prod_{i=1}^3 (ax_i^2+by_i^2+cz_i^2) = ax_0^2+by_0^2+cz_0^2$
- Algebraic Integers in a Cyclotomic Field
- Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$
- Reference book for Artin-Schreier Theory
- Can the sum of the first $n$ squares be a cube?
- Class group and factorizations
- Rank of unit group of orders in number fields
- Question regarding to Dedekind domain and PID
- Where can the original paper by Takagi in English be found?
- The ring of integers of the composite of two fields

Alternatively, without using topology, this follows easily from the fact that $\mathcal{O}$ is a DVR. Namely, I’m sure you know that $k:=\mathcal{O}/\mathfrak{p}$ is finite (this is one of the axioms of a local field–depending on what your definition is). Let $\pi$ be a uniformizer for $\mathcal{O}$. Then, consider the map

$$\varphi:\mathcal{O}\to \mathfrak{p}^n/\mathfrak{p}^{n+1}:x\mapsto \pi^nx+\mathfrak{p}^{n+1}$$

This is clearly a surjective homomorphism of abelian groups. Moreover, it’s clear that $\ker\varphi=\mathfrak{p}$. Thus, we obtain an isomorphism of abelian groups $k=\mathcal{O}/\mathfrak{p}\cong \mathfrak{p}^n/\mathfrak{p}^{n+1}$. In fact, if you stare at this for a second, you see this an isomorphism of $k$-spaces. Since we have the filtration of $k$-subspaces

$$\{0\}\subseteq\mathfrak{p}^{n-1}/\mathfrak{p}^n\subseteq\cdots\subseteq\mathcal{O}/\mathfrak{p}^n$$

of $\mathcal{O}/\mathfrak{p}^n$. Since each subsequent quotient $(\mathfrak{p}^j/\mathfrak{p}^n)/(\mathfrak{p}^{j+1}/\mathfrak{p}^n)\cong \mathfrak{p}^j/\mathfrak{p}^{j+1}\cong k$ is one-dimensional this implies that $\dim_k \mathcal{O}/\mathfrak{p}^n=n$. Thus, $|\mathcal{O}/\mathfrak{p}^n|=|k|^n<\infty$.

Yes, because $\mathcal O$ is compact, and $\mathfrak p^n$ is open.

- Fibonacci $\equiv -1 \mod p^2$
- Is empty set a proper subset of itself?
- Calculating the determinant gives $(a^2+b^2+c^2+d^2)^2$?
- Show bounded and convex function on $\mathbb R$ is constant
- Riemann Surface, existence of meromorphic function.
- Gaussian Curvature K > 0
- How much does symbolic integration mean to mathematics?
- If $f\tau$ is continuous for every path $\tau$ in $X$, is $f:X\rightarrow Y$ continuous?
- A variation of Borel Cantelli Lemma
- Question about Paul Erdős’ proof on the infinitude of primes
- Bilinear Form Diagonalisation
- Area of Shaded Region
- if $S$ is a ring (possibly without identity) with no proper left ideals, then either $S^2=0$ or $S$ is a division ring.
- The concept of premeasure
- A normed space is locally compact iff its closed unit ball is compact.