Ordin (teoria inelelor)
În matematică un ordin în sensul Format:Ill-wd este un subinel al unui inel , astfel încât
- este o algebră finit-dimensională peste corpul numerelor raționale
- generează peste astfel încât și
- este o -Format:Ill-wd în .
Ultimele două condiții pot fi enunțate în termeni mai puțin formali: în plus, este un Format:Ill-wd generat de baza peste .
În general, pentru un domeniu de integritate conținut în corpul , se definește ca fiind un ordin într-o -algebră dacă este un subinel al lui care este o -latice completă.[1]
Dacă nu este un inel comutativ, ideea de ordin este încă importantă, dar fenomenele sunt diferite. De exemplu, Format:Ill-wd formează un ordin maximal între cuaternionii cu coordonate raționale; ei nu sunt cuaternioni cu coordonate întregi în sensul cel mai evident. Ordinele maximale există în general, dar nu trebuie să fie unice: în general nu există un cel mai mare ordin, ci un număr de ordine maximale.
Exemple
Exemple de ordine:[2]
- Dacă este Format:Ill-wd peste , atunci inelul de matrici peste este un ordin în
- Dacă este un domeniu de integritate și o Format:Ill-wd finită a lui , atunci Format:Ill-wd din în este un ordin în .
- Dacă din este un Format:Ill-wd peste , atunci Format:Ill-wd este un ordin în algebra
- Dacă este Format:Ill-wd al unui grup finit , atunci este un ordin pe
O proprietate fundamentală a -ordinelor este că fiecare element al unui -ordin este un Format:Ill-wd peste [3]
Dacă închiderea întreagă a în este un -ordin, atunci acest rezultat arată că trebuie să fie un -ordin maximal în . Totuși, această ipoteză nu este întotdeauna satisfăcută: într-adevăr, nu trebuie să fie nici măcar un inel, și chiar dacă este un inel (de exemplu, când este comutativă), atunci nu trebuie să fie o -latice.[3]
Teoria algebrică a numerelor
Exemplul principal este cazul în care este un Format:Ill-wd iar este inelul său de numere întregi. În Format:Ill-wd există exemple pentru orice , altul decât corpul rațional al subinelelor proprii ale inelului de numere întregi care sunt, de asemenea, ordine. De exemplu, în extinderea corpului a Format:Ill-wd peste , închiderea întreagă a lui este inelul Format:Ill-wd și deci aceasta este unicul -ordin maximal: toate celelalte ordine din sunt conținute în el, de exemplu subinelul numerelor complexe de forma , cu și numere întregi.[4]