Intereting Posts

A module is projective iff it has a projective basis
how can we convert sin function into continued fraction?
Calculation of $\lim_{x\rightarrow 0}\frac{\sin (\pi\cos^2 x)}{x^2}$
Decomposition of semimartingales
Find the point in a triangle minimizing the sum of distances to the vertices
An integral and series to prove that $\log(5)>\frac{8}{5}$
Fallacy on using interpretation instead of definition in computing conditional probability? (using multiplication law circularly?)
How can I find the possible values that $\gcd(a+b,a^2+b^2)$ can take, if $\gcd(a,b)=1$
If there are obvious things, why should we prove them?
Proof that if $p$ and $p^2+2$ are prime then $p^3+2$ is prime too
How many field structures does $\mathbb{R}\times \mathbb{R}$ have?
How to calculate the area of a polygon?
SVD -obligation of normalization
Line contour integral of complex Gaussian
Resources/Books for Discrete Mathematics

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.

- A sufficient condition for a domain to be Dedekind?
- Is the algebraic norm of an euclidean integer ring also an euclidean domain norm?
- Exact power of $p$ that divides the discriminant of an algebraic number field
- Norm computation in number fields
- Extension by adjoining roots of unity and ramification
- Question regarding to Dedekind domain and PID

**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?

- Sum of primitive roots is congruent to $\mu(p-1)$ using Moebius inversion?
- Let G be an abelian group, and let a∈G. For n≥1,let G := {x∈G:x^n =a}. Show that G is either empty or equal to αG := {αg : g ∈ G}…
- Global class field theory without p-adic method
- Can a number with $100$ $0$'s $100$ $1$'s and $100$ $2$'s ever be a perfect square?
- Probability and Data Integrity
- Each digit of $\dfrac{n(n+1)}{2}$ equals $a$
- Prime Number Theorem and the Riemann Zeta Function
- Find all integers satisfying $m^2=n_1^2+n_1n_2+n_2^2$
- $x^3+48=y^4$ does not have integer (?) solutions
- Is there a polynomial-time algorithm to find a prime larger than $n$?

- How find this $a_{1}+a_{2}+\cdots+a_{500}=b_{1}+b_{2}+\cdots+b_{500}$?
- Limit of $a_n = \sum\limits_{k=1}^{n} \left(\sqrt{1+\frac{k}{n^2}}-1\right)$
- Adjoint of an integral operator
- Series Question: $\sum_{n=1}^{\infty}\frac{n+1}{2^nn^2}$
- Show that this entire function is polynomial.
- Can a model of set theory think it is well-founded and in fact not be?
- Sum of infinite divergent series
- Inequality with two sequences
- Is the convex hull of closed set in $R^{n}$ is closed?
- Prove the $n$th Fibonacci number is the integer closest to $\frac{1}{\sqrt{5}}\left( \frac{1 + \sqrt{5}}{2} \right)^n$
- Positive compact operator has unique square root.
- Show that $\sqrt{3\sqrt{21} + 8} – \sqrt{3\sqrt{21} – 8} = 1$
- prove that $\text{rank}(AB)\ge\text{rank}(A)+\text{rank}(B)-n.$
- Prove that $\lambda = 0$ is an eigenvalue if and only if A is singular.
- Can you define a greatest common divisor in a commutative ring that is not a domain?