Algebra ogólna to dział matematyki zajmujący się badaniem struktur algebraicznych — zbiorów wyposażonych w jedną lub więcej zdefiniowanych na nich operacji. Podstawowe pojęcia zaczynają się od połączenia zbioru z działaniem, zwykle rozpatrywanym jako operacja binarna (łączenie dwóch elementów zbioru daje element tego samego zbioru). Analiza takich struktur polega na opisywaniu i klasyfikowaniu własności operacji: czy są łączne, mają element neutralny, czy istnieją elementy odwrotne, czy są przemienne, oraz jak różne operacje na jednym zbiorze oddziałują ze sobą.

Podstawowe struktury jednoparzystotne

  • Magma — najprostsza struktura: dowolny zbiór z jedną operacją zamkniętą względem tej operacji.
  • Półgrupa (semigrupa) — magma, której operacja jest asocjatywna (można dowolnie grupować składniki).
  • Monoid — półgrupa posiadająca element tożsamości (neutralny dla operacji).
  • Grupa — monoid, w którym każdy element ma element odwrotny względem operacji; podstawowa struktura mierząca symetrię i przekształcenia.
  • Grupa abelowa — grupa, której operacja jest również komutatywna (kolejność składników nie ma znaczenia).

Te struktury tworzą gradację rosnącej liczby własności, od najmniej do najbardziej restrykcyjnych. Każde kolejne założenie (np. istnienie elementu neutralnego lub elementów odwrotnych) pozwala wyprowadzać silniejsze twierdzenia i konstrukcje.

Struktury z dwiema operacjami

Wiele ważnych obiektów algebraicznych posiada dwie powiązane operacje, tradycyjnie nazywane «dodawaniem» i «mnożeniem». Najważniejsze przykłady to:

  • Pierścień — zbiór z dwiema operacjami: addition tworzy grupę abelową, multiplication jest zwykle półgrupą, a obie operacje łączą się poprzez własność dystrybutywności (mnożenie rozdziela się względem dodawania).
  • Pierścień komutacyjny — pierścień, w którym mnożenie jest komutatywne.
  • Pole — pierścień komutacyjny, w którym każdy niezerowy element ma element odwrotny dla mnożenia; stąd zarówno dodawanie, jak i mnożenie (po usunięciu zera) dają struktury grupowe.

W praktyce rozróżnia się też powiązane pojęcia, takie jak dziedzina całkowitości, ciało (division ring) czy algebra nad ciałem. Niektóre definicje pierścienia wymagają istnienia elementu neutralnego dla mnożenia, inne dopuszczają jego brak — dlatego warto sprawdzać konwencję stosowaną w danej literaturze.

Cechy, podstruktury i homomorfizmy

Analiza struktur obejmuje badanie własności elementów (np. elementy neutralne, idempotenty), podstruktur (podgrupy, podpierścienie), ilorazów (kwocjentów) oraz morfizmów zachowujących strukturę (homomorfizmów). Homomorfizm to odwzorowanie między strukturami, które zachowuje operacje — kernel i obraz homomorfizmu prowadzą do konstrukcji ilorazowych i twierdzeń o izomorfizmach.

Krótka historia i rozwój

Początki teorii struktur algebraicznych sięgają XIX wieku, gdy rozwijały się idee związane z teorią równań, permutacjami i symetriami; prace takich matematyków jak Évariste Galois i rozwój teorii grup utorowały drogę nowoczesnej algebrze abstrakcyjnej. W XX wieku ujednolicono podejście poprzez formalizację pojęć pierścienia, ciała i algebraicznych struktur z wieloma operacjami, prowadząc do szerokiego zastosowania w innych działach matematyki.

Zastosowania i przykłady

  • Typowe przykłady struktur: liczby całkowite z dodawaniem i mnożeniem, macierze (pierścienie niekomutatywne), grupy permutacji, pierścienie wielomianów.
  • Algebra ogólna ma zastosowanie w teorii liczb, geometrii algebraicznej, teorii reprezentacji, kryptografii, kodowaniu informacji oraz fizyce teoretycznej (symetrie, grupy Liego).

Rozumienie różnic między strukturami i ich właściwościami jest kluczowe w matematyce zarówno teoretycznej, jak i stosowanej: ułatwia klasyfikację obiektów, formułowanie uogólnień oraz transfer technik między dziedzinami. Dalsze studia obejmują teorię kategorii, która opisuje struktury i ich wzajemne relacje na jeszcze bardziej uogólnionym poziomie.

Więcej informacji na temat poszczególnych pojęć można znaleźć, odsyłając do specjalistycznych haseł: magma, asocjatywność, monoid, grupa, pierścień, pole.