division_ring