Discriminant of splitting field Let K number field, $O_K$ be its integer domain. We all know $O_K$ is a free $\mathbb{Z}$-module. If L is a finite (or galois) extension of K, whether $O_L$ is a free $O_K$-module? 
In addition, let $f$ be a irreducible polynomial in $\mathbb{Q}$, α is a root of $f$, $K$ is the splitting field of $f$. $Δ(F)$ denote the discriminant of a number field $F$. Is $Δ(K)$ devides $Δ(\mathbb{Q}(α))^n$ for some integer $n$? 

In the « absolute situation » of a finite extension of $k/\mathbf Q$, the ring of integers $O_k$ is $\mathbf Z$-free because $\mathbf Z$ is a PID : a finitely generated module without torsion over a PID is free. This is no longer true in the « relative situation » of a finite extension $K/k$ of number fields, where $O_k$ is a Dedekind domain, not a PID in general. Actually, if $R$ is a DD and $M$ is a finitely generated $R$-module, then :
$M$ has no torsion iff $M$ is projective ( = a direct summand of a free $R$-module), iff $M$ is a direct sum of a free $R$-module and a fractional ideal $J$ of $R$. The class of $J$ in the class group $Cl(R)$ is an invariant called the Steinitz class of $M$ .
PS: I don't understand your second question
