Intereting Posts

An equivalent definition of the profinite group
Is non-standard analysis worth learning?
$f$ is convex function iff Hessian matrix is nonnegative-definite.
Irreducible representation which is not induced one
Evaluate $\sum \sqrt{n+1} – \sqrt n$
Sum over all non-evil numbers
What is the best way to develop Mathematical intuition?
Matrix Theory book Recommendations
$X^n-Y^m$ is irreducible in $\Bbb{C}$ iff $\gcd(n,m)=1$
Square root of Positive Definite Matrix
Does $\lim_{(x,y) \to (0,0)} \frac{x^4+y^4}{x^3+y^3}$ exist?
When can't $dy/dx$ be used as a ratio/fraction?
How is $a_n=(1+1/n)^n$ monotonically increasing and bounded by $3$?
isometry on compact space
Sum of square binomial coefficients

I am reading Neukirch’s Algebraic Number Theory. On page 184, Chapter 3, Neukirch defines the ramification index of infinite primes as follows:

For a finite extension $L/K$ of number fields, and an infinite prime $\mathfrak{B}$ lying over $\mathfrak{p}$, define the inertia degree resp. ramification index by $e_{\mathfrak{B}/\mathfrak{p}}=1$.

But I am confused: in the case where $\mathfrak{p}$ comes from a real embedding $\sigma$, and $\mathfrak{B}$ comes from a complex (non-real) embedding $\tau$ extending $\sigma$, don’t we say $\mathfrak{p}$ ramifies in $L$, because both $\tau$ and $\bar{\tau}$ extend $\sigma$?

Thanks.

- On the class number of a cyclotomic number field of an odd prime order
- Relationship between wild ramification and restriction in Galois extension
- Non-zero prime ideals in the ring of all algebraic integers
- How to factor the ideal $(65537)$ in $\mathbb Z$?
- The number of genera of binary quadratic forms of given discriminant
- Ideal theoretic proof of the second inequality of global class field theory

**Add:** Neukirch also defines $f_{\mathfrak{B}/\mathfrak{p}}=[L_\mathfrak{B}:K_\mathfrak{p}]$ (loc. cit.) but I think the natural definitions analogues to finite cases should be $f_{\mathfrak{B}/\mathfrak{p}}=\log|\tau(x)|/\log|\sigma(x)|$ for some $x\in K_\mathfrak{p}^\times$, which always equals 1 for $\tau$ extending $\sigma$. It seems Neukirch is using a non-standard convention here? If so is it good for something?

- Why does $\mathfrak{p} \supseteq \mathfrak{a}$ imply $\mathfrak{p}$ is the only prime containing $\mathfrak{a}^{ec}$?
- rational angles with sines expressible with radicals
- Largest Triangular Number less than a Given Natural Number
- Construction of an infinite set such that any two number from the set are relatively prime
- Solve $(x+1)^n-x^n=p^m$ in positive integers
- The modular curve X(N)
- Last digit of a number $x^m$
- Proving an expression is composite
- Is this division theorem already a proven idea?
- How to prove Gauss's Digamma Theorem?

- Cardinality of Cartesian Product of finite sets.
- Finding a homeomorphism $\mathbb{R} \times S^1 \to \mathbb{R}^2 \setminus \{(0,0)\}$
- Computing $\lim_{n \rightarrow\infty} \int_{a}^{b}\left ( f(x)\left | \sin(nx) \right | \right )$ with $f$ continuous on $$
- Large $n$ asymptotic of $\int_0^\infty \left( 1 + x/n\right)^{n-1} \exp(-x) \, \mathrm{d} x$
- Calculate the area on a sphere of the intersection of two spherical caps
- Frequency Swept sine wave — chirp
- When is a recurrence relation linear
- How to prove $\frac{a}{a+bc}+\frac{b}{b+ac}+\frac{c}{c+ab}\geq \frac{3}{2}$
- Repertoire method for solving recursions
- $\mathbb{Q}/\mathbb{Z}$ has a unique subgroup of order $n$ for any positive integer $n$?
- Count the number of n-bit strings with an even number of zeros.
- Application of the Hahn- Banach theorem
- Prove that $(0)$ is a radical ideal in $\mathbb{Z}/n\mathbb{Z}$ iff $n$ is square free
- Is it possible to find function that contains every given point?
- The Krull dimension of a module