Algebraic extension and integral element I'm doing the exercise of Algebraic curves by Fulton and I'm stucked in this problem
Let $R$ be a domain with quotient field $K$, and let $L$ be a finite algebraic extension
of $K$. 
(a) For any $v\in L$, show that there is a nonzero $a\in R$ such that $av$ is integral over $R.$ 
(b) Show that there is a basis $v_1,..., v_n$ for $L$ over $K$ (as a vector space) such that each $v_i$ is integral over $R$.
If you can give me a sketch of the proof or a Hint i will be very grateful!
Thanks !
 A: Let be $R$ a domain, $K=q.f(R)$ and let be $L$ a finite and algebraic extension over $K$. Then:
i) $\forall v\in L$ $\exists$ $a\in R-\{0\}:$ $av$ is integral over $R$.
ii) Exists a basis of $L$ over $K$ such that their elements are integral over $R$.
Proof of i)
Let be $v\in L$, we have $L/K$ is algebraic then exists $a_n,\ldots,a_1,a_0\in K$ such that
$$a_nv^{n}+a_{n-1}v^{n-1}+\cdots+a_1v+a_0=0$$
We have $K=q.f(R)$ so
$$\forall\hspace{0.05cm}i\in\{0,1\ldots,n\}\hspace{0.05cm} \exists\hspace{0.05cm}b_i\in R,c_i\in R-\{0\}: a_i=\frac{b_i}{c_i}$$
Let be $\gamma:=\prod_{i=0}^{n}c_i$, $\gamma_j=\prod_{0\leq i\leq n,i\neq j}c_i$ and $r_j:=\gamma_{j}b_{j}\in R$, then
$$a_nv^{n}+a_{n-1}v^{n-1}+\cdots+a_1v+a_0=0 \Rightarrow \gamma_{n}b_nv^{n}+\gamma_{n-1}b_{n-1}v^{n-1}+\cdots+\gamma_{1}b_1v+\gamma_{0}b_0=0\Rightarrow$$
$$r_nv^{n}+r_{n-1}v^{n-1}+\cdots+r_1v+r_0=0$$
Now we multiply by $r_n^{n-1}$ the last expression :
$$0=r_n^{n-1}r_nv^{n}+r_n^{n-1}r_{n-1}v^{n-1}+\cdots+r_n^{n-1}r_1v+r_n^{n-1}r_0=$$
$$(r_nv)^n + r_{n-1}(r_nv)^{n-1}+\cdots+r_1r_n^{n-2}(r_nv)+r_{n}^{n-1}r_0$$
Thus the polynomial $P(x) = x^n + r_{n-1}x^{n-1}+\cdots+r_1r_n^{n-2}x+r_{n}^{n-1}r_0$ has a zero in $r_nv$, it is monic and belong to $R[X]$, so $r_nv$ is integral over $R$
Proof of ii):
We have $L/K$ is finite then
$$m:=[L:K]=dim_{K}(L)<\infty$$
Thus exists $\{v_1,\ldots,v_m\}$ basis of $L$. If we use i) we have
$\forall\hspace{0.05cm}i\in\{1\ldots,m\}\hspace{0.05cm} \exists\hspace{0.05cm}a_i\in R-\{0\}$ such that $a_iv_i$ is integral over $R$. We have to show $\{a_1v_1,\ldots,a_mv_m\}$ is lineary independent over $K$:
Let be $\lambda_1,\ldots,\lambda_n\in K$ such that
$$\sum_{i=1}^{m}\lambda_i(a_iv_i)=0$$
Now we use $\{v_1,\ldots,v_m\}$ is lineary independent:
$$0=\sum_{i=1}^{m}\lambda_i(a_iv_i) = \sum_{i=1}^{m}(\lambda_ia_i)v_i \Rightarrow 0=\lambda_ia_i\hspace{0.15cm}\forall\hspace{0.05cm}i\in\{1\ldots,m\}$$
We have $a_i\neq 0$ for all $i\in\{1\ldots,m\}$ then $\lambda_i=0$ for all $i\in\{1\ldots,m\}$. Thus $\{a_1v_1,\ldots,a_mv_m\}\subset L$ is lineary indepent over $K$ and the set $\{a_1v_1,\ldots,a_mv_m\}$ is a basis because $m=dim_K(L))$.
