Ein Ring (abelsche additive Gruppe mit einer Multiplikation), bei dem die Multiplikation kommutativ ist; viele Autoren setzen zusätzlich ein multiplikatives Einselement (1 ≠ 0) voraus.

Prinzip

Die ordnende Regel ist ab = ba für alle Elemente a und b, sodass Ideale, Faktorringe und Polynomkonstruktionen kohärent unter einer multiplikativen Vertauschbarkeit arbeiten.

Demonstration

Die ganzen Zahlen Z mit den üblichen Operationen bilden einen kommutativen Ring mit Eins; Polynomringe R[x] über einem kommutativen Ring R sind kommutativ, und Rechnungen wie (x+1)(x-1)=x^2-1 zeigen die Ordnungsunabhängigkeit.

Fehlanwendung

Jeden kommutativen Ring wie einen Integritätsbereich oder Körper zu behandeln; etwa die Annahme, in Z/6Z gelte die Kürzbarkeit, vernachlässigt die Nullteiler 2·3 = 0.

Konsequenz

Kommutativität ermöglicht die Entwicklung der Idealtheorie, des Spektrums der Primideale und vieler Werkzeuge der algebraischen Geometrie und Zahlentheorie, die auf symmetrischer Multiplikation beruhen.

Umkehrung

Ein nichtkommutativer Ring (z. B. die Matrixringe n×n für n≥2) kehrt die Bedingung um: Multiplikation ist nicht beliebig vertauschbar, und viele kommutative Techniken versagen.

Abgrenzung

Der Umfang schließt Ringe mit oder ohne Eins je nach Konvention ein; ausgeschlossen sind Ringe, deren Multiplikation nicht kommutativ ist oder deren additive Struktur nicht abelsch ist.

Semantische Spannung

Spannung besteht zwischen Definitionen, die eine Eins verlangen, und solchen, die dies nicht tun, sowie zwischen dem allgemeinen Begriff ‚Ring‘ (auch nichtkommutativ) und dem Zusatz ‚kommutativ‘.

Synthese

Ein kommutativer Ring ist die algebraische Struktur, in der Addition abelsch und Multiplikation symmetrisch ist; er bildet die Grundlage für Ideale, Faktorisierungen und geometrische Konstruktionen, erlaubt jedoch auch Nullteiler und verschiedene Spezialisierungen.