Dominio de integridad

Un dominio de integridad, dominio íntegro, anillo íntegro, dominio entero[1] es un anillo que carece de elementos divisores de cero por la izquierda y de elementos divisores de cero por la derecha (con lo cual carece de elementos divisores de cero).

Un subanillo de un dominio de integridad es también un dominio de integridad.

En la literatura "antigua" se exige (a veces se sobreentiende) que el anillo es conmutativo y unitario, porque se ignoraba la existencia de anillos no conmutativos que no tuvieran divisores de cero (por la izquierda o por la derecha). Los dominios de Mal'cev son un tipo de anillos no conmutativos que carecen de elementos divisores de cero (ni por la izquierda ni por la derecha). Respecto a dominios íntegros no unitarios, el conjunto es un subanillo no unitario del dominio de integridad . En este artículo, un dominio íntegro será siempre un anillo conmutativo y unitario (ya que así se entiende en la mayor parte de la literatura, señalándose los casos en que no se adopta estos criterios).

Todo cuerpo es dominio de integridad conmutativo y unitario. Más en general, todo anillo de división es dominio de integridad unitario.

Ejemplos

  1. [2]
  2. siendo Z[i] = {r+si/ r, s están en Z} es un dominio entero llamado anillo de los enteros de Gauss.
  3. siendo sus elementos los números reales con números enteros
  4. siendo sus elementos los números complejos con números enteros, i, unidad imaginaria.
  5. siendo sus elementos los números reales con números enteros.[3]
Other Languages
čeština: Obor integrity
Esperanto: Integreca ringo
français: Anneau intègre
日本語: 整域
한국어: 정역
Nederlands: Integriteitsdomein
norsk nynorsk: Integritetsområde
slovenčina: Obor integrity
中文: 整环