## [Anillo Conmutativo](/es/node/61451) Definición Un anillo (grupo aditivo abeliano equipado con una multiplicación) en el que la multiplicación es conmutativa; muchos autores suponen también la existencia de una identidad multiplicativa (1 ≠ 0). ## Principio Principio La regla organizadora es ab = ba para todos los elementos a y b, de modo que ideales, anillos cociente y construcciones polinómicas se comportan coherentemente cuando la multiplicación no depende del orden. ## Demostración Demostración Los enteros Z con las operaciones usuales forman un anillo conmutativo con unidad; los anillos de polinomios R[x] sobre un anillo conmutativo R son conmutativos, y cálculos como (x+1)(x-1)=x^2-1 ilustran la independencia del orden. ## Aplicación incorrecta Aplicación incorrecta Tratar todo anillo conmutativo como si fuera un dominio entero o un cuerpo; por ejemplo, asumir cancelación en Z/6Z omite los divisores de cero 2·3 = 0. ## Consecuencia Consecuencia La conmutatividad permite desarrollar la teoría de ideales, el espectro de ideales primos y muchas herramientas de geometría algebraica y teoría de números que dependen de la multiplicación simétrica. ## Inversión Inversión Un anillo no conmutativo (por ejemplo, el anillo de matrices n×n para n≥2) invierte la condición: la multiplicación no puede intercambiarse sin alterar los productos y muchas técnicas conmutativas dejan de ser aplicables. ## Límite Límite El ámbito incluye anillos con o sin unidad según la convención; quedan excluidos los anillos cuya multiplicación no sea conmutativa o cuya estructura aditiva no sea abeliana. ## Tensión semántica Tensión semántica Existe tensión entre definiciones que exigen unidad y las que no, y entre el término genérico 'anillo' (que puede ser no conmutativo) y el adjetivo 'conmutativo' que impone simetría en la multiplicación. ## Síntesis Síntesis Un anillo conmutativo es la estructura algebraica donde la adición es abeliana y la multiplicación simétrica, proporcionando el contexto para ideales, factorización y construcciones geométricas, al tiempo que admite divisores de cero y diversas especializaciones.