Exact power of $p$ that divides the discriminant of an algebraic number field

I am doing Marcus problem 21 (b) of chapter 3. The setup for this problem is given in problem 20:

Setup: Let $L/K$ be a finite extension of algebraic number fields. Write $R = \mathcal{O}_K$ and $S = \mathcal{O}_L$. Fix a prime $P$ of $R$ and let $Q_1,\ldots,Q_r$ be the distinct primes of $S$ that live above $P$. For each $Q_i$ fix a subset $B_i \subset S$ corresponding to a basis for $S/Q_i$ over $R/P$. For each $i=1,\ldots,r$ and each $j = 1,\ldots,e_i$ fix an element $$\alpha_{ij} \in (Q_i^{j-1} - Q_i^j) \cap \left( \cap_{h \neq i} Q_h^{e_h} \right). $$ Such an element exists because firstly unique factorisation guarantees that for each $i,j$ we can choose an $x_{ij} \in Q_i^{j-1} - Q_i^j$. We then know that the following system of equations has a solution by the Chinese Remainder Theorem: $$ \begin{eqnarray*} x &\equiv& \alpha_{ij} \pmod{Q_i^j} \\ x &\equiv& 0 \pmod{Q_h^{e_h}} \hspace{2mm} (\text{as $h$ runs through all indices not equal to $i$}) \end{eqnarray*}$$ We can now set $x_{ij}$ to be equal to a solution of this system. Now consider the $n = \sum_{i=1}^r e_if_i$ elements $\alpha_{ij}\beta_{il}$, where $\beta_{il} \in B_i$, $1 \leq i\leq r$,$1 \leq j \leq e_i$ and $1 \leq l\leq f_i$. I have proven that these $n$ elements are independent mod $P$, that is to say that their images in $S/PS$ are linearly independent over $R/P$.

Problem 21(b): Call the $n$ elements $\alpha_{ij}\beta_i$ as constructed above $\alpha_1,\ldots,\alpha_n$ with now $K = \Bbb{Q}$. Except we replace $Q_h^{e_h}$ by $Q_h^N$ where $N$ is some large number to be decided later. How do I show that $$p^k | \textrm{disc}(\alpha_1,\ldots,\alpha_n)$$ where $k = \sum_{i=1}^r (e_i - 1)f_i$ ? I have been stuck on this problem for some days now and I can't seem to make any progress on it. What confuses me is what does he mean by $N$ is some large number to be decided later?

Any help is appreciated, but please do not post complete solutions. Thanks.

Edit:* User Sanchez has asked for a definition of the $\beta_{il}$ which I will now define: Recall that for each prime ideal $Q_i$ lying over a prime $p \in \Bbb{Z}$, we have that $S/Q_i$ is an $f_i$ dimensional vector space over $\Bbb{Z}/p\Bbb{Z}$. Let $B_i$ be a subset of $S$ consisting of $f_i$ elements such that the image of each element of $B_i$ under the canonical homomorphism $\pi : S \to S/Q_i$ is a basis element of $S/Q_i$.

Then our $\beta_{i1},\ldots, \beta_{if_i}$ are defined to be the $f_i$ elements in $B_i$.

Let us work with a fixed Galois closure $M$ of $L/K$, because then discriminant can be calculated via elements of $Gal(M/K)$. The key would be to calculate the valuations of the discriminant in terms of $R_{it}$, a generic prime lying over $p$. The answer will show why a large $N$ is important, although I will not find the optimal value of $N$.

Some terminologies

$\sigma_1,\cdots,\sigma_n$ are the $K$-embeddings of $L$ into $M$. They can be extended to elements of $Gal(M/K)$, up to an element of $Gal(M/L)$. We will denote the extension also by $\sigma_i$ should there be no confusion.

$R_{it}$ are primes of $M$ lying above $Q_i$ in $L$, where $1 \leq i \leq r$. For convenience I will not list the range of $t$.

$e_i,f_i$ are the ramification index/residue field degree for $Q_i/p$.

$e,f$ are the ramification index/residue field degree for $R_{it}/p$. The values are the same for any $i,t$ since $M/K$ is Galois. It then follows that $e/e_i, f/f_i$ is the ramification index/residue field degree for $R_{it}/Q_i$.

$A = (\sigma_i(\alpha_j))$. The discriminant $disc_{L/K}(\alpha_1,\cdots,\alpha_n) = (det A)^2$.

$B = (v_{R_{11}} (\sigma_i(\alpha_j)))$, where $v_{R_{11}}$ is the valuation for $R_{11}$ in $M$.

By definition, we have that $v_{Q_i} (\alpha_{ij}) = j-1$, so for any $t$, $$v_{R_{it}} (\alpha_{ij}) = \frac{e}{e_i} (j-1)$$ and for $k \neq i$, $v_{Q_k} (\alpha_{ij}) \ge N$ so for any $t$, $$v_{R_{kt}} (\alpha_{ij}) \ge \frac{e}{e_i}N \ge N \hspace{5mm}(*)$$

