Given a module M over an algebra Λ and a complete set 𝓧 of pairwise nonisomorphic indecomposable Λ-modules, the problem of determining the vector $m(M) = (m_X)_{X∈ 𝓧} ∈ ℕ ^{𝓧}$ such that $M ≅ ⨁ _{X∈ 𝓧} X^{m_X}$ is studied. A general method of finding the vectors m(M) is presented (Corollary 2.1, Theorem 2.2 and Corollary 2.3). It is discussed and applied in practice for two classes of algebras: string algebras of finite representation type and hereditary algebras of type $𝔸̃_{p,q}$. In the second case detailed algorithms are given (Algorithms 4.5 and 5.5).
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Given a pair M,M' of finite-dimensional modules over a domestic canonical algebra Λ, we give a fully verifiable criterion, in terms of a finite set of simple linear algebra invariants, deciding if M and M' lie in the same orbit in the module variety, or equivalently, if M and M' are isomorphic.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Given a module M over a domestic canonical algebra Λ and a classifying set X for the indecomposable Λ-modules, the problem of determining the vector $m(M) = (m_{x})_{x∈X} ∈ ℕ^{X}$ such that $M ≅ ⨁_{x∈X} X_{x}^{m_{x}}$ is studied. A precise formula for $dim_{k} Hom_{Λ}(M,X)$, for any postprojective indecomposable module X, is computed in Theorem 2.3, and interrelations between various structures on the set of all postprojective roots are described in Theorem 2.4. It is proved in Theorem 2.2 that a general method of finding vectors m(M) presented by the authors in Colloq. Math. 107 (2007) leads to algorithms with the complexity $𝒪((dim_{k} M)⁴)$. A precise description of algorithms determining the multiplicities $m(M)_{x}$ for postprojective roots x ∈ X is given (Algorithms 6.1, 6.2 and 6.3).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.