logo
gotovo

26. Факторіальні кільця. Факторіальність кільця многочленів над полем.

Кільцем многочленів від змінних над областю цілісності наз. кільце многочленів від змінної над кільцем , тобто .

Т.1. Кільце многочленів над областю цілісності є область цілісності.

Т.2. Кожний елемент можна подати у вигляді скінченої суми.

, .

Т.3. Кожний елемент кільця називають многочленом від змінних над і позначають і т. п.

Т.4. Множина класів лишків кільця за ідеалом з означеними у ній операціями додавання і множення є кільце. Це кільце наз. фактор-кільцем кільця за ідеалом або за модулем .