This gives $$v_{R_{it}}(\alpha_{ij} \beta_{il}) = \frac{e}{e_i}(j-1)$$ and for $k \neq i$, $$v_{R_{kt}} (\alpha_{ij} \beta_{il}) \ge \frac{e}{e_i}N \ge N \hspace{5mm} (**)$$

Here RHS of double star just follows by RHS of (*), and the precise value is not important as long as we know it’s large.

Now look at the matrix $A = (\sigma_i (\alpha_j))$ - we try to look at the valuations of the discriminant. Without loss of generality let's work with $R_{11}$. Arrange the embeddings and the $\alpha$ as follows. For the embeddings, it can be extended to an element of $Gal(M/K)$, and any such extension is off by an element of $Gal(M/L)$. List first those embeddings whose extension sends $R_{1t}$ to $R_{11}$ for some $t$ (note that this property is independent of the extension you choose), and the first element being the inclusion of $L$ into $M$. Then we list those that sends $R_{2t}$ to $R_{11}$ for some $t$ and so on. For the elements, list $\alpha_{1j}\beta_{1l}$ first, in the order you want. Then those of the form $\alpha_{2j}\beta_{2l}$, and so forth.

We wish to calculate $v_{R_{11}} (det A)$. Consider the matrix $B$ where each element is replaced by its value under $v_{Q_1}$, for this is good enough if all we care is to get a lower bound for $v_{R_{11}}(det A)$.

Look at the first diagonal block, i.e. the upper left block, of which on the embedding side it contains those whose extension sends $R_{1t}$ to $R_{11}$ for some $t$, and on the element side things are of the form $\alpha_{1j}\beta_{1l}$. Using the display equations above, it’s clear that modulo some rearrangement, the first row of the block (remember that the first automorphism listed is the inclusion) is $$\begin{bmatrix}\frac{e}{e_1}(1-1) & \cdots & \frac{e}{e_1}(1-1) & \cdots & \frac{e}{e_1}(e_1-1)\end{bmatrix} = \begin{bmatrix}0 & \cdots & 0 & \cdots &\frac{e}{e_1}(e_1 - 1)\end{bmatrix}$$ where each number appears $f_1$ times. The other rows are exactly the same by looking at the display equations way above.

Now look at the $(1,2)$-block, the one immediately to the right of the first diagonal block. On the embedding side it contains those whose extension that sends $R_{2t}$ to $R_{11}$ for some $t$, and on the element side it has $\alpha_{1j}\beta_{1l}$. Let $\sigma(R_{2t}) = R_{11}$. (For simplicity, we will denote an extension of an embedding $\sigma$ by $\sigma$ too) Then $$v_{R_{11}} (\sigma(x)) = v_{\sigma^{-1}(R_{11})} (x) = v_{R_{2t}}(x)$$ for any $x$. In particular it means that for a typical element in this block, we are looking at $v_{R_{2t}} (\alpha_{1j}\beta_{1l})$, where we know is large by (**).

Try to convince yourself that each other diagonal/off-diagonal block behaves similarly as the first diagonal/$(1,2)$-block. This means that if you only focus on valuations, AND IF THE LOWER BOUND YOU HAVE FROM (**) IS LARGE ENOUGH, then $B$ looks something like (for simplicity I will use $L$ to mean a generic large number)

$$\begin{bmatrix} 0 & \cdots & 0 & \cdots & \frac{e}{e_1}(e_1 -1) & L & \cdots & L & \cdots & L & \cdots \\ \cdots & \cdots & \cdots & \cdots & \cdots & L & \cdots & L & \cdots & L & \cdots\\ 0 & \cdots & 0 & \cdots & \frac{e}{e_1}(e_1 -1) & L & \cdots & L & \cdots & L & \cdots \\ L & \cdots & L & \cdots & L & * & * & * & \cdots & L & \cdots \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots &\cdots & \cdots & \cdots & \cdots \\ \end{bmatrix}$$

So you can see that in the first batch of columns of $A$, you can pull out a factor of $$ R_{11}^{\frac{e}{e_1}f_1 ( 1 + \cdots + e_1-1)} = R_{11}^{ef_1(e_1-1)/2}$$ Doing the same for the next batch of columns and so forth, we see that in the original matrix $A$, one can pull out a factor of $$R_{11}^{e\sum_{i=1}^r f_i(e_i-1)/2}$$

Now $$v_{R_{11}} (disc (\alpha_1,\cdots,\alpha_n)) = 2 v_{R_{11}} (A) \ge e \sum_{i=1}^r f_i(e_i-1)$$ Therefore $$v_p (disc (\alpha_1,\cdots,\alpha_n)) = \frac{1}{e}v_{R_{11}} (disc (\alpha_1,\cdots,\alpha_n)) \ge \sum_i f_i (e_i -1)$$