show/hide this revision's text 2 added 144 characters in body

If I understand correctly (1), the property of following properties are not local

  • being a PID (including fields) is not local. Neither fields): take a non principal Dedekind domain;
  • being Noetherian (consider an infinite product of $\mathbb F_2$);
  • being Artinian (same example as above).
show/hide this revision's text 1

If I understand correctly (1), the property of being a PID (including fields) is not local. Neither being Noetherian.