Halka, matematiğin temel yapılarından biridir ve soyut cebirde tam sayıların soyutlamasıdır. Bu yapıyı işleyen dala halka kuramı denir.

Halka (matematik)

Halka, matematiğin temel yapılarından biridir ve soyut cebirde tam sayıların soyutlamasıdır. Bu yapıyı işleyen dala halka kuramı denir. Halkalara örnek olarak polinomlar, modülo n ya da karmaşık sayılar verilebilir.

Halka her şeyden önce bir kümedir ve belli özellikleri sağlar. Bu özellikler aşağıda verilmiştir.

Tanım

``R`` boştan farklı bir küme olsun. Bu küme üzerinde "``+``" ve "<math>\cdot</math>" ikili işlemleri tanımlı olsun. Eğer; ise ``(R,+, <math>\cdot</math>)`` kümesine halka denir. Bunların yanında eğer,
  • ``(R, <math>\cdot</math>)`` kümesi bir birlik ise ``(R,+, <math>\cdot</math>)`` kümesine birimli halka; ayrıca,
  • ``(R, <math>\cdot</math>)`` kümesi değişmeli ise ``(R,+, <math>\cdot</math>)`` kümesine değişmeli halka denir.


Bir halkanın birinci işlemi olan (genellikle toplama) "``+``" işleminin birim öğesine sıfır denir ve ``0`` ile gösterilmesi gelenektir. Halkanın ikinci işlemi olan (genellikle çarpma) "<math>\cdot</math>" işleminin birim öğesi varsa bu birim öğeye bir denir ve geleneksel olarak ``1`` ile gösterilir.

Ayrıca bir halkada genellikle 0=1 ol``ma``dığı da bir belit olarak eklenir. Nitekim 1=0 olması bir çelişki yaratmaz ancak, 1=0 olduğunda ``R`` halkası tek öğeli bir küme olur. Bunu aşağıdaki gibi basitçe her sayının sıfıra eşit olduğunu göstererek kanıtlayabiliriz:
``a = a.1 = a.0 = 0``


Halkanın tam tanımı için bir uzlaşma görülmüyor. Bazı matematikçiler (örneğin Ali Nesin) bir halkanın hem birimli hem bileşmeli hem de değişmeli olduğunu varsayar<ref>Matematik Dünyası Dergisi, ``Kapak konusu: Halkalar, asallar ve indirgenemezler (1)``, sayı 2004-I (bahar), sayfa 30.</ref>. Eğer birim öğesiz veya değişme özelliği olmayan bir halkadan bahsedilecekse ``birimsiz halka`` ya da ``değişmesiz halka`` denmiş olur. Bourbaki ya da Herstein gibi matematikçiler de birim öğesi olmayan halkalara yalancı halka demeyi tercih eder. Bu sayfada bahsedilen halkalar hem değişmeli hem bileşmeli hem de birim öğeli alınacaktır.

Ayrıca bakınız



Kaynakça

reflist

  • Matematik Dünyası Dergisi, sayı 2004-I (bahar) sayfa 11-41 ve sayı 2004-II (yaz) sayfa 9-50.
  • Thomas W. Hungerford, ``Algebra``, springer-Verlag, 1974.
  • T.O. Hawkes Hartley, ``Rings, modules and linear algebra``, Chapman and Hall, 1994.
  • Abdullah Harmancı, ``Cebir``, Hacettepe Üniversitesi FF, 1987.


cebirsel yapılar matematik-taslak

Kaynaklar

Vikipedi

İlgili konuları ara

Yanıtlar