**This course begins Summer 2021.**

Have you ever had a professor that you really enjoyed and wanted to take their classes over and over? Introducing Dave’s online math course Well-Founded Confluence. Dave knows his subject very well and is fun to watch and learn from.

## Who This Course is For

- Students in college who want to learn more mathematics.
- Anyone interested in well-founded confluence.
- Students who are enrolled in Introduction to Proofs and want to improve their grade.
- Anyone interested in majoring in mathematics, physics, or engineering.
- Anyone wanting to learn about reduction relations, well-founded induction, recursion, confluent relations, and reduction rings and other structures.

## Requirements

There is no required textbook, though you will need an up-to-date web browser, paper, and pen. A calculator is not necessary.

## What You’ll Learn in Well-Founded Confluence

- Well-Founded Induction
- Descending Chains
- Recursion
- Antisymmetric and Irreflexive
- Reduction Relations
- Newman’s Lemma
- Buchberger-Winkler’s Property
- Reduction in the Integers
- Reduction in Vector Spaces
- Reduction in Polynomial Rings
- What are Reduction Rings?
- The Critical-Pair Completion Algorithm
- Quotients of Reduction Rings
- Sums of Reduction Rings
- Modules over Reduction Rings
- Polynomial Rings over Reduction Rings

## Course Description

We begin this course by studying well-founded relations. In particular, we study well-founded recursion and well-founded induction. We also discuss anti-symmetric relations and irreflexive relations.

Next, we examine reduction relations by bringing together well-founded relations and partial ordering relations. We then examine Newman’s Lemma and the Buchberger-Winkler generalization, which discusses various types of properties for reduction relations.

Closures are an essential part of this theory. We detail the reflexive, transitive closure of a reduction relation and the reflexive, transitive closure of the symmetric closure of a reduction relation. Using well-founded confluence to study the underlying equivalence relation is emphasized.

And the next part of the course discusses various reduction structures, including reduction rings, modules over reduction rings, polynomial rings over reduction rings, and further quotients, products, and sums of reduction rings. In each of the structures, we emphasize that establishing a critical-pair completion procedure can be carried over to other algebraic structures.

## Recommended Prerequisites for Well-Founded Confluence

I recommend the prerequisite course Ordered Sets. If you’re not sure if this course is for you, checkout the course contents below or find out more by checking out my free articles on introduction to proofs.