półgrupą
Encyklopedia PWN
mat. zbiór P z dwuargumentowym działaniem, przyporządkowującym każdej parze elementów a, b ∈ P element ab ∈ P i spełniającym warunek łączności (tzn. dla dowolnych a, b, c ∈ P zachodzi a(bc) = (ab)c);
mat. teoria mająca swoje korzenie w topologii algebraicznej, w oryginalnej formie (topologicznaK-teoria) — metoda badania przestrzeni topologicznych X, polegająca na studiowaniu wiązek wektorowych nad X.
mat. zbiór z jednym działaniem binarnym (dwuargumentowym) określonym na elementach tego zbioru (tzn. że każdej uporządkowanej parze elementów zbioru jest przyporządkowany jednoznacznie pewien element tego zbioru);
mat. termin teorii układów dynamicznych, spotykany także w zagadnieniach wywodzących się z teorii równań różniczkowych zwyczajnych, mechaniki, geometrii różniczkowej i in.
mat. pojęcie algebry abstrakcyjnej wprowadzone m.in. przez E. Marczewskiego w latach 50. XX w.; algebrą wolną generowaną przez zbiór Y w danej klasie algebr B o ustalonym typie działań i homomorfizmów (np. półgrupy, grupy, grupy abelowe, pierścienie, algebry Boole’a, algebry Liego) nazywa się każdą algebrę B z klasy B spełniającą następujące 2 warunki: 1) B zawiera zbiór Y, 2) każda funkcja ze zbioru Y do dowolnej algebry C z klasy B rozszerza się jednoznacznie do homomorfizmu algebr z B do C.
