Maksimal ideal:M değişmeli olması gerekmeyen herhangi R halkasının hakiki ideali olsun.M alt küme I alt küme R olacak biçimde R nin bir ideali olduğunda ya I=M ya da I=R oluyorsa M ye maksimal ideal denir.
Asal ideal:R değişmeli birimli bir halka P,R nin bir ideali olmak üzere a,b €R için ab€Pise a€P veys b€P oluyorsa P ye asal ideal denir.
Her maksimal ideal asal idealdir fakat tersi doğru değildir.Yani her asal ideal maksimal ideal değildir.mesela {0R} asal idealdir ama maksimal ideal değil.buna bir örnek daha bulmam gerekiyor