Определение: Пусть

- коммутативные кольца, причем

-

-алгебра. Тогда

-алгебраически независимо над

, если семейство одночленов

линейно независимо над

.

для почти всех

.
Не пойму, т.е. в начале мы рассматриваем многочлены от

переменных и смотрим линейную независимость? Это определение стыкуется с "привычным" определением линейной независимости?
