The structures, one page each¶
Level: 101 · reference · the rows of the names table on the laws of an operation, each with its own page
| Laws that hold | Name |
|---|---|
| associative | semigroup |
| associative, identity | monoid |
| associative, identity, inverses | group |
| any of those, plus commutative | commutative semigroup, monoid or group |
Each page gives the definition, the examples and non-examples, what the extra law buys, and a program that checks the laws on finite samples and prints the witness where one fails.
Po polsku, w skrócie¶
Cztery nazwy z tabeli na stronie nadrzędnej, każda na osobnej stronie: półgrupa (łączność), monoid (plus element neutralny), grupa (plus odwrotności) i przymiotnik „przemienny", który jest niezależny od pozostałych. Każda strona podaje definicję, przykłady i kontrprzykłady, co kupuje dodatkowe prawo, i program, który sprawdza prawa na skończonych próbkach.
Auf Deutsch: Stichwörter¶
Die Strukturen, je eine Seite: Halbgruppe, Monoid, Gruppe, kommutativ.
Stichwörter: Halbgruppe, Monoid, Gruppe, abelsch (kommutativ), Verknüpfungstafel.