Azokat a nem üres halmazokat, amelyekben értelmezve van egy művelet, és ez a művelet asszociatív, létezik benne egységelem, és minden elemnek létezik benne inverze, csoportnak nevezzük.
Azokat a nem üres halmazokat, amelyekben értelmezve van egy művelet, és ez a művelet asszociatív, létezik benne egységelem, és minden elemnek létezik benne inverze, csoportnak nevezzük.
1.
Vegyünk egy szabályos hatszöget, és vegyük a középpontja körüli forgatásokat amelyek a hatszöget önmagába forgatják. Bizonyítsuk be, hogy ez egy csoportot alkot a forgatások egymás után elvgézése, mint műveletre.
