Notăm Q(√7)={a+b√7 | a.b€ Q}
Să se arate că:
a) (Q(√7), +) este grup comutativ
b) f:Q(√7)->Q(√7), f(a+b√7)=a-b√7 este automorfism de grupuri