Semirings, rings, division rings, and modules. - View it on GitHub