suriettivosuriettivo [Der. del fr. surjectif] [ALG] Applicazione, o funzione, s., o suriezione: applicazione da un insieme A a un insieme B in cui ogni elemento di B sia immagine di almeno un elemento [...] di A: v. topologia algebrica: VI 259 f ...
Leggi Tutto
In matematica, lo stesso che omomorfismo suriettivo: omomorfismo tra due insiemi A e A′, in cui l’immagine di A coincide con A′ (➔ omomorfismo). ...
Leggi Tutto
Corrispondenza tra due insiemi dotati di struttura algebrica, che sia comparabile con le operazioni definite negli insiemi.
Dati due insiemi A e A′ provvisti di una struttura algebrica dello stesso tipo [...] definita) del nucleo non superi la differenza tra la dimensione di A′ e quella di A. Si chiama infine isomorfismo un o. che sia contemporaneamente iniettivo e suriettivo.
Se f è un o. tra A e A′ e g è un o. tra A′ e A″, si ottiene un nuovo o. h tra A ...
Leggi Tutto
struttura di spin
Luca Tomassini
Un fibrato principale π∼:P∼→M su una varietà n-dimensionale M con gruppo di struttura Spinn che sia ottenuto come ricoprimento di un qualche fibrato principale π [...] →M con gruppo di struttura SOn, la componente connessa all’identità del gruppo ortogonale. Questo significa che esiste un omomorfismo suriettivo φ:P∼→P di fibrati principali uguale all’identità sulla base M e compatibile con l’omomorfismo naturale ϱ ...
Leggi Tutto
gruppi di coomologia dei fasci
Fabrizio Andreatta
Sia X uno spazio topologico. Dato una fascio F di gruppi abeliani su X, sia H0(X,F) il gruppo abeliano delle sezioni globali di F su X. Il funtore che [...] . Tale funtore non è però esatto a destra, ovvero se f è un morfismo suriettivo l’applicazione indotta H0(X,F)→H0(X,F) non è in generale suriettiva. Nella sua formulazione più matura in termini di funtori derivati universali, dovuta ad Alexander ...
Leggi Tutto
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 [...] 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 ...
Leggi Tutto
sizigie
Francesco Amaldi
Sia R un anello commutativo noetheriano con unità. Sia M un modulo su R e sia dato un numero finito di generatori come R-modulo. Poiché R è noetheriano, l’R-modulo delle relazioni [...] R sia l’anello dei polinomi su k in tante indeterminate quanti sono i generatori dati di M. Si ha un omomorfismo suriettivo f:R→M di k-algebre che manda un’indeterminata nel generatore corrispondente. In tal caso la determinazione delle sizigie prime ...
Leggi Tutto
modulo proiettivo
Luca Tomassini
Classe di tutti i moduli su un fissato anello A con omomorfismi di moduli come morfismi (frecce) forma una categoria abeliana, usualmente indicata con i simboli A-mod [...] di moduli proiettivi è fornito dai cosiddetti moduli liberi. Ogni A-modulo è inoltre immagine per un morfismo suriettivo (epimorfismo) di un A-modulo proiettivo. I moduli proiettivi sono dunque in un senso specifico universali.
→ Geometria non ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] quoziente abeliano massimale GQab di GQ. In particolare, dall'inclusione di Q(ζm) in Q(ζ∞) si ottiene per ogni m un omomorfismo suriettivo
ρm : GQ→GL1(Z/mZ).
Diremo che ρm è una rappresentazione galoisiana di GQ in GL1 e che Q(ζm) è un'estensione di ...
Leggi Tutto
suriettivo
(o surgettivo) agg. [adattam. del fr. surjectif, der. di surjection «suriezione»]. – In matematica, applicazione (o funzione) s. da un insieme E in un insieme F, applicazione nella quale ogni elemento di F sia immagine di almeno...
suriezione
suriezióne (o surgezióne) s. f. [adattam. del fr. surjection, comp. di sur- «sur-» e -jection di injection «iniezione»]. – In matematica, lo stesso che applicazione suriettiva (v. suriettivo).