# Prime and maximal ideals in finite algebras embedding

I assume each algebra here is commutative with a unit.

Let $\nu : A \hookrightarrow B$ be a finite embedding of algebras (that is $B$ is finitely-generated as an $A$-module). I want to show the following:

1. That the map $\nu^{-1} : \mathrm{Spec}(B) \to \mathrm{Spec}(A)$ is onto and has finite fibers. That is, every prime ideal in $A$ has a preimage which is a prime ideal in $B$, and there are only finitely many such ideals in $B$.

2. An ideal $P \lhd B$ is maximal if and only if $\nu^{-1}(P) \lhd A$ is maximal.

My attempts:

My thoughts on 1) where to extend the ideal $P \lhd A$ to $B$ via $P \mapsto B\nu(P)$ and then take $\nu^{-1}(B \nu(P))$ and show it is equal to $P$, however, there is no $\nu^{-1}(B)$ since $\nu$ is not surjective.

We note that $B\nu(P)$ is not necessarily a prime ideal. Therefore we must take the maximal ideal $I$ in $B$ containing $B\nu(P)$ and such that $I \cap \nu(A) = \nu(P)$. We need to prove that $I$ is prime ideal and that $\nu^{-1}(I) = P$.

My thoughts on 2) where to use the characteriziation that $P \lhd B$ is maximal if and only if $B/P$ is a field. However, lack of surjectivity still causing me troubles. By using a Proposition that say that if $\beta$ is algebraic over a field $F$ then $F[\beta]$ is a field, using the fact that $B$ is finite over $A$ I can prove that $$A/\nu^{-1}(P) \mbox{ is a field } \Rightarrow B/P \mbox{ is a field }$$ since the quotient $B/P$ is finite over $A/\nu^{-1}(P)$ and has a finite number of generators, all are algebraic. Now I need to prove the other direction. Any thoughts?

-
Does it obvious that $I \cap \nu(A) = \nu(P)$ and in particular $B\nu(P) \cap \nu(A) = \nu(P)$ or it needs a proof? If so, how do I prove it? – LinAlgMan Nov 18 '12 at 19:03

For the finiteness of the fiber over the prime ideal $\mathfrak p\subset A$, use that this fiber is in bijection with the primes of the ring $B\otimes_A Frac (A/\mathfrak p)$, which is also finite over $Frac (A/\mathfrak p)$, to reduce to the case where $A$ is a field.
Then use that $B$ is trivially artinian to conclude that $B$ has only finitely many primes (which are maximal) thanks to Proposition 8.3 of our reference.