Bonsoir, je sèche sur une question à propos des réseaux. Voici ma définition : étant une base de , on appelle réseau engendré par l'ensemble . On note .
On me demande de prouver que peut toujours être engendré par une base avec . Je ne vois pas comment m'y prendre!
-----