http://rinconmatematico.com/instructivolatex/formulas.

htm
[tex]C=V(S)=\{P\in A_k^n : \ F(P)=0 \ \forall{ \ F\in S} \}[/tex]
[tex]I(C)=\{F\in k[X_1,\ldots,X_n]: \ F(P)=0 \ \forall \ P\in C \} [/tex]
[tex]\left\{\displaystyle\sum_{finita}a_is_i} \ / \ a_i\in A\cup\mathbb{Z}, \ s_
i\in S\right\}[/tex]
*************************************************
[quote author=inttegrattor link=topic=78616.msg314086#msg314086 date=1416907320]
el problema me pide dar un ejemplo de un homomorfismo [tex]f: \ G \longrightarro
w{G^'}[/tex] tal que si [tex]P[/tex] es un [i]p[/i]-subgrupo de Sylow de [tex]G[
/tex], entonces [tex]f(P)[/tex] es slo un p-subgrupo de [tex]G^'[/tex], es decir
[tex]\left |{f(P)}\right |=p^r[/tex], pero r no es la mayor potencia de p en [te
x]\left |{G}\right |[/tex]
[/quote]
[quote author=el_manco link=topic=78616.msg314088#msg314088 date=1416908676]
Hola
[tex]G=Z_2\times Z_3[/tex]
[tex]G'=Z_2\times Z_3\times Z_4\times Z_9[/tex]
[tex] f(x,y)=(x,y,0,0)[/tex]
Saludos.
[/quote]
Queda as creo, veamos:
-Definiendo [tex]f \ : Z_2\times Z_3 \longrightarrow{Z_2\times Z_3\times Z_4\tim
es Z_9}[/tex]
tal que [tex] f(x,y)=(x,y,0, 0)[/tex], [tex]\forall{(x,y)}\in{Z_2\times Z_3}[/te
x] es un homomorfismo
[spoiler][tex]f[/tex] es homomorfismo pues: si [tex]a=(x,y), \ b=(w,z)[/tex] ent
onces: [tex]f(ab)=f((x,y)\cdot{(w,z)})=f(xw,yz)=(xw, yz,0,0)=(x,y,0,0)\cdot{(w,
z,0,0)}=f(x,y)f(w,z)=f(a)f(b)[/tex][/spoiler]
[tex]\left |{Z_2\times Z_3}\right |=6[/tex]. Y sea [tex]P[/tex] un 2-subgrupo d
e Sylow de [tex]Z_2\times Z_3[/tex] es decir [tex]\left |{P}\right |=2[/tex]
Luego [tex]f(P)=\left\{{f(x,y) \ / \ (x,y)\in{P}}\right\}[/tex]
[tex]=\left\{{(x,y,0,0) \ / \ (x,y)\in{P} }\right\}[/tex]
Entonces el orden de [tex]f(P)[/tex] es 2, pues considerando [tex]g=f|_P \ : \ P
\rightarrow{g(P)}\leq{Z_2\times Z_3\times Z_4\times Z_9}[/tex]
Entonces [tex]g[/tex] es inyectiva ya que si [tex](x,y)\in{Ker(g)}[/tex]
[tex]\Rightarrow{(x,y)\in{P}\leq{Z_2\times Z_3}} \ \wedge \ g(x,y)=(0,0,0,0)[/te
x]
[tex]\Rightarrow{(x,y,0,0)=(0,0,0,0)}[/tex] [tex]\Rightarrow{x=0 \ \wedge \ y=0}
[/tex]
Por tanto [tex]Ker(g)=\left\{{(0,0)}\right\}[/tex]

http://rinconmatematico.com/instructivolatex/formulas.htm
Reglas de foro http://rinconmatematico.com/foros/index.php?topic=678.0