抽象代数

Dummit and Foote《抽象代数》教材发现数学错误

一位开发者在使用Rocq形式化验证工具研习Dummit and Foote的《抽象代数》教材时，发现书中第一道证明习题存在错误。该题声称函数的单射性等价于存在左逆元，但这一命题在特定情况下并不成立。