求抽象代数一个问题的证明
问题描述:
求抽象代数一个问题的证明
怎么证明Zn里如果a和b不是单位,即没有逆,那么ab一定不是单位?
答
反证法:若ab是单位,存在c,满足abc=cab=单位
===》a,b分别是单位
===》矛盾