Öbek Nedir - Matematiksel Yapı - Öbek Kuramı

'Ders notları' forumunda Violet tarafından 20 Şubat 2011 tarihinde açılan konu


  1. Öbek Nedir - Matematiksel Yapı - Öbek Kuramı

    (matematik)


    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 \in 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 \in G için öyle bir e \in 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 \in G için öyle bir a^{-1} \in G vardır ki a − 1a = aa − 1 = e

    belitini sağlıyorsa kümeye öbek (grup) adı verilir

    Eğer bir öbek,

    * Değişme: Her a, b \in 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, \cdot) gösterimi kullanılır (ki burada "\cdot" 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 (Z, + ), değişmeli bir öbektir
    * Çarpma




    ----------------------