vidu ankaŭ la klarigojn
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
          (E,∆_{1},∆_{2}, ...,∆_{n}) kaj (F,∇_{1},∇_{2}, ...,∇_{n}), la
          bild·ig·o f est·as tia, ke: (1) por ĉiu du·op·o de {intern·aj
          operaci·oj} ∆_{i} kaj ∇_{i} ver·as, ke f(x∆_{i}y) = f(x)∇_{i}f(y),
          kiu·j ajn est·as x, y∈E; (2) por ĉiu du·op·o de {ekster·aj operaci·oj}
          ∆_{k} kaj ∇_{k} (de la sam·a ar·o R super respektiv·e E kaj F)
          ver·as, ke f(α∆_{k}x) = α∇_{k}f(x), kiu·j ajn est·as x∈E kaj α∈R:
          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 G
          est·as dir·it·a est·i homomorfi·a al grafe·o H se est·as sur·ĵet·o
          (map·ad·o), nom·it·a homomorfi·o, de V(G) al V(H) tia, ke du vertic·oj
          est·as inter·a+pud·aj en G se ili·aj respektiv·aj vertic·oj est·as
          inter·a+pud·aj en H .
          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.20 2017/07/03 20:10:16 ]