→ lockheart :3.f(1_R)=f((1_R)^2)=f(1_R)^2. Since 1_R is a unit 06/23 18:32
→ lockheart :in R, f(1_R) is a unit in S. By cancellation law 06/23 18:33
→ lockheart :we can find that f(1_R)=1_S. Moreover 1_S=f(1_R) 06/23 18:35
→ lockheart :=f(u*u^-1)=f(u)*f(u^-1) for some unit u in R, 06/23 18:36
→ lockheart :f(u^-1)=f(u)^-1. 06/23 18:37
→ lockheart :4. R_1*R_2 and {0}*R_2 06/23 18:44
感謝!!!
※ 編輯: hotplushot 來自: 111.252.193.181 (06/23 19:53)
→ Vulpix :4. Sylow's Thm. 06/23 21:07
→ Vulpix :1. Z/(4) 2. 無限多個Z/(4)直積 06/23 21:10
→ RoamingGhost:or any polynomial ring over Z/4Z, like Z/4Z [t] 06/24 00:35