(En el caso no conmutativo, tener un único ideal maximal por los dos lados no es sin embargo a ser local).