Кіріспе

Әлсіз инверстерді қабылдайтын сақиналар. Математикада, фон Нейманның тұрақты сақинасы – бұл R сақинасы (ассоциативті, 1-бен, міндетті түрде коммутативті емес), онда R-дегі әрбір a элементі үшін 1 = a = axa болатын x элементі бар. x элементін a элементінің "әлсіз инверсі" деп қарастыруға болады; әдетте, x элементі a элементімен бірегей анықталмайды. Фон Нейманның тұрақты сақиналары абсолютті жазық сақиналар деп те аталады, себебі осы сақиналардың ерекшелігі – әрбір сол R модуль жазық болады. Фон Нейманның тұрақты сақиналары фон Нейман алгебрасын және үздіксіз геометрияны зерттеу барысында "тұрақты сақиналар" деген атпен енгізілді. Фон Нейманның тұрақты сақиналарын коммутативтік алгебраның тұрақты сақиналарымен және тұрақты жергілікті сақиналарымен шатастыруға болмайды. Егер 1 = a = axa болатын x элементі бар болса, сақинаның a элементі фон Нейманның тұрақты элементі деп аталады. Идеал, егер оның әрбір a элементі үшін 1 = a = axa болатын x элементі бар болса, (фон Нейман) тұрақты идеал деп аталады.

Мысалдар

Әрбір өріс (және әрбір қисық өріс) фон Нейман тұрақты: a ≠ 0 үшін 1=x = a−1 деп аламыз. Интегралды домен фон Нейман тұрақты, егер және тек қана егер ол өріс болса. Фон Нейман тұрақты сақиналардың кез келген тікелей көбейтіндісі қайтадан фон Нейман тұрақты болып табылады. Фон Нейман тұрақты сақиналардың тағы бір маңызды мысалы – бұл сақиналар Mn(K), n × n квадраттық матрицалар, кіріктірілістері кейбір K өрісінен алынған. Егер r – A ∈ Mn(K) рангысы болса, Гаусс жою әдісі кері айналатын U және V матрицаларын береді, осындай:

(мұнда Ir – r × r бірлік матрицасы). Егер 1=X = V−1U−1 деп белгілесек, онда жалпы алғанда, кез келген фон Нейман тұрақты сақинасының n × n матрица сақинасы қайтадан фон Нейман тұрақты болып табылады. Егер V – K өрісі (немесе қисық өрісі) бойынша векторлық кеңістік болса, онда EndK(V) эндоморфизм сақинасы фон Нейман тұрақты, тіпті V шекті өлшемді болмаса да. Жоғарыдағы мысалдарды жалпылағанда, S – бір сақина, ал M – S модулі болсын, сонда M-нің кез келген субмодулі M-нің тікелей қосылғысы (мұндай M модульдері жартылай қарапайым деп аталады). Сонда EndS(M) эндоморфизм сақинасы фон Нейман тұрақты болады. Атап айтқанда, кез келген жартылай қарапайым сақина фон Нейман тұрақты. Шындығында, жартылай қарапайым сақиналар – дәл Нотер фон Нейман тұрақты сақиналары. Ақырғы фон Нейман алгебрасының байланысты операторлар сақинасы фон Нейман тұрақты. Буль сақинасы – бұл әрбір элементі 1=a2 = a теңдеуін қанағаттандыратын сақина. Кез келген Буль сақинасы фон Нейман тұрақты.