„Centrum (algebra)” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
16. sor:
Ha G egy [[félcsoport]], azaz × [[asszociativitás|asszociatív]] művelet, akkor Z = Z(G)≤G rész-félcsoportja G-nek, azaz zárt a × szorzásra.
 
Az asszociativitás szerint ugyanis minden a,b,c&isin;<math>\in</math>G-re (ab)c = a(bc), tehát a u,z&isin;<math>\in</math>Z, azaz ux = xu és zx = xz tetszőleges G-beli x-re, akkor (uz)x = (u)(zx) = (u)(xz) = (ux)z = (xu)z = x(uz), tehát (uz)x = x(uz), az uz elem felcserélhető eszerint bármely G-beli elemmel, ha u és z is; s eszerint eleme Z-nek.
 
== Csoport centruma ==