Abstract Algebra 81: The cancellation property in integral domains

Abstract Algebra 81: The cancellation property in integral domains

Abstract: We give an introduction to integral domains, which are commutative rings with a multiplicative identity and no zero divisors. Integral domains enjoy a cancellation property: If ab=ac and a is nonzero, then b=c. We show how to prove this cancellation property. We can't use the multiplicative inverse of element a, since not every nonzero element in an integral domain needs to have a multiplicative inverse!

This video accompanies the class "Introduction to Abstract Algebra" at Colorado State University: