Property: characteristic 0 field
Definition: The sum of any positive number of 1's is always nonzero.
Reference(s):
(No citations retrieved.)
Metaproperties:
This property has the following metaproperties
This property
does not have the following metaproperties
- passes to subrings
(Counterexample: $R_{ 6 }$ is a subring of $R_{ 101 }$)
- stable under finite products
(Counterexample: $R_{ 9 }$)
- stable under products
(counterexample needed)
- forms an equational class
(counterexample needed)
- passes to polynomial rings
(Counterexample: $R_{ 7 }$ is the polynomial ring of $R_{ 2 }$)