Commutative division semirings are studied in full detail. Those that are finitely generated are characterized.
