Алгебраические многообразия

[vpb]

Посмотрел повнимательнее на задачу. Возможно, задание на радикал --- не на теорему о нулях, и тем более не требует каких-то концепций из коммутативной алгебры. Система такая маленькая и специальная, что его можно найти руками, просто немного поколдовав над многочленами (и имея в виду простейшие теоремы о многочленах).

Upd. Нет, это я поспешил. Просто руками не выходит. Всё-таки это на теорему Гильберта. И еще полезно задуматься над формулировкой: написано "описать", а не, скажем, "найти порождающие". А описать можно по разному... Но найти порождающие --- в любом случае полезно.