هم مجموعه ها در نظریه گروه ها، از مفاهیم اساسی برای تعریف گروه خارج قسمت هستد و در سراسر نظریه گروه ها به آنها بر خورد می کنیم.H a = H b ⟺ a b − 1 ∈ H {\displaystyle Ha=Hb\iff ab^{-1}\in H}مفهوم هم مجموعه در حقیقت یک بیان کلی است و هم مجموعه ها بر دو نوع هم مجموعه راست و هم مجموعه چپ تعریف می شوند.فرض کنید G یک گروه و H زیرگروهی از G باشد. رابطه ≡ H {\displaystyle \equiv _{H}} ...