Study of a division-like property - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Study of a division-like property

Étude d'une propriété semblable à la divisibilité

Résumé

We introduce a weak division-like property for noncommutative rings: a nontrivial ring is fadelian if for all nonzero a, x there exist b, c such that x=ab+ca. We prove properties of fadelian rings, and construct examples of such rings which are not division rings, as well as non-Noetherian and non-Ore examples. Some of these results are formalized using the Lean proof assistant.
Nous introduisons une propriété de division faible pour les anneaux non-commutatifs : un anneau non-trivial est fadélien si pour tout a, x non nuls il existe b, c tels que x=ab+ca. Nous prouvons des propriétés des anneaux fadeliens, et construisons des exemples de tels anneaux qui ne sont pas des anneaux à division, ainsi que des exemples non-noethériens et non-Ore. Certains de ces résultats sont formalisés à l'aide de l'assistant de preuve Lean.
Fichier principal
Vignette du fichier
fadrings.pdf (441.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03952973 , version 1 (23-01-2023)

Identifiants

Citer

Robin Khanfir, Béranger Seguin. Study of a division-like property. 2023. ⟨hal-03952973⟩
26 Consultations
16 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More