Bigrup dan Sifat-Sifatnya

Penulisan skripsi ini bertujuan untuk memperkenalkan materi tentang bigrup. Pembahasan dimulai dengan mendefinisikan bigrup dan menjelaskan sifat-sifat dari bigrup. Definisi dari bigrup adalah suatu struktur (G = G1 G2, +, •) dengan (G1, +) dan (G2, •) masing-masing merupakan suatu grup. Pada pembahasannya, dilihat bagaimana hubungan antara G1 dan G2, jenis keanggotaan dari G1 dan G2, operasi pada G1 dan G2, serta bagaimana sifat-sifat bigrup. Beberapa sifat dari bigrup yaitu, (1). Bigrup G = G1 G2 dikatakan komutatif jika G1 dan G2 masing-masing grup komutatif, (2). Bigrup G = G1 G2 dikatakan simetrik jika G1 dan G2 masing-masing grup simetrik, (3). Order dari sub-bigrup tidak habis membagi order dari bigrup, (4). Setiap bigrup isomorfik dengan sub-bigrup dari bigrup simetrik