; TeX output 2002.12.03:1055x='N cmbx12MathematischesInstitutWS2002/2003'derUniversitatM`unchencBlatt6'Prof.Dr.B.Pareigis9-ۍlNff cmbx12AlgebraffI/|lXQ cmr1221.D_Seig cmmi12X+einebSeliebigeMenge.AufderMengen_Fƹ(X)UR:=K cmsy81 u cmex10[ ҍ2cmmi8n|{Ycmr8=0ZX nBD_de nierenwireineMultiplikXationdurcrhlY(x̽1;x̽2;:::ʜ;xnP)(y̽1;y̽2;:::ʜ;ymĹ)UR:=(x̽1;x̽2;:::ʜ;xnP;y̽1;y̽2;:::ʜ;ymĹ)D_DabSeiXistX20 =~Abb(!", cmsy10;;X)einelemenrtig;daseindeutigbestimmrteEle-D_menrtTheitdasleereWVortundistdasneutraleElementbSezyuglichTdie-D_serVVerknSyupfung.Fƹ(X)wirdaufdieseWeisezueinemMonoid,demD_sog.freienMonoid>6yubSerX.DurcrhlBNUR:XF!Fƹ(X);x7!(x)D_istXcinFƹ(X)eingebSettet.ZeigenSie:IstMDĹirgendeinMonoidundD_f,:M-X>!M*irgendeine|FAbbildung,sogibtesgenaueinenMonoidho-D_momorphismrus꨿gË:URFƹ(X)!M+mitg=fG.r(5)à/|l22.D_SeienGundHzwreiGruppSen.E(G:z[HV)seidiefreieGruppeJyuberderD_disjunkten]dVVereinigungG[HV;]ddiekXanoniscrheEinbSettungbezeicrhnenD_wirmitIUR:G[HB!URE(G[HV)epD_Sei(NhderDurcrhschnitt(allerNormalteilervronE(Gn[HV),(diedieEle-D_menrtez(gn9g 0