From 3d9023fbe033a73756936799b47dda2236f0935f Mon Sep 17 00:00:00 2001 From: Hearot Date: Sat, 24 Sep 2022 19:22:38 +0200 Subject: [PATCH] fix(aritmetica): corregge il lemma 2.4.1 --- ...elazioni di equivalenza e applicazioni.tex | 4 ++-- Aritmetica/aritmetica.pdf | Bin 244640 -> 244649 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Aritmetica/2. Relazioni di equivalenza e applicazioni.tex b/Aritmetica/2. Relazioni di equivalenza e applicazioni.tex index 5307c65..e8c92b5 100644 --- a/Aritmetica/2. Relazioni di equivalenza e applicazioni.tex +++ b/Aritmetica/2. Relazioni di equivalenza e applicazioni.tex @@ -286,12 +286,12 @@ che $(A(S), \circ)$ è un gruppo: \end{lemma} \begin{proof} - Se $S$ consta di due elementi, $S$ possiede almeno tre elementi $s_1, s_2, s_3$, + Se $S$ consta di più di due elementi, $S$ possiede almeno tre elementi $s_1, s_2, s_3$, possiamo definire due applicazioni $\sigma$ e $\tau$ come segue: \begin{itemize} \item $\sigma(s_1) = s_2$, $\sigma(s_2) = s_3$, $\sigma(s_3) = s_1$. - \item $\tau(s_1) = s_1$, $\tau(s_2) = s_2$, $\tau(s_3) = s_3$. + \item $\tau(s_1) = s_1$, $\tau(s_2) = s_3$, $\tau(s_3) = s_2$. \item $\sigma(a) = \tau(a) = a \forall a \notin \{s_1, s_2, s_3\}$. \end{itemize} diff --git a/Aritmetica/aritmetica.pdf b/Aritmetica/aritmetica.pdf index 47a9e14cb05f3872772fb7212493fd3d89cde56a..a809f7ea23ab6007362fe13e1dfd66ac1e3b94c4 100644 GIT binary patch delta 3657 zcmai03piC-8^#_@RMJgFoiQ2>nyJ0lzO1!X8XPJ|VV-C(G~K9EKP7aNJq`X0MRc0o zlu@K4Bdu}3)RzYq8h2Fe=$vsb$XuvJkNR7-tYO=THp7s_j}jb_1q}y zxl!JkC_Mqm=NIT&NteA6!0UXMNv8yNlj2&JXR z<`z}tx`63%7Fk8ES6v%Ze=-TY+jjPk;sVY-+0{G)e&x6_VYF6n3~n6%}p2o=j8Rz3)(X8ovmEl_H=_3G3;hb@sv!- zNpoS@q#Y5R-1w%MaSJ2XPTWyCp}32E^Vj|DSGO-e!5OP-iyCvnEQV)1`zz1iPvzCX z+AcM{sU9}rP)+h>n*`@%^|RSJG5_74y=0-OWmuG`q4=l zp)Nv-MfvpG9c79#{cjw7gJ7tYyK~CL@9YR)|< z_CL};rh4gvTAL)7@Owc!4;ENF@muren`2?iKAWnkjjJxvxAvqRS`TVs)=R4jy!VQ) z+hoo+Gj&^r&hm{f6WkNxPJP1gE{CVY3|!jJC(CQwml+@Bf4n~bW9tD9^~=o_mZLWQ zbTFFNltj1LZc~(>H_n}OrBe0VCe@IjQC4T_y3$U)s=Tz@4{Y{%*2YYIJajyztXFEL z4sfF*W7nMwXM&oMd!*(AZ@?% zOnTH|7pE=ddCx?u;=o#+P+R%M=A2)zMfz@yyby3afFEq^ni4p<&!v4UE-xxqJdKz$ zSTTQ6AXjXAa{isKR#gmAI5znzIoIl`m8)kK-Z<7brv2WYdNY03@b-W$W;NkQImugN za?8^6bllyp_U}v@><;|g?o%;F>9u|3p2bn#g{E%RDa{&Zh2C71X}Z5)Qq_k~O9?5Q zou)r;hT|BsZ+GX?9=mhKDRTlG>S{O6_C8VCxM-JBxUw>-q{2JX$ZzGXyH~b(+4x$46KsTs~^EuIaXATWjq2 zJ8n}7uTI7kNKm&Hy!nPT^h74zm&)w;WIw5Wc#~>^xaUloDbVS7hRW% zF5GxAeNKIm-OME9^W^3-6F&Jv7-ZOBDzpQ3Di;5co{Xl7}}g^ z9qef|>{#HvP@UIheqvN!$D6LWWVyzsecOWmn%fh8Eb#Q%n0@4Ipk3#SQufA(v_6TW z4Tq1s(h>d#db0H3wAj|yOXh>J4#URQs#rOH6*VL(K6XQVtSYi6#Hp{{=VB{s;Bc67&dt{;9Z+|x~$iCg9z{}a)Bge?EdfuU|%Es>^ zEAPmrW>An8In+FN783C+fKV$DR$v7p4$z3vN{)f@`NPx@ieZ49olDKL5jkQS%hBYPG%L`U z3z$dEGhxY+0OA?8I5&^7)73+$_;Ef}rE5bLNn=)MVkesAM1hr?3#hRYNfeG}IJS3Y z7~_F9CVW6KkmI%HLP!vVtHS5k6DR#kf&w6q83(eQR`LS-fjFMkN>G4ED;WVXy^@iz z`dP@l&E{XpKnC>+?1@7xAs3oOJWWV~W<>^QZ7f28>@R%WNFuZ57`k_ccw>$c1g$tM zGD2fC2RJ~8gywNCk#Rg^(OXufcMgE#AW1c(MUiL%8X_QQV?0Avhx-kZahMpfcO2$l zL;~s!c4HzbT84%kL(qybfhXu^0ODw3V~iovE*Mq>94+-$D+YN$F32H)Cg^84gvc(z zA`(SHGYl^Pt@W^Byz4sYtpPIvRt+I8>_mVj&J$xCBr(K8vK6s<0Zk?&vRFyI3zis> z6-f01Oe-QP#&V-cS^!~Z`XfI)5gS%_~*a$_iv z_W_=Z7^3X}i)f&=F~YpQTTklw`+);FNc1+wc+z|@1{p0D5LVZ_1^-zOA?=N^xX8GV zuuZY@n;T+qwOyyRJZf+< zAFfboGlFC<*R~L^cuie-j~#gC{+t#IVritKzVFy$zZAC_j*6MqaPs?Q*Hv+gh`np& zKaYFeW}Oh=wSBSo?-u_~N%JfX3x^#+gCOZQdi={i%p4JKG)BU8kkh zR2}f9wIi#`YTStZjg1x0qm=b_*L}wyI#(OBpNvtN)+vjB+wAk?T3vg`e_f&*cHjNE zIxfZSvVW^d^40i~=@D{qn`~*;$y3*kWt=yPFFaiMYSP?Lvj?-a68p}GHXNj9s^$8~ zSTVY+N3Uy3rPrbpx2yIh9t(9 zNaK>>-+I@0SFelgUestBvm-{-x47H5^>Kd>@M5}W&An?SXB_nwM0&{r`zl_ZX0>K6zp-@o$UuuHhHX>KV`q(IMogF$+v$C= zboe9YSvx8QP{HB(WA6#hbv)!-g$6sfN~~fza}=Q&cot|yeif((sHZe zk~wuP^*1*TPpSy_dXimO*ghkf?RqYMo||88leboJb@0QGw*k&s|9Uj-%&Tt$Z2Q~4 z>g$&BV0d&z+@9De?nftQS?R%+B`yx)oB4^&$46fcYwfT)w7o1)Nr|ub)>=f?nd=Tr z3VP5YuUap^{M9`-t(Cb;+WY1G<^x={YhHd=KIClrn62jD-%m=?yAuThzRBv?Z67@P z=s<5}o0V3rwOfB1_K;3|_*bsS{;|uWXGCYLd#3Tivc}n74aRqWT>f|Cubr>&e`pZ+ zP#i?P*wP`)E-q}Br#d~J5Y5S4PO;OE*sUuam;8F}gnu4ceQ*`yp7uvOcgtkgn0)I2 zDTJ?Y#pBuoCZYS3`>ama|IyOdt(~q)ZLxIEbx+Nir}v+6YlN_8R#C?r3X}zvC-p9e z2ESSxaj~l8_-@iAvCOZyX2o((YP0G_rHlIualOULVG9eI-Dg%7Mp^b>e1m!!1QvwoY*V5GbGgdqV~rbsuJ*eA2)AQnOiBrjkZpjlEwqc~cS9_A7L zBH*!j2sl z$Wb5M{KX81P8Ht?#{;aWNXXNIhG~JKG!hFOgB1x$qs$`inx@F!4v|5cVi}D%REk(7 zk~E+xtVl?PBUwC-;UM>cs`zO(pg0ys&5;6+wF-$KFq#@e;=2<_fyLtl3h=$-5PyMZ z@%~Y##fz3AIhw?%0B;ijNHk7+lR=t*&j5g4 z#!&HsJ}hSxDQbyiH&`5)!dPEr5>