[[!redirects divison ring]] < [[nlab:division ring]]