Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Lezione 11/10/23] Esercizio 1 #18

Closed
Elia-Belli opened this issue Oct 11, 2023 · 1 comment
Closed

[Lezione 11/10/23] Esercizio 1 #18

Elia-Belli opened this issue Oct 11, 2023 · 1 comment
Labels
da revisionare Almeno una possibile soluzione pubblicata

Comments

@Elia-Belli
Copy link
Member

Elia-Belli commented Oct 11, 2023 •
edited

Esercizio 1: Dimostrare che l'operazione di somma su $\mathbb{Q}$ è ben definita, ovvero non dipende dalla scelta dei rappresentati delle classi.
Definizione $+:= [(a,b)]+[(a',b')]=[(ab'+b'a,bb')]$

Quindi dimostrare: $(a,b) \rho (c,d) \land (a',b')\rho (c',d') \Rightarrow (ab'+ba',bb') \rho (cd'+dc',dd')$
@Elia-Belli Elia-Belli added the da risolvere Nessuna soluzione pubblicata label Oct 11, 2023
@CiottoloMaggico
Copy link

image

@Elia-Belli Elia-Belli added da revisionare Almeno una possibile soluzione pubblicata and removed da risolvere Nessuna soluzione pubblicata labels Oct 12, 2023
@Elia-Belli Elia-Belli mentioned this issue Oct 13, 2023
Closed
@sapienzastudentsnetwork sapienzastudentsnetwork locked and limited conversation to collaborators Dec 15, 2023
@Elia-Belli Elia-Belli converted this issue into discussion #165 Dec 15, 2023

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
da revisionare Almeno una possibile soluzione pubblicata
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@CiottoloMaggico @Elia-Belli