Пусть $ \mathfrak{G}=A_1+A_2+ \ldots +A_n $ есть группа, а $ \mathfrak{H} $ - ее подгруппа.Совокупности типа $ \mathfrak{H}A_i $ называются сопряженными системами (смежными классами).