k is a field ,L , H is extension fields of k , $G=L\otimes_k H$, I wonder why(I want to know the proof but I can't find) the prime ideal of G must be maximal ,and its properties:

a) if L is spearable over k, then G is reduced

b) if L is algebraic and purely inseparable over k ,then G has a unique prime ideal