ahojte, prosím o radu, jak mám dokázat, že průnik libovolného neprázdného systému podgrup grupy (G;.) je opet grupa... vím,že mam dokázat neprázdnost, inverzi, uzavřenost na operaci ale jak dokáži že je neprázdný??
↑ Bernyska: Správne. S ostatným si snáď poradíš, ale aj tak pridám link na ProofWiki. (Kde je nejaký dôkaz, ale zdá sa, že zabudli na podmienku, či prienik je neprázdny.)