Sistema di Eulero

In matematica, un sistema di Eulero è un dispositivo tecnico della teoria dei , utilizzato per la prima volta intorno al 1990 da nel suo lavoro sui sulle . Questa nozione successivamente è stata oggetto di assiomatizzazione, in particolare per opera di Barry Mazur e Karl Rubin. L'utilizzo dei sistemi di Eulero trova una motivazione nel fatto che si ha ragione di credere che essi derivino essenzialmente dalla e abbiano la capacità di 'controllare' o limitare i , in svariati contesti.Secondo idee generalmente accettate, tale controllo è una caratteristica delle funzioni L attraverso valori che assumono in punti particolari. Pregio dei sistemi di Eulero è quello di poter funzionare come analoghi del di un sillogismo categorico, collocandosi fra la conoscenza delle L-funzioni che sembrano svolgere un ruolo profondo e i gruppi di Selmer che costituiscono l'oggetto di studio diretto nella .La teoria dei sistemi di Eulero è tuttora in corso di sviluppo; essenzialmente si pensa che si applichi alle estensioni abeliane, organizzate in torri infinite e ai loro gruppi di Galois . Si suppone che il concetto di sistema di Eulero nasconda una idea di sistema coerente di classi di coomologia in una delle suddette torri, rispetto ad alcune applicazioni che comportano cambiamenti di livello del tipo generale delle in presenza di un . L'idea di sistema di Eulero ha costituito una componente inizialmente celebrata ma poi abortita della dimostrazione dell'ultimo teorema di Fermat da parte di Andrew Wiles.L'uso di un sistema di Eulero ha caratterizzato l'approccio iniziale, ma non è riuscito a mantenere le sue promesse.