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 $\mathbb R$ gerçel sayılar gibi düşünmeyiniz)
$(R, +, \cdot )$ cebirsel yapısının halka olabilmesi için ilk şart
$\bullet$ $(R, +)$ değişmeli grup olmalıdır.
Sonra diğer şartlar da sıralanıyor:
$\bullet$ $(R, \cdot)$ yarıgrup olmalıdır.
$\bullet$ ''$\cdot$'' işlemi, "$+$" işlemi üzerine sağdan ve soldan dağılma özelliğine sahip olmalıdır.
Şimdi $(R, +, \cdot )$ halkasının değişmeli olmasının tanımı da şöyle veriliyor:
Her $a, b \in R$ için $a\cdot b = b\cdot a$ değişme özelliği sağlanıyorsa $(R, +, \cdot)$ halkası değişmelidir denir.
$(R, +, \cdot )$ 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 ('' $\cdot $'' 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. $(M_{2\times 2}(\mathbb R), +, \cdot )$ 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ş''