Zaten tamlik bolgesi olmasi bize yalnizca tek bir bilgi veriyor. Carpim tablosundaki 9 kucuk karecikten bilmedigimiz tek bir kare var: O da $a^2$. Bu bilgi ise karakteristigi degistirmiyor.
Halka dedigimiz sey icin uc sey gerekli: Bir kume, bir toplama islemi ve bir carpma islemi. Sonra bunun uzerine aksiyomlar koyuyorsun ku bu islemler guzel olsun. Carpma islemini tamamen unutursak, elimizde sadece bir kume ve bu kumenin uzerinde bir toplama islemi kaliyor. Halkanin altinda yatan gruptan kastim bu yapi. Istersen bu yapiyi da unutup halkanin altinda yatan kumeden de bahsedebilirsin. Ingilizce de "altinda yatan"a karsilik "underlying", unutmayi da biraz kategori teorisi biliyorsan "forgetful functor" ile bagdastirabilirsin.
Simdi, bizim sorumuzda 3 elemanli bir halka var. Bu halkada bir toplama yapisi, ve bu yapiyla uyumlu olarak bir carpimsal yapi var. Carpimsal yapiyi bir an icin unutalim. Elimizde kalan grup 3 elemanli bir grup. Ve 3 elemanli tek bir grup var. 100 elemanli (abelyen) gruplarin sayisi 4. Burada daha degisik seyler olablir, degisik carpmalar tanimlanabilir.
Sercan yazmis bile.