added notes on integral domains