(en) Louis Rowen, Ring theory, vol. 1, Boston, Academic Press, , 1re éd. (ISBN978-0-12-599841-3), p. 21. Si les idéaux bilatères sont relativement peu présents dans l'arsenal théorique de l'algèbre non commutative, ils n'en demeurent pas moins essentiels comme mode de construction d'exemples par passage au quotient ; voir en ce sens plusieurs des exemples au chapitre I de (en) T. Y. Lam, A First Course in Noncommutative Rings, New York, Springer-Verlag, coll. « GTM » (no 131), , 1re éd. (ISBN978-0-387-97523-8, lire en ligne).
Jean-Étienne Rombaldi, Mathématiques pour l'agrégation, Algèbre & géométrie, De Boeck Supérieur, (lire en ligne), p. 208-209.
(en) J. C. McConnell et J. C. Robson, Noncommutative Noetherian Rings, Providence, AMS, coll. « Graduate Studies in Mathematics » (no 30), , 636 p. (ISBN978-0-8218-2169-5, lire en ligne), p. 2 (pour l'ensemble de la section jusqu'à cette note).
(en) Pierre Antoine Grillet, Abstract Algebra, New York, Springer-Verlag, , 2e éd., 669 p. (lire en ligne), p. 112, fait remarquer qu'il y a un heurt de notations, l'ensemble de ces produits (qui n'est pas un sous-groupe en général) pouvant en principe être lui aussi noté IJ. Cette confusion n'est pas gênante en pratique, cet ensemble de produits étant rarement évoqué en tant que tel.