In matematica, corrispondenza biunivoca tra due insiemi dotati di ‘strutture’, la quale conservi le strutture stesse. Le strutture sono di tre tipi: d’ordine, algebriche e topologiche, e si hanno perciò [...] di queste leggi. Due gruppi (due anelli, due corpi ecc.) tra i quali interceda una corrispondenza di i. si dicono isomorfi e sono considerati identici nell’algebra astratta, in quanto hanno le medesime proprietà algebriche. I. tra insiemi dotati di ...
Leggi Tutto
Curry-Howard, isomorfismo di
Curry-Howard, isomorfismo di corrispondenza fra dimostrazioni logiche e programmi informatici che si assume come nesso fra la logica e l’informatica teorica. In base a tale [...] isomorfismo, ogni prova della logica intuizionista corrisponde a un termine del λ-calcolo semplicemente tipato, che a sua volta può essere pensato come un programma. L’esecuzione di questo programma corrisponde al processo di eliminazione del taglio ...
Leggi Tutto
omomorfismo e isomorfismo, teoremi di
omomorfismo e isomorfismo, teoremi di in algebra, teoremi di teoria dei gruppi, riformulabili con opportune cautele nel contesto degli anelli e in quello degli spazi [...] di G; inoltre N è normale in HN, H ∩ N è normale in H e H /(H ∩ N) è isomorfo a HN /N.
Terzo teorema di isomorfismo (detto anche teorema sull’isomorfismo del quoziente doppio): se M e N sono due sottogruppi normali di G, con N contenuto in M, allora ...
Leggi Tutto
isomorfismo di gruppi, problema dell'
isomorfismo di gruppi, problema dell’ in algebra, problema posto nel 1908 da H. Tietze. Consiste nel chiedersi se esista un algoritmo che permetta di stabilire se [...] due gruppi definiti attraverso presentazioni finite siano isomorfi (→ gruppo). ...
Leggi Tutto
isomorfismo
iṡomorfismo s. m. [comp. di iso- e -morfismo]. – 1. In cristallochimica, il fenomeno per cui due o più sostanze che hanno analoga formula chimica (e simili dimensioni relative di anioni e cationi) si presentano in cristalli aventi...
isomorfico
iṡomòrfico agg. [der. di isomorfo] (pl. m. -ci). – 1. In botanica, nell’alternanza di generazione, detto delle due generazioni quando hanno aspetto e sviluppo eguale. 2. In matematica, relativo all’isomorfismo o a fenomeni di isomorfismo;...