theorem :: FIELD_16:22

for R being non degenerated commutative Ring holds ker (Frob R) c= nilrad R