Archive - Pseudovariety

2. String Rewriting Systems

Definitions of string rewriting systems.

Jul 4, 2025 • Peter Alspaugh

1. Semigroup Presentations

Recall the definitions of congruences, congruence closures, and presentations.

Jul 4, 2025 • Peter Alspaugh

3. Identity Elements and Monoids, Inverses and Groups

Building up to Group Theory.

Jul 3, 2025 • Peter Alspaugh

2. Binary Operations, Closure, and Semigroups

The basic definitions of algebra.

Jul 3, 2025 • Peter Alspaugh

1. Preliminaries

Let's be clear on the basics.

Jul 2, 2025 • Peter Alspaugh

0. Outline for the Notes

What are we trying to do here?

Jul 2, 2025 • Peter Alspaugh

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts