Каков смысл вот этого выражения
а также его связь с предыдущим и последующим текстом?
И - кто, какая такая "эта штука" образует смежный класс?
Это умножение смежных классов. С последующим связь -- это я уже сам додумал, что в результате него мы вновь получаем смежный класс. А с предыдущим пока что не знаю какая связь, пытаюсь установить ее.
Просто видел вот такое определение факторгруппы. Множество всех смежных классов группы

по нормальной подгруппе

является группой относительно введенной выше операции умножения смежных классов. Эта группа называется факторгруппой группы по нормальной подгруппе и обозначается
