Commutative ring theory