![]()
取兩個(gè)群?
，
%3Ag_1%5Cin%20G_1%2Cg_2%5Cin%20G_2%5Crbrace)
在集合直積上定義運(yùn)算分別遵守原來各自的運(yùn)算,把原來的兩個(gè)群自然而然看作是子群：
%2CG_2%5Crightarrow%20(1%2CG_2))
再回到
，它是不是
？答案當(dāng)然是否定的，因?yàn)?img type="latex" class="latex" src="http://api.bilibili.com/x/web-frontend/mathjax/tex?formula=%5Csigma%5Ctau%5Cneq%5Ctau%20%5Csigma" alt="%5Csigma%5Ctau%5Cneq%5Ctau%20%5Csigma">
它們的定義關(guān)系是
標(biāo)簽：
