JUCS - Journal of Universal Computer Science 14(22): 3648-3657, doi: 10.3217/jucs-014-22-3648
Constructive Notions of Maximality for Ideals
expand article infoDouglas S. Bridges, Robin S. Havea§
‡ University of Canterbury, Christchurch, New Zealand§ Department of Mathematics and Computing Science, The University of the South Pacific, Fiji
Open Access
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