inverse factor rings