"

Sorry about the confusion. It's short for free ideal ring. (But I think ""no one"" actually uses the full name ""free ideal ring"". The term is probably historical.) My subsequent edits should have clarified matters. Ask me or just fix yourself if you find problems.    "