Struktur aljabar itu apa sih?

Dalam matematika, lebih spesifiknya dalam aljabar abstrak dan aljabar semesta, sebuah struktur aljabar terdiri dari sebuah himpunan A, sekumpulan operasi pada A dengan aritas terhingga (biasanya operasi biner), dan sebuah himpunan terhingga yang terdiri atas identitas-identitas, disebut sebagai aksioma, yang harus dipenuhi oleh operasi tersebut. Sebagian struktur aljabar juga melibatkan himpunan lain (yang disebut himpunan skalar).

Dalam konteks aljabar universal, himpunan A dengan struktur seperti ini disebut sebuah aljabar, sementara, dalam konteks lain, itu (secara ambigu) disebut struktur aljabar, karena istilah aljabar digunakan untuk struktur aljabar spesifik yang merupakan ruang vektor di atas sebuah medan atau modul di atas sebuah gelanggang komutatif.

Contoh struktur aljabar dengan satu himpunan adalah grup, gelanggang, medan, dan kekisi. Contoh struktur aljabar dengan dua himpunan di antaranya adalah ruang vektor, modul, dan aljabar.

Sifat dari suatu struktur aljabar dipelajari di aljabar abstrak. Teori umum mengenai aljabar abstrak telah diformalkan dalam aljabar universal. Bahasa teori kategori digunakan untuk menggambarkan dan mempelajari hubungan antara jenis objek aljabar dan non-aljabar yang berbeda. Ini karena terkadang bisa ditemukan hubungan yang kuat antara beberapa jenis objek, meskipun kelihatannya berbeda. Contohnya, teori Galois menetapkan hubungan antara medan dan grup tertentu: dua struktur aljabar yang berbeda.