Definición, determinación y existencia de ideales máximos