Grup (matematik): Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
Luckas-bot (mesaj | katkılar) k Bot değişikliği Ekleniyor: ms:Kumpulan (matematik) |
Khutuck Bot (mesaj | katkılar) k Bot: Kozmetik değişiklikler |
||
2. satır: | 2. satır: | ||
Genellikle ''grup'' olarak bilinen bu matematiksel yapı, [[soyut cebir]]in en temel yapısıdır. Öbek, öncelikle bir [[küme]]dir, [[öğe]]leri boş olmayan bir küme ve üzerine tanımlı bir [[ikili işlem]]i olan bir kümedir. [[Öbek kuramı]], bu işlemin özelliklerine göre öbekleri inceler. Soyut cebirin [[halka]], [[cisim (matematik)|cisim]], [[modül]] gibi diğer yapılarının temelini oluşturur. |
Genellikle ''grup'' olarak bilinen bu matematiksel yapı, [[soyut cebir]]in en temel yapısıdır. Öbek, öncelikle bir [[küme]]dir, [[öğe]]leri boş olmayan bir küme ve üzerine tanımlı bir [[ikili işlem]]i olan bir kümedir. [[Öbek kuramı]], bu işlemin özelliklerine göre öbekleri inceler. Soyut cebirin [[halka]], [[cisim (matematik)|cisim]], [[modül]] gibi diğer yapılarının temelini oluşturur. |
||
==Tanım== |
== Tanım == |
||
Eğer [[boşküme]]den farklı ve üzerinde bir tane [[ikili işlem]] tanımlanmış bir ''G'' [[küme]]si |
Eğer [[boşküme]]den farklı ve üzerinde bir tane [[ikili işlem]] tanımlanmış bir ''G'' [[küme]]si |
||
* [[Bileşme]]: Her ''a, b, c'' <math>\in</math> ''G'' için ''a(bc)=(ab)c''. |
* [[Bileşme]]: Her ''a, b, c'' <math>\in</math> ''G'' için ''a(bc)=(ab)c''. |
||
19. satır: | 19. satır: | ||
Bir öbeğin [[mertebe]]si ''|G|'' ile gösterilen [[kardinal sayı]]dır (yani kümenin [[öğe]] sayısıdır). ''|G|'' [[sonlu]]ysa (ya da [[sonsuz]]sa), ''G'' ye [[sonlu öbek]] (ya da [[sonsuz öbek]]) denir. |
Bir öbeğin [[mertebe]]si ''|G|'' ile gösterilen [[kardinal sayı]]dır (yani kümenin [[öğe]] sayısıdır). ''|G|'' [[sonlu]]ysa (ya da [[sonsuz]]sa), ''G'' ye [[sonlu öbek]] (ya da [[sonsuz öbek]]) denir. |
||
==Bazı Öbek Örnekleri== |
== Bazı Öbek Örnekleri == |
||
* Toplama işlemiyle [[tam sayı |
* Toplama işlemiyle [[tam sayı]]lar kümesi <math>(Z,+)</math>, değişmeli bir öbektir. |
||
* Çarpma |
* Çarpma |
||
==Kaynakça== |
== Kaynakça == |
||
* Thomas W. Hungerford, ''Algebra'', Springer-Verlag, Chapter I, 1974. |
* Thomas W. Hungerford, ''Algebra'', Springer-Verlag, Chapter I, 1974. |
||
* Nathan Jacobson, ''Lectures in Abstract Algebra: I. Besic Concepts'', Springer-Verlag, Chapter I, 1951. |
* Nathan Jacobson, ''Lectures in Abstract Algebra: I. Besic Concepts'', Springer-Verlag, Chapter I, 1951. |
||
32. satır: | 32. satır: | ||
{{Cebirsel yapılar}} |
{{Cebirsel yapılar}} |
||
{{matematik-taslak}} |
{{matematik-taslak}} |
||
⚫ | |||
[[Kategori:Soyut cebir]] |
[[Kategori:Soyut cebir]] |
||
⚫ | |||
{{Link SM|en}} |
{{Link SM|en}} |
Sayfanın 00.23, 25 Ağustos 2010 tarihindeki hâli
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.
- Çarpma
Kaynakça
- Thomas W. Hungerford, Algebra, Springer-Verlag, Chapter I, 1974.
- Nathan Jacobson, Lectures in Abstract Algebra: I. Besic Concepts, Springer-Verlag, Chapter I, 1951.
- Serge Lang, Algebra, Addison-Wesley, 3. baskı, 1993.
- Yarasa Genel Müdürlüğü, Cebir, Hacettepe Üniversitesi FF, 2 cilt, 1987.
Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |