Define a maximal ideal of a commutative ring R .