Algebra abstrakcyjna/Struktury algebraiczne

Z Wikibooks, biblioteki wolnych podręczników.

[edytuj] Struktury algebraiczne

[edytuj] Definicja

Strukturą algebraiczną określoną na zbiorze A nazywamy zespół (A;F_1,\dots,F_m;g_1,\dots,g_n;h_1,\dots,h_m), gdzie F_1,\dots,F_m są zbiorami, g_1,\dots,g_n są działaniami wewnętrznymi w zbiorze A oraz h_1,\dots,h_m są takimi działaniami zewnętrznymi w A, że h_i:F_i\times A\to A dla każdego i\in\{1,\dots,m\}.