Constructive Notions of Maximality for Ideals

Douglas S. Bridges (University of Canterbury, New Zealand)

Robin S. Havea (University of the South Pacific, Fiji)

Abstract: Working constructively, we discuss two types of maximality for ideals in a commutative ring with identity, showing also that the results are the best possible.

Keywords: constructive, ideal, maximal

Categories: F.2.m, G.0