homomorfi⁽⁺⁾·/·o

homomorfi⁽⁺⁾·o

          Tia {bild¹·ig·o} inter⭑ du⭑ sam⭑+spec⭑·aj {struktur¹·oj} , ke⭑ ĝi ia+senc⭑·e
          „respekt⭑·as“ ili·n. Pli⭑ preciz⭑·e, se⭑ oni sign⭑·as la⭑ struktur¹·ojn per⭑
           kaj⭑  ,
          la⭑ bild¹·ig·o  est⭑·as tia, ke⭑: (1) por⭑ ĉiu du⭑·op·o de⭑ {intern⭑·aj
          operaci¹·oj}  kaj⭑  ver⭑·as, ke⭑  , kiu·j ajn⭑ est⭑·as  ; (2) por⭑ ĉiu du⭑·op·o de⭑
          {ekster⭑·aj operaci¹·oj}  kaj⭑  (de⭑ la⭑ sam⭑·a ar⭑·o 
          super⭑ respektiv²·e  kaj⭑  ) ver⭑·as, ke⭑  , kiu·j ajn⭑ est⭑·as  kaj⭑  : grup⭑·a , ring⭑·a,
          modul¹·a, vektor(spac)a homomorfi⁽⁺⁾·o; la⭑ bild¹·o per⭑ grup⭑·a homomorfi⁽⁺⁾·o
          de⭑ la⭑ neŭtr²·a element¹·o de⭑ la⭑ font⭑·o-ar⭑·o est⭑·as la⭑ neŭtr²·a element¹·o
          de⭑ la⭑ cel⭑·o-ar⭑·o; en⭑ la⭑ lingv⭑·o de⭑ abstrakt¹·a algebr¹·o, linear⁽⁺⁾·a
          bild¹·ig·o est⭑·as homomorfi⁽⁺⁾·o de⭑ vektor⁽⁺⁾·aj spac⭑·oj . {izomorfi⁽⁺⁾·o} ,
          {endomorfi⁽⁺⁾·o} , {aŭtomorfi⁽⁺⁾·o} ; {linear⁽⁺⁾·a} ; Atribut³·oj de⭑
          homomorfi⁽⁺⁾·o: {bild¹·ar·o} , {kern⭑·o} ; atribut³·oj de⭑ vektor⁽⁺⁾·a
          homomorfi⁽⁺⁾·o: {matric⁹·o} , {rang⭑·o} .

homomorfi⁽⁺⁾·a

   1.
          (p.p. du⭑ {algebr¹·aj struktur¹·oj} ) Tia·j, ke⭑ ekzist⭑·as {homomorfi⁽⁺⁾·o}
          de⭑ unu⭑ al⭑ la⭑ ali⭑·a: pruv⭑·u la⭑ homomorfi⁽⁺⁾·ec·on de⭑ la⭑ grup⭑·o de⭑ eben⭑·aj
          {rotaci⁹·oj} kun⭑ la⭑ grup⭑·o de⭑ {kompleks⁽⁺⁾·oj} kun⭑ modul¹·o unu⭑; grafe⁽⁺⁾·o
           est⭑·as dir⭑·it·a est⭑·i homomorfi⁽⁺⁾·a al⭑ grafe⁽⁺⁾·o  se⭑ est⭑·as sur·ĵet⭑·o
          (map⁸·ad·o), nom⭑·it·a homomorfi⁽⁺⁾·o, de⭑  al⭑  tia, ke⭑ du⭑
          vertic⁸·oj est⭑·as inter⭑~apud⭑·aj en⭑  se⭑ ili⭑·aj respektiv²·aj vertic⁸·oj
          est⭑·as inter⭑~apud⭑·aj en⭑  .

          Rim.: Por⭑ ĉi⭑ tiu senc⭑·o ekzist⭑·as kutim⭑·a sinonim¹·o „hom⭑-om⁽⁺⁾-orf⭑·a“.

   2.
          (p.p. {bild¹·ig·o} ) Hav⭑·ant·a ec⭑·ojn de⭑ {homomorfi⁽⁺⁾·o} .

   [artikol⭑-versi⁹·o: 1.24 2023/11/15 17:08:01 ]
     __________________________________________________________________