G grup, Z(G), grubun merkezi
G/Z(G)=<x> diyelim. G'nin elemanlari zxi formunda olmali, oyle ki z∈Z(G), i∈Z.
Simdi a=z1xi,b=z2xj∈G olsun, oyleyse ab=(z1xi)(z2xj)=z1z2xi+j=z2xjz1xi=ba olur. (z1,z2∈Z(G) oldugundan ortalikta cilgincana gezinebildiler.)
x değil ¯x almalısın.
Haklisin. Bazi matematikciler (kimlerse) kullanmiyor ust cizgiyi, anlasiliyor diye. Bende de aliskanlik oldu kullanmamak.
İyi tanımlı olup olmama durumuna göre değişiyor o. Bir kümeden bir eleman seçip o elemana göre küme içintanım/işlem vs yapıyorsun. Tanımın/işlemin vs'nin seçtiğin elemandan bağımsız olması gerekiyor çoğu zaman yaptığının anlamlı olması için. Yani kesinlikle yapılmaması gereken bir şey kanımca.