Bu ders notu, "Grup nedir Test 1" sınavında karşılaşabileceğiniz temel grup teorisi kavramlarını, aksiyomları ve önemli özellikleri sade bir dille açıklamaktadır. Amacımız, grup teorisinin temelini sağlam bir şekilde anlamanıza yardımcı olmaktır.
Matematikte bir "grup", belirli özelliklere sahip bir küme ve bu küme üzerinde tanımlı bir ikili işlemden oluşan cebirsel bir yapıdır. Bir küme $G$ ve bir ikili işlem $*$ (örneğin toplama, çarpma) aşağıdaki dört aksiyomu sağlıyorsa, $(G, *)$ ikilisine bir grup denir:
💡 İpucu: Bu dört aksiyomu ezberlemek yerine, her birinin ne anlama geldiğini ve neden gerekli olduğunu günlük hayattan örneklerle düşünün. Örneğin, toplama işleminde 0 birim eleman, bir sayının tersi ise o sayının negatifidir.
Grup tanımını daha iyi anlamak için bazı klasik örneklere bakalım:
⚠️ Dikkat: Her küme ve işlem ikilisi grup oluşturmaz. Örneğin, $(\mathbb{Z}, \times)$ bir grup değildir, çünkü $0$ hariç çoğu elemanın çarpımsal tersi $\mathbb{Z}$ içinde değildir (örneğin $2$'nin tersi $1/2$, bu bir tam sayı değildir).
Bir $(G, *)$ grubu, yukarıdaki dört aksiyoma ek olarak aşağıdaki beşinci aksiyomu da sağlıyorsa, bu gruba bir Abel Grubu veya Değişmeli Grup denir:
💡 İpucu: Toplama işlemi genellikle değişmelidir (örneğin $2+3 = 3+2$). Matris çarpımı ise genellikle değişmeli değildir, bu yüzden matris grupları genellikle Abel grubu değildir.
Bir grubun mertebesi, o gruptaki eleman sayısını ifade eder. $|G|$ ile gösterilir.
Örnek: $(\mathbb{Z}_5, +_5)$ grubunun elemanları $\{0, 1, 2, 3, 4\}$'tür, bu yüzden mertebesi $5$'tir. $(\mathbb{Z}, +)$ grubunun ise sonsuz elemanı vardır, bu yüzden sonsuz bir gruptur.
Bir grubun içinde, kendisi de aynı işlemle bir grup oluşturan bir alt kümesine "alt grup" denir.
Bir alt kümenin alt grup olup olmadığını kontrol etmek için iki yaygın test vardır:
Bir $(G, *)$ grubunun boş olmayan bir alt kümesi $H$ için, $H$'nin $G$'nin bir alt grubu olması için gerekli ve yeterli koşul, her $a, b \in H$ için $a * b^{-1} \in H$ olmasıdır. ($b^{-1}$, $G$'deki $b$'nin tersidir.)
Bir $(G, *)$ grubunun boş olmayan bir alt kümesi $H$ için, $H$'nin $G$'nin bir alt grubu olması için gerekli ve yeterli koşullar şunlardır:
⚠️ Dikkat: Alt grup testlerinde $H$'nin boş küme olmaması ve $G$'nin bir alt kümesi olması başlangıç koşullarıdır. Birim elemanın $H$ içinde olması da bu testlerden türetilebilir.
Bir grup $G$, eğer $G$'deki bir $a$ elemanı tarafından üretilebiliyorsa, yani $G$'deki her eleman $a$'nın tamsayı kuvvetleri ($a^n$ veya $n \cdot a$ işlem toplama ise) olarak ifade edilebiliyorsa, bu gruba devirli grup denir. $a$ elemanına grubun üreteci denir.
Örnek: $(\mathbb{Z}_5, +_5)$ grubu devirlidir ve $1$ elemanı tarafından üretilebilir. Yani $\langle 1 \rangle = \{1, 1+1, 1+1+1, 1+1+1+1, 1+1+1+1+1\} = \{1, 2, 3, 4, 0\}$.
💡 İpucu: Her devirli grup bir Abel grubudur, ancak her Abel grubu devirli olmak zorunda değildir.