Pierścień pustelnika

W algebrze termin pierścień Hermite'a (po Charlesie Hermite'u ) został zastosowany do trzech różnych obiektów.

Według Kaplansky'ego (1949) (s. 465), pierścień jest prawy Hermite'a , jeśli na każde dwa elementy aib pierścienia istnieje element d pierścienia i odwracalna macierz 2 na 2 M nad pierścieniem, taka że (ab)M=(d 0) . (Termin lewy Hermite jest definiowany podobnie.) Macierze nad takim pierścieniem można zapisać w postaci normalnej Hermite'a przez prawe pomnożenie przez kwadratową macierz odwracalną ( Kaplansky (1949) , s. 468.) Lam (2006) (dodatek do §I.4) nazywa tę właściwość K-Hermite , używając zamiast tego Hermite w znaczeniu podanym poniżej.

Według Lam (1978) (§I.4, s. 26), pierścień jest prawy Hermite'a , jeśli dowolny skończenie wygenerowany stabilnie wolny prawy moduł nad pierścieniem jest wolny. Jest to równoważne wymaganiu, aby dowolny wektor wierszowy (b 1 ,...,b n ) elementów pierścienia, który generuje go jako moduł prawy (tj. b 1 R+...+b n R=R ) mógł być uzupełnione do (niekoniecznie kwadratowej) odwracalnej macierzy przez dodanie pewnej liczby wierszy. (Kryterium pozostania Hermite można zdefiniować podobnie.) Lissner (1965) (s . 528) wcześniej nazwał pierścień przemienny o tej właściwości pierścieniem H.

Według Cohna (2006) (§0.4), pierścień jest hermitowski , jeśli oprócz tego, że każdy stabilnie wolny (lewy) moduł jest wolny, ma IBN .

Wszystkie pierścienie przemienne, które są hermitowskie w sensie Kaplansky'ego, są również hermitowskie w sensie Lama, ale odwrotność niekoniecznie jest prawdziwa. Wszystkie domeny Bézout są hermitowskie w sensie Kaplansky'ego, a pierścień przemienny, który jest hermitowski w sensie Kaplansky'ego, jest również pierścieniem Bézout ( Lam (2006) , s. 39-40.)

Hipoteza pierścienia Hermite'a , wprowadzona przez Lam (1978) (s. xi), stwierdza, że ​​jeśli R jest przemiennym pierścieniem Hermite'a, to R [ x ] jest pierścieniem Hermite'a.