Se R é um anel não-singular `a direita e Q é o seu anel maximal de quocientes à direita, existe um teorema que estabelece condições equivalentes para que a envoltória injetiva de um ideal `a direita de R seja um Q-bimódulo ...