(Axiomático) SiH yK son ambos subgrupos de un grupoG, entoncesH∩K es un subgrupo deG. Para justificar esta afirmación, no tenemos información concreta con la que...(Axiomático) SiH yK son ambos subgrupos de un grupoG, entoncesH∩K es un subgrupo deG. Para justificar esta afirmación, no tenemos información concreta con la que trabajar, solo los hechos queH≤G yK≤G. Nuestra prueba queH∩K≤G refleja esto y es un ejercicio de aplicando las definiciones de intersección y subgrupo, (i) Sia yb son elementos deH∩K, entoncesa yb ambos pertenecenH, …