Grup terurut: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
HsfBot (bicara | kontrib)
k v2.04b - Fixed using Wikipedia:ProyekWiki Cek Wikipedia (Spasi dalam kategori)
Nkhanaart (bicara | kontrib)
Fitur saranan suntingan: 1 pranala ditambahkan.
Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan Tugas pengguna baru Disarankan: tambahkan pranala
 
(2 revisi perantara oleh 2 pengguna tidak ditampilkan)
Baris 1:
{{Short description|grup dengan urutan parsial yang operasinya (misal, penambahan) mempertahankan urutan elemen}}
{{redirect|Grup berurutan | grup dengan total atau urutan linear | Grup diurutkan secara linear}}
Dalam [[aljabar abstrak]], '''grup berurutan''' adalah [[grup (matematika) | grup]] ('' G '', +) dilengkapi dengan [[urutan parsial]] "≤" yaitu '' translation-invariant ''; dengan kata lain, "≤" memiliki properti itu, untuk semua '' a '', '' b '', dan ''g'' pada ''G'', jika ''a'' ≤ ''b'' kemudian ''a'' + ''g'' ≤ ''b'' + ''g'' dan ''g'' +'' a'' ≤ ''g'' +'' b''.
 
Sebuah elemen '' x '' dari '' G '' disebut '''elemen positif''' jika 0 ≤ ''x''. Himpunan elemen 0 ≤ '' x '' sering dilambangkan dengan ''G''<sup>+</sup>, dan itu disebut '''kerucut positif ''G'''''. Jadi kita punya {{nobreak|''a'' ≤ ''b''}} [[jika dan hanya jika]] {{nobreak|-''a'' + ''b'' ∈ ''G''<sup>+</sup>.}}
Baris 13:
* if ''a'' ∈ ''H'' dan -''a'' ∈ ''H'' kemudian ''a'' = 0
 
Grup yang dipesan sebagian '' G '' dengan kerucut positif ''G''<sup>+</sup> dikatakan '''tidak berlubang''' jika '' n '' · ''g'' ∈ ''G''<sup>+</sup> untuk beberapa [[bilangan bulat]] positif '' n '' menyiratkan ''g'' ∈ ''G''<sup>+</sup>. Menjadi tidak berlubang berarti tidak ada "celah" di kerucut positif ''G''<sup>+</sup>.
 
Jika orde pada grup adalah [[urutan linear]], maka dikatakan sebagai [[grup urutan linear]].
Jika urutan pada grup adalah [[urutan kisi]], yaitu dua elemen memiliki batas atas terkecil, maka itu adalah '''grup kisi''' (singkatnya '''l-group''', meskipun biasanya diketik dengan [[Jenis huruf skrip | skrip]] l: ℓ-grup).
 
'''Grup Riesz''' adalah grup terurut sebagian tidak berlubang dengan properti sedikit lebih lemah daripada grup berurutan kisi. Yaitu, grup Riesz memenuhi '''properti interpolasi Riesz''': if ''x''<sub>1</sub>, ''x''<sub>2</sub>, ''y''<sub>1</sub>, ''y''<sub>2</sub> adalah elemen '' G '' dan ''x<sub>i</sub>'' ≤ ''y<sub>j</sub>'', lalu ada '' z '' ∈ '' G '' dirumuskan ''x<sub>i</sub>'' ≤ ''z'' ≤ ''y<sub>j</sub>''.
 
Jika '' G '' dan '' H '' adalah dua grup yang diurutkan sebagian, peta dari '' G '' hingga '' H '' adalah '' morfisme grup yang diurutkan sebagian '' jika keduanya adalah [[grup homomorfisme]] dan [[fungsi monotonik]]. Grup yang berurutan sebagian, bersama dengan gagasan morfisme ini, membentuk [[teori kategori | kategori]].
 
Grup yang diurutkan sebagian digunakan dalam definisi [[Valuasi (aljabar) | penilaian]] dari [[bidang (matematika) | bidang]].
 
== Lihat juga ==
Baris 44:
 
== Pranala luar ==
* {{cite web | title = Partially Ordered Group | publisher = [[Encyclopedia of Mathematics]] | url = http://eom.springer.de/p/p071710.htm | accessdate = 2009-04-03 | archive-date = 2009-12-27 | archive-url = https://web.archive.org/web/20091227051059/http://eom.springer.de/P/p071710.htm | dead-url = no }}
* http://www.encyclopediaofmath.org/index.php/Lattice-ordered_group {{Webarchive|url=https://web.archive.org/web/20141225010641/http://www.encyclopediaofmath.org/index.php/Lattice-ordered_group |date=2014-12-25 }}
 
[[Kategori:Struktur aljabar terurut]]