1
$\begingroup$

Suppose that $S$ and $S_0$ are two systems of linear equations over a field $k$. Show that $(S) = (S_0)$ if and only if $Sol(S; k) = Sol(S_0; k)$.

Note that $(S)=(S_0)$ if and only if $Sol(S; K) = Sol(S_0; K)$ for any $k$-algebra $K$. So the only if direction is easy. But I don't know how to solve the converse.

  • 3
    What does the notation $(S)$ mean?2012-08-01
  • 0
    @Andrew It is the ideal generated by $S$ in $k[T]=k[T_1,\cdots,T_n]$.2012-08-01

1 Answers 1