od Onomatopeja » Sreda, 22. Februar 2017, 18:21
Da, u pravu si, u sustini. Tacnije, kljuc je u tome sto si spomenuo: drugaciju operaciju (da ta operacija zaista drugacije deluje, a ne samo da se drugacije obelezava). U sustini ako na tom podskupu ta operacija isto deluje kao i na grupi, onda mozemo reci da je to podgrupa. Tacnije, ako su [inlmath](G,\cdot)[/inlmath] i [inlmath](H,*)[/inlmath] dve grupe, onda je grupa [inlmath](H,*)[/inlmath] podgrupa grupe [inlmath](G,\cdot)[/inlmath] ukoliko je [inlmath]H\subseteq G[/inlmath] i [inlmath]x*y=x\cdot y[/inlmath] za sve [inlmath]x,y\in H[/inlmath]. Dakle, bitno je kako deluje operacija, a to kako cemo je obeleziti je stvar izbora.