Kavram ile ilgili bir yanlış anlaşılma olduğunu düşünüyorum, onu yazının sonuna ekledim.
Hem wiki(İngilizce) hem de wiki(Türkçe) sayfalarından cebirsel bir yapı olan Halka'nın tanımına bakarsak (R sembolünü illa R gerçel sayılar gibi düşünmeyiniz)
(R,+,⋅) cebirsel yapısının halka olabilmesi için ilk şart
∙ (R,+) değişmeli grup olmalıdır.
Sonra diğer şartlar da sıralanıyor:
∙ (R,⋅) yarıgrup olmalıdır.
∙ ''⋅'' işlemi, "+" işlemi üzerine sağdan ve soldan dağılma özelliğine sahip olmalıdır.
Şimdi (R,+,⋅) halkasının değişmeli olmasının tanımı da şöyle veriliyor:
Her a,b∈R için a⋅b=b⋅a değişme özelliği sağlanıyorsa (R,+,⋅) halkası değişmelidir denir.
(R,+,⋅) bir halka olarak verildiyse ve bu halkanın değişmeli olduğunu araştırıyorsak, halka kavramının tanımına rağmen ''(R,+) neden değişmeli gruptur?'' diye bir soru sormak absürd olurdu. Yine de sorulursa, (R,+) nın değişmeli grup olması artık Allah'ın emridir, derim. Verilen bir halkanın değişmeli olup olmaması ikinci işleme ('' ⋅'' işlemine göre) incelenir.
''Halkanın değişmeli olabilmesi için 2. işlemin R de değişme özelliğini sağlaması gerekmiyormuş''
Bu ifade doğru değil. Tam aksine, bir halkanın değişmeli olabilmesi için ikinci işlemin R de değişme özelliğini sağlaması gerekir. Bence, dersi sunan hoca koyu renkle alıntıladığım cümleyi kurmamıştır ama dinleyiciler biraz yanlış anlamıştır. Biraz falcılık yapmak gerekirse olay şöyle gerçekleşti:
Hoca: ''Halkanın birinci işleme göre değişmeli olmasına rağmen, ikinci işleme göre değişme özelliğinin olması gerekmez arkadaşlar. (M2×2(R),+,⋅) gerçel matrisler halkasında olduğu gibi, çarpmanın değişme özelliği yoktur.''
Öğrenci: ''Hımm tamam, halkanın değişmeli olabilmesi için 2. işlemin R de değişme özelliğini sağlaması gerekmiyormuş''