BanakhT. O. and LyaskovskaN., “Completeness of invariant ideals in groups”, Ukr. Mat. Zhurn., vol. 62, no. 8, pp. 1022–1031, Aug. 2010.