bon soir,
on designe par A anneau commutatif .
on appelle bloc de l'anneau A une partie non vide B de A verifiant les deux axiomes:
§qq x,y,z dans B : x+y-z dans B
§qq x,y dans B,qq a dans A, existe x dans B: x+ay-az dans B
monter que (1) implique (2) est equivalent à:
qq x,y,z dans B, qq a dans A, x+ay-az dans B
-----