điểm của một
ideal I trongsửI = (f1,...,f t )K[X1,...,X n ]. Khi đó, ta thấy ngayℜℜtrongKnlà không. Từ hệ quả trên, ta rút ra I hữu hạn sinh, và giảlà giao của các siêu mặtf1 = 0,...,f t = 0Như vậy, mỗi đa tạp
đại số afine đều là giao của một số hữu hạn siêu mặt.Định lí 2: Tổng trực ti[r]