Pe (1, 2), avem urmatoarea lege de compozitie interna:
Trebuie sa analizam daca este sau nu asociativa.
Primul lucru pe care l-am facut a fost sa o rescriu ca:
Apoi m-am gandit la faptul ca -x-y+3 fiind asociativa, tot raportul este asociativ daca xy-x-y+1 este asociativa. Prin calcule am ajuns la concluzia ca xy-x-y+1 nu este asociativa. Este corect? Daca nu, exista o alta varianta in afara de a calcula pur si simplu (x*y)*z si x*(y*z)?
Nu este corect, faci niște afirmații lipsite de sens. Dar da, există și altă posibilitate.
un grup și f:G–>f(G) o funcție injectivă. Evident f este și surjectivă, și notând f(G)=H, există funcția inversă
.![Rendered by QuickLaTeX.com x\star y=f(f^{-1}(x)\circ f^{-1}(y))](https://anidescoala.ro/wp-content/ql-cache/quicklatex.com-c7ab4e2f07ced748c62935a832ec1a3d_l3.png)
![Rendered by QuickLaTeX.com x\star y=1+\frac{1}{1+\frac{(x-2)(y-2)}{(x-1)(y-1)}}](https://anidescoala.ro/wp-content/ql-cache/quicklatex.com-ffa95f25bd6d6ba0dfb0d41c3f460c9c_l3.png)
este grup, iar ![Rendered by QuickLaTeX.com f:G\rightarrow H,\;f(t)=\frac{t+2}{t+1}=1+\frac{1}{t+1}](https://anidescoala.ro/wp-content/ql-cache/quicklatex.com-b50096a0b5e3853aa5cc89832543414d_l3.png)
![Rendered by QuickLaTeX.com f^{-1}:H\rightarrow G,\;f^{-1}(x)=\frac{1}{x-1}-1=\frac{2-x}{x-1}](https://anidescoala.ro/wp-content/ql-cache/quicklatex.com-0567031a2a7749c9b94e4c11606a0687_l3.png)
![Rendered by QuickLaTeX.com x\star y=f(f^{-1}(x)\cdot f^{-1}(y))=f\left ( \frac{(2-x)(2-y)}{(x-1)(y-1)} \right )=1+\frac{1}{1+\frac{(2-x)(2-y)}{(x-1)(y-1)}}](https://anidescoala.ro/wp-content/ql-cache/quicklatex.com-89c72e033b25e7543bf5be5dcefbfa75_l3.png)
Fie
Cu aceste funcții definim pe H legea de compoziție
Nu e greu de arătat că (H, *) este grup izomorf cu grupul (G, o), deci, printre altele, operația * este asociativă, pentru că operația o este asociativă.
Dacă mai insistai puțin, ai fi obținut
Pentru G=(0, oo), H=(1, 2) se știe că
este o funcție strict descrescătoare și surjectivă si are inversa
Atunci operația
adică tocmai operația noastră, este asociativă pentru că înmulțirea pe G este asociativă.
Mi se parea mie ca ar fi prea simplu si lipsit de sens sa fie adevarata ideea mea. Nu am facut inca (izo)morfisme la clasa, dar ma voi uita peste ele si voi reveni daca nu inteleg ceva din rezolvare. Multumesc!