Tanım. R bir küme,
T1. Her x,y,z∈R,
x+(y+z)=(x+y)+z.
T2. Her x∈R, x+0=0+x=x.
T3. Her x∈R, x+y=y+x=0, eşitliğini sağlayan bir y∈R vardır.
T4. Her x,y∈R için, x+y=y+x.
T1, T2, T3 özelliklerini sağlayan bir (R,+,0) yapısına grup denir. Eğer ayrıca T4 sağlanıyorsa, yapıya değişlmeli ya da abelyen grup denir.
Önsav. Eğer bir grubun x,z ve t elemanları x+a=x+b elemanları eşitliği sağlıyorsa a = b olur.
Benim sorum: Önsavdaki z,t ne ki? Baskı hatası olabilir mi?