Cancellation in Integral Domains
Channel: Andrew Misseldine
Date: 2022-01-20

In this video, we prove that the cancellation axiom is logically equivalent to the zero-product axiom for rings with unity. Hence, a ring with unity is a domain if and only if it has cancellation.

This is lecture 12 (part 3/4) of the lecture series offered by Dr. Andrew Misseldine for the course Math 4230 - Abstract Algebra II at Southern Utah University. A transcript of this lecture can be found at Dr. Misseldine's website or through his Google Drive at: 
https://drive.google.com/file/d/1VEZHkBF8TxIv8MrJ5xoinaa-1uGBrvXx/view

This lecture is based upon Section 16.2 of Abstract Algebra: Theory and Applications (http://abstract.ups.edu/) by Tom Judson. Please post any questions you might have below in the comment field and Dr. Misseldine (or other commenters) can answer them for you. Please also subscribe for further updates.