Krullova razsežnost

Krullova razséžnost [krúlova ~] kolobarja je supremum števila podmnožic v verigi praidealov. Krullova razsežnost ni končna celo za kolobarje Noetherjeve.

Imenuje se po nemškem matematiku Wolfgangu Krullu (1899 – 1971).

Obseg k ima Krullovo razsežnost enako 0. Splošneje velja, da ima $k[x_1, ..., x_n]$ krullovo razsežnost n. Velja tudi, da ima glavna domena ideala, ki ni obseg, Krullovo razsežnost enako 1.

Krullova razsežnost komutativnega kolobarja je torej največja dolžina praideala v njem. Močno povezana z algebrsko varieteto, zaradi naravne povezave med podvarieteto in praidealom kolobarja polinomov na teh varietetah.

Za algebro nad obsegom je razsežnost vektorskega prostora končna samo, če in samo, če je Krullova razsežnost enaka nič.

Zunanje povezave

• Krullova razsežnost na MathWorld (v angleščini)
• Krullova razsežnost (v angleščini)
• Krullova razsežnost na PlanetMath (v angleščini)
• Krullova razsežnost na ProofWiki (v angleščini)