Grup Archimedean
Dalam aljabar abstrak, sebuah cabang dari matematika, Grup Archimedean adalah grup berurutan linear yang sifat Archimedean berlaku: setiap dua elemen grup positif dibatasi oleh kelipatan bilangan bulat satu sama lain. Himpunan R dari bilangan real bersama dengan operasi penjumlahan dan hubungan urutan biasa antara pasangan bilangan adalah grup Archimedean. Dengan hasil dari Otto Hölder, setiap grup Archimedean isomorfis menjadi subgrup dari grup ini. Nama "Archimedean" berasal dari Otto Stolz, yang menamai properti Archimedean setelah kemunculannya dalam karya Archimedes.[1]
Definisi
suntingSebuah grup aditif terdiri dari himpunan elemen, operasi penjumlahan asosiatif yang menggabungkan pasangan elemen dan mengembalikan satu elemen, sebuah elemen identitas (atau elemen nol) yang jumlahnya dengan elemen lain adalah elemen lain, dan operasi pembalikan aditif sedemikian rupa sehingga jumlah elemen apa pun dan kebalikannya adalah nol.[2] Grup adalah grup berurutan linear ketika, sebagai tambahan, elemennya dapat diurutkan secara linear dengan cara yang kompatibel dengan operasi grup: untuk semua elemen x , y , dan z , jika x ≤ y maka (x + z) ≤ (y + z) dan (z + x) ≤ (z + y).
Contoh grup Archimedean
suntingHimpunan bilangan bulat, bilangan rasional, bilangan real, bersama dengan operasi penjumlahan dan pengurutan biasa (≤), adalah kelompok Archimedean. Setiap subkelompok dari grup Archimedean itu sendiri Archimedean, jadi setiap subgrup grup ini, seperti gugus aditif dari bilangan genap atau dari rasional diadik, juga membentuk gugus Archimedean.
Sebaliknya, seperti yang Otto Hölder tunjukkan, setiap grup Archimedean adalah isomorfis (sebagai grup terurut) ke subgrup dari bilangan real.[3][4][5][6] Oleh karena itu, setiap grup Archimedean tentu saja merupakan grup abelian: operasi penambahannya harus komutatif.[3]
Properti tambahan
suntingSetiap grup Archimedean memiliki properti itu, untuk setiap potongan Dedekind grup, dan setiap elemen grup ε> 0, terdapat elemen grup lain x dengan x di sisi bawah potongan dan x + ε di sisi atas potongan. Namun, terdapat grup tertata non-Archimedean dengan properti yang sama. Fakta bahwa kelompok Archimedean adalah abelian dapat digeneralisasikan: setiap grup yang dipesan dengan properti ini adalah abelian.[7]
Generalisasi
suntingGrup Archimedean dapat digeneralisasikan menjadi Monoid Archimedean, tersusun secara linier monoid yang mematuhi sifat Archimedean. Contohnya termasuk bilangan asli, bilangan non-negatif bilangan rasional, dan bilangan real non-negatif, dengan operasi biner biasa dan order . Melalui bukti yang sama seperti untuk grup Archimedean, monoid Archimedean dapat ditampilkan menjadi komutatif.
Lihat pula
suntingReferensi
sunting- ^ Marvin, Stephen (2012), Dictionary of Scientific Principles, John Wiley & Sons, hlm. 17, ISBN 9781118582244.
- ^ Notasi aditif untuk grup biasanya hanya digunakan untuk grup abelian, di mana operasi penambahannya adalah komutatif. Definisi di sini tidak mengasumsikan sifat komutatif, tetapi akan mengikuti sifat Archimedean.
- ^ a b Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, 84, Providence, R.I.: American Mathematical Society, hlm. 61, ISBN 978-0-8218-1963-0, MR 1794715
- ^ Fuchs, László (2011) [1963]. Partially ordered algebraic systems. Mineola, New York: Dover Publications. hlm. 45–46. ISBN 978-0-486-48387-0.
- ^ Kopytov, V. M.; Medvedev, N. Ya. (1996), Right-Ordered Groups, Siberian School of Algebra and Logic, Springer, hlm. 33–34, ISBN 9780306110603.
- ^ Untuk bukti grup abelian, lihat Ribenboim, Paulo (1999), The Theory of Classical Valuations, Monographs in Mathematics, Springer, hlm. 60, ISBN 9780387985251.
- ^ Vinogradov, A. A. (1967), "Ordered algebraic systems", Algebra, Topology, Geometry, 1965 (Russian) (dalam bahasa Russian), Akad. Nauk SSSR Inst. Naučn. Tehn. Informacii, Moscow, hlm. 83–131, MR 0215761. Translated into English in Filippov, N. D., ed. (1970), Ten papers on algebra and functional analysis, American Mathematical Society Translations, Series 2, 96, American Mathematical Society, Providence, R.I., hlm. 69–118, MR 0268000.