centralisatorn

så om jag uppfattar det här rätt: centralisatorn är den delgrupp av en grupp (och en grupp är binär (och måste alltid vara associativ/och eller invers och/eller identitet)) ? 

för om ja, då är väl de alltid (?) genererad (= centraliserad?)