montrer que l'ensemble G des nombres réels qui s'écrivent sous la forme x+ racine de 3*y avec (x,y) appartenant à Z et x(carré) - 3y(carré)=1 forme un groupe pour la multiplication usuelle.

Je comprend mal l'énoncé, je n'arrive pas à montrer que la loi est interne: de quel ensemble on part ?
si vous savez comment résoudre cet exo , merci d'avance

a+ khirok