j'ai un pb pour montrer que les lois suivantes sont biens définies :

on a E(barre) (je sais pas cmt le taper au clavier dsl) donc E(barre) = l'ensemble des classes d'éq de R, R= { (u,v) appartenant à E² tel que u-v appartienne à F} , F sev de E.
u(barre) = cl(u) un élément de E(barre)

les lois sont
u(barre) + v(bar) = (u+v)(bar)  
et lambda.u(bar) = (lambda.u)(bar)

et pourquoi E(bar) muni de ces lois est un ev sur K ?


est-ce que qqun peut m'aider svp
merci d'avance