Ahoj,
mějme grupu G, její normální podgrupu H a faktorgrupu G/H. Existuje nějaká "standardní" operace, která z H a G/H vytvoří grupu F, která je izomorfní s G? Nabízí se např. přímý součin H a G/H, ale nejsem si jist, zda opravdu je izormorfní s G.
Díky za radu.
Offline