factor rings w/out inverse