Exercise 1.12

A local ring contains no idempotent 0 , 1 .

Answers

Proof. Let A be our local ring; by Cor.  1.5 , = A A × . If e is idempotent, one of e , 1 e is a unit for otherwise 1 = e + ( 1 e ) , a contradiction. Since e is idempotent, e ( 1 e ) = 0 . So, if e is a unit, then 0 = 0 e 1 = ( 1 e ) e e 1 = 1 e and e = 1 ; if 1 e is a unit, then 0 = 0 ( 1 e ) 1 = e ( 1 e ) ( 1 e ) 1 = e and 1 e = 1 . □

User profile picture
2023-07-24 14:28
Comments