Overring
En matemáticas, un B sobrepuesto de un dominio integral A es un subanillo del campo de fracciones K de A que contiene A : es decir ,. [1] Por ejemplo, una superposición de los números enteros es un anillo en el que todos los elementos son números racionales , como el anillo de los racionales diádicos .
Un ejemplo típico lo da la localización : si S es un subconjunto de A multiplicativamente cerrado , entonces la localización S −1 A es una superposición de A. Se dice que los anillos en los que cada superposición es una localización tienen la propiedad QR; incluyen los dominios Bézout y son un subconjunto de los dominios Prüfer . [2] En particular, cada superposición del anillo de números enteros surge de esta manera; por ejemplo, los racionales diádicos son la localización de los números enteros por las potencias de dos .