Un near-ring est un ensemble N muni de deux opérations, une addition (+) faisant de (N, +) habituellement un groupe (ou au moins une structure de groupe) et une multiplication (·) associative, où une loi distributive tient (généralement la distributivité à droite : (a + b)·c = a·c + b·c) tandis que l'autre peut échouer ; la définition varie quant à l'exigence que l'addition soit un groupe ou seulement un monoïde.

Principe

Affaiblir les axiomes d'un anneau en relâchant la distributivité ou la commutativité additive de sorte que des multiplications de type composition s'accordent avec une addition n'obéissant pas nécessairement à toutes les identités d'anneau, permettant d'étudier des algèbres d'opérateurs plus générales.

Démonstration

L'ensemble de toutes les fonctions d'un groupe G dans lui-même, muni de l'addition point par point (f+g)(x)=f(x)+g(x) et de la composition comme multiplication (f·g)(x)=f(g(x)), forme un near-ring à droite : la composition distribue sur l'addition à droite mais pas nécessairement à gauche.

Mauvaise application

Supposer la distributivité bilatérale ou traiter tout near-ring comme un anneau conduit à des erreurs ; par exemple, appliquer des manipulations dépendant de la distributivité à gauche ou attendre que les idéaux bilatéraux se comportent comme ceux d'un anneau peut échouer.

Conséquence

Les near-rings modélisent des algèbres d'opérateurs et des semi-groupes de transformations où la distributivité unilatérale suffit ; ils englobent les endomorphismes de groupes et donnent lieu à des notions adaptées d'idéaux et de modules pour une distributivité à sens unique.

Inversion

Imposer les deux lois distributives et la commutativité additive ramène à la notion d'anneau ; supprimer l'associativité de la multiplication ou l'inversibilité additive donne des structures encore plus faibles.

Limite

Le terme 'near-ring' recouvre des variantes : near-rings unilatéraux (gauche ou droite), near-rings avec addition en groupe ou seulement en monoïde, et des structures où la multiplication est la composition plutôt qu'un produit bilinéaire. Nombre de résultats classiques sur les anneaux ne généralisent pas sans hypothèses supplémentaires.

Tension sémantique

Le near-ring se situe entre les anneaux et les algèbres non associatives : il affaiblit les axiomes d'anneau tout en conservant assez de structure pour étudier des transformations ; il est souvent confondu avec les anneaux parce que la notation et des exemples sont similaires, mais la distributivité essentielle peut manquer.

Synthèse

Un near-ring est une généralisation unilatérale d'un anneau où la multiplication s'articule avec une addition selon une seule loi distributive (et parfois des hypothèses additives relâchées), adaptée aux opérations dominées par la composition et dépourvues de linéarité bilatérale.