Genellikle grup olarak bilinen bu matematiksel yapı, soyut cebirin en temel yapısıdır. Öbek, öncelikle bir kümedir, öğeleri boş olmayan bir küme ve üzerine tanımlı bir ikili işlemi olan bir kümedir. Öbek kuramı, bu işlemin özelliklerine göre öbekleri inceler. Soyut cebirin halka, cisim, modül gibi diğer yapılarının temelini oluşturur.
Tanım[]
Eğer boşkümeden farklı ve üzerinde bir tane ikili işlem tanımlanmış bir G kümesi
- Bileşme: Her a, b, c G için a(bc)=(ab)c.
belitini sağlıyorsa bir yarı öbektir (yarıgrup). Eğer bir yarı öbek,
- (iki yönlü) Birim öğe: Her a G için öyle bir e G vardır ki ea=ae=a.
belitini sağlıyorsa bu kümeye birlik (monoid) denir. Eğer bir birlik,
- Tersinir öğe: Her a G için öyle bir G vardır ki .
belitini sağlıyorsa kümeye öbek (grup) adı verilir.
Eğer bir öbek,
- Değişme: Her a, b G için ab=ba.
belitini sağlıyorsa değişmeli öbek (değişmeli grup) ya da Abel'in anısına Abelyen öbek (abelyen grup) olarak adlandırılır. İşlemi vurgulamak için (G, ) gösterimi kullanılır (ki burada "" işlemin simgesidir).
Öbek kuramı (grup kuramı), demin tanımladığımız öbek (grup) yapısıyla ilgilenir. Ödeği tanımlarken yaptığımız tanımlar ise çoğunlukla bazı kesin teoremleri en genel halleriyle ifade etmek için kullanılır.
Bir öbeğin mertebesi |G| ile gösterilen kardinal sayıdır (yani kümenin öğe sayısıdır). |G| sonluysa (ya da sonsuzsa), G ye sonlu öbek (ya da sonsuz öbek) denir.
Bazı Öbek Örnekleri[]
- Toplama işlemiyle tam sayılar kümesi , değişmeli bir öbektir.
Matematik - Cebir Mizan | ||
---|---|---|
Sayılar | Doğal sayılar - Tam sayılar - Rasyonel sayılar - İrrasyonel sayılar- Reel sayılar - Karmaşık sayılar- Asal sayılar-Sabitler- Hiperbolik sayılar- Çifte karmaşık sayılar - p-sel sayılar-Ardışık sayılar - Aşkın sayı - Mükemmel sayı-İkili sayılar-Sıfır | Matematik |
Uzay | Cebirsel geometri -- Diferansiyel geometri -- Diferansiyel topoloji -- Cebirsel topoloji -- Lineer cebir -- Geometri - Trigonometri - Diferansiyel geometri - Topoloji - Fraktal geometri | |
Hesap | Aritmetik -- Analiz -- Türev -- Kesirli hesap -- Fonksiyonlar -- Trigonometrik fonksiyonlar - Kalkülüs - Vektör hesabı- Diferansiyel denklemler - Dinamik sistem - Kaos kuramı | |
Temel matematiksel yapılar | Monoid -- Öbek (matematik) -- Halkalar -- Cisim (Cebir) -- Topolojik Uzaylar -- Çokkatlılar -- Hilbert aksiyomları -- Sıralamalar | |
Temel matematiksel kavramlar | Kümeler -- Sayılar -- Fonksiyonlar -- Limit -- Süreklilik -- Türev ve Türevlenebilirlik -- Analitiklik -- İntegrallenebilirlik -- Matris -- Eşyapı -- Homotopi -- İyi-sıralılık ilkesi -- Sayılabilirlik -- Soyutluk -- Determinantlar -- Oran -- Orantı -- Polinom -- Permütasyon -- Kombinasyon -- Logaritma -- Diziler -- Seriler | |
Matematiğin ana dalları | Soyut cebir -- Sayılar teorisi -- Cebirsel geometri -- Grup teorisi -- Analiz -- Topoloji -- Çizge Kuramı -- Genel cebir -- Kategori teorisi -- Matematiksel mantık -- Türevsel denklemler -- Kısmi türevsel denklemler -- Olasılık -- Kompleks fonksiyonlar teorisi - Sayılar teorisi - Soyut cebir - Grup teorisi - Çizge Kuramı | |
Sonlu matematik | Kombinatorik -- Saf küme teorisi -- Olasılık -- Hesap kuramı -- Sonlu matematik -- Kriptografi -- Çizge Kuramı -- Oyun kuramı | |
Uygulamalı matematik | Mekanik -- Sayısal analiz -- Optimizasyon -- Olasılık -- Matematikte İstatistik -- Finansal matematik | |
Ünlü kuramlar ve sanılar | Fermat'nın son teoremi -- Riemann hipotezi -- Süreklilik hipotezi -- P=NP -- Goldbach sanısı -- Gödel'in yetersizlik teoremi -- Poincaré sanısı -- Cantor'un diagonal yöntemi -- Pisagor teoremi -- Merkezsel limit teoremi -- Hesabın temel teoremi -- İkiz asallar sanısı -- Cebirin temel teoremi -- Aritmetiğin temel teoremi -- Dört renk teoremi -- Zorn önsavı -- Fibonacci dizisi | |
Temeller ve yöntemler | Matematik felsefesi -- Sezgici matematik -- Oluşturmacı matematik -- Matematiğin temelleri -- Kümeler teorisi -- Sembolik mantık -- Model teorisi -- Kategori teorisi -- Teorem ispatlama -- Mantık -- Tersine matematik - Matematiksel mantık - Küme - Kategori Teorisi |