omomorfismo
omomorfismo [Der. di omomorfo] [ALG] Corrispondenza tra due insiemi provvisti di struttura algebrica dello stesso tipo (due anelli, due gruppi, ecc.) che rispetti le operazioni definite nei due insiemi; per es., se v'è corrispondenza tra gli elementi a, b, c del primo insieme e, ordinatamente, gli elementi a', b', c' del secondo, tale corrispondenza è un o. se all'operazione a+b=c corrisponde l'operazione a'+b'=c'; se la corrispondenza è realizzata dall'applicazione f si parla di o. indotto da f. ◆ [ALG] O. biiettivo: lo stesso che isomorfismo. ◆ [ALG] O. di abelianizzazione: v. topologia algebrica: VI 260 f. ◆ [ALG] O. modulare: v. algebre di operatori: I 100 a. ◆ [ALG] O. suriettivo: un o. che sia anche una suriezione (←). ◆ [ALG] Nucleo di un o.: v. topologia algebrica: VI 262 b. ◆ [ALG] Teorema fondamentale sugli o. tra gruppi: se f : G → G'è un o. tra i gruppi G e G' e si considera il nucleo Ker f (che è sempre un sottogruppo invariante di G), il gruppo quoziente G/Ker f risulta isomorfo all'immagine Imf e l'isomorfismo è realizzato dall'applicazione che associa a ogni classe di G/Ker f l'elemento che corrisponde, mediante f, a un qualsiasi elemento della classe stessa.