Struktur algebra

Dalam matematik, struktur algebra terdiri daripada set tidak kosong A (dipanggil set asas, set pembawa atau domain), koleksi operasi pada A dengan arityi terhingga (biasanya operasi binari), dan set terhingga identiti, dikenali sebagai aksiom, bahawa operasi ini mesti memuaskan.

Struktur algebra mungkin berdasarkan struktur algebra lain dengan operasi dan aksiom yang melibatkan beberapa struktur. Sebagai contoh, ruang vektor melibatkan struktur kedua yang dipanggil medan, dan operasi yang dipanggil pendaraban skalar antara unsur medan (dipanggil skalar), dan unsur ruang vektor (dipanggil vektor).

Algebra abstrak ialah nama yang biasa diberikan kepada kajian struktur algebra. Teori umum struktur algebra telah diformalkan dalam algebra universal. Teori kategori ialah satu lagi formalisasi yang merangkumi juga struktur dan fungsi matematik lain antara struktur jenis yang sama (homomorfisma).

Dalam algebra universal, struktur algebra dipanggil algebra; istilah ini mungkin samar-samar, kerana, dalam konteks lain, istilah algebra dikhaskan untuk struktur algebra tertentu yang merupakan ruang vektor di atas medan atau modul di atas gelang komutatif.

Pengumpulan semua struktur jenis tertentu (operasi yang sama dan undang-undang yang sama) dipanggil pelbagai dalam algebra universal; istilah ini juga digunakan dengan makna yang berbeza sama sekali dalam geometri algebra, sebagai singkatan daripada pelbagai algebra. Dalam teori kategori, pengumpulan semua struktur jenis tertentu dan homomorfisme di antara mereka membentuk kategori konkrit.

Rujukan

Sumber
 
 
 
 Category theory

Pautan luar 
 Jipsen's algebra structures. Includes many structures not mentioned here.
 Mathworld page on abstract algebra.
 Stanford Encyclopedia of Philosophy: Algebra by Vaughan Pratt.

Struktur matematik
Algebra abstrak