- GRUP 1. Definisi: Himpunan tak kosong dengan operasi biner membentuk grup jika memenuhi syarat: ( ) ( ) i. Asosiatif: ii.

elemen identitas sehingga iii. sehingga Dikatakan grup komutatif jika dikatakan semi-grup jika memenuhi syarat i 2. Definisi: Order dari grup adalah banyaknya elemen di grup dinotasikan dengan ( ) atau | | 3. Teorema: Pada grup berlaku: i. Terdapat tepat 1 elemen identitas ii. Terdapat tepat 1 elemen invers ) iii. ( iv. ( ) v. vi.

yg

v & vi disebut hukum kanselasi 4. Teorema: hukum kanselasi tidak selalu berlaku di semi-grup 5. Teorema: semi-grup yang terbatas dan memenuhi hukum kanselasi membentuk grup - SUBGRUP 1. Definisi: Himpunan bagian tak kosong dari grup dinamakan subgroup dari dinotasikan dengan jika membentuk grup atas operasi biner dari 2. Teorema: Himpunan bagian tak kosong dari grup membentuk subgrup dari jika dan hanya jika

* | 3. Definisi: diberikan grup dan ( ) maka ( ) dinamakan centre dari grup 4. Teorema: ( ) adalah subgroup dari 5. Teorema: grup komutatif jika dan hanya jika ( ) 6. Definisi: diberikan grup , untuk suatu didefinisikan * + maka ( ) dinamakan ( ) | normalizer atau centralizer dari pada 7. Teorema: ( ) adalah subgroup dari * | 8. Teorema: jika dan diberikan , maka dinamakan koset kanan dari pada 9. Teorema: jika terbatas dan , maka ( )| ( ) 10. Teorema: diberikan maka: i. ii.

11. Definisi: diberikan dan didefinisikan * +, maka ( ) dinamakan ( ) | centralizer dari pada 12. Definisi: diberikan dan didefinisikan * +, maka ( ) dinamakan normalizer dari ( ) | pada 13. Teorema: ( ) dan ( ) adalah subgroup dari 14. Teorema: diberikan dan didefinisikan * | +, maka jika dan hanya jika 15. Teorema: jika 16. dan terbatas, maka ( )
( ) ( ) ( )