Le résultat suivant est bien connu en algèbre linéaire (Théorème de la base incomplète): toute famille libre (finie) d'un espace vectoriel peut être complétée en une base. Nashier et Nichols (1991) appellent un anneau A faiblemet semi-Steinitz à gauche si tout système linéairement Indépendant fini, d'un A-module à gauche libre (de type fini) F, peut être augmenté en une base de F...