Vikipedio:Projekto matematiko/Tremo (matematiko)
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Tremo (matematiko) (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En matematiko, tremi estas orientita grafeo kie cikloj kaj multaj (sagoj, sagas) inter du verticoj estas permesita. Ili estas kutime uzita en prezenta teorio: prezento de tremi asignas vektora spaco al ĉiu vertico de la tremi kaj lineara surĵeto al ĉiu sago.
Se K estas kampo kaj Γ estas tremi, tiam la tremi algebro aŭ voja algebro KΓ estas difinita kiel sekvas: ĝi estas la vektoraj spacaj havantaj ĉiuj vojoj en la tremi kiel bazo; multipliko estas donita per komponaĵo de vojoj. Se du vojoj ne povas esti (verkita, komponita) ĉar la fina vertico de la unua estas ne egala al la startanta vertico de la (sekundo, dua), ilia (produkto, produto) estas difinita al esti nulo. Ĉi tiu difinas asocieca algebro super K. Ĉi tiu algebro havas unua ero se kaj nur se la tremi havas nur finie multaj verticoj. En ĉi tiu (kesto, okazo), la (moduloj, modulas) super KΓ estas (naive, krude, nature) (identigis, identigita) kun la prezentoj de Γ.
Se la tremi havas finie multaj verticoj kaj (sagoj, sagas) kaj la fina vertico kaj startanta vertico de (ĉiu, iu) vojo estas ĉiam klara, tiam KΓ estas finidimensia hereda algebro super K, kio estas (submoduloj, submodulas) de projekciaj moduloj super KΓ estas projekcia.
Vidu ankaŭ jenon:: tremi figuro.
