Γενικά, το γινόμενο δύο υποομάδων S και T είναι μια υποομάδα εάν και μόνο εάν ST=TS, και οι δύο υποομάδες λέγεται ότι μετατίθενται.
Τι κάνει μια υποομάδα Υποομάδα;
Ένα υποσύνολο H της ομάδας G είναι μια υποομάδα του G εάν και μόνο εάν δεν είναι κενό και κλειστό κάτω από γινόμενα και αντίστροφα . … Η ταυτότητα μιας υποομάδας είναι η ταυτότητα της ομάδας: αν G είναι μια ομάδα με ταυτότητα eG, και H είναι μια υποομάδα της G με ταυτότητα eH, μετά eH=eG.
Γιατί η τομή δύο υποομάδων είναι υποομάδα;
Δεδομένου ότι τουλάχιστον το στοιχείο ταυτότητας 'e' είναι κοινό τόσο για το H1 όσο και για το H2. Επειδή τα H1 και H2 είναι υποομάδες. Επομένως, το H1 ∩ H2 είναι μια υποομάδα του G και αυτό είναι το θεώρημά μας, δηλαδή η τομή δύο υποομάδων μιας ομάδας είναι και πάλι μια υποομάδα.
Είναι κανονικό το γινόμενο δύο κανονικών υποομάδων;
Υποσύνολο Προϊόν κανονικών υποομάδων είναι Κανονικό.
Είναι η ένωση δύο υποομάδων είναι μια υποομάδα, αν όχι το παράδειγμα;
Αν μια ομάδα G είναι ένωση δύο σωστών υποομάδων H1 και H2, τότε πρέπει να έχουμε H1⊄H2 και H2⊄H1, διαφορετικά G=H1 ή G=H2 και αυτό είναι αδύνατο καθώς τα H1, H2 είναι σωστά υποομάδες. Τότε το G=H1∪H2 είναι μια υποομάδα του G, η οποία απαγορεύεται από το μέρος (α). Επομένως, καμία ομάδα δεν μπορεί να είναι μια ένωση κατάλληλων υποομάδων.