An Algorithmic Solution of a Birkhoff Type Problem

• Autorzy: Simson D. , Wojewódzki M.
• Języki publikacji: EN

Abstrakty

EN

We give an algorithmic solution in a simple combinatorial data of Birkhoff?s type problem studied in [22] and [25], for the category repft(I, K[t]/(tm)) of filtered I-chains of modules over the K-algebra K[t]/(tm) of K-dimension m < ?, where m ^(3) 2, I is a finite poset with a unique maximal element, and K is an algebraically closed field. The problem is to decide when the indecomposable objects of the category repft(I, K[t]/(tm)) admit a classification by means of a suitable parametrisation. A complete solution of this important problem of the modern representation theory is contained in Theorems 2.4 and 2.5. We show that repft(I, K[t]/(tm)) admits such a classification if and only if (I, m) is one of the pairs of the finite list presented in Theorem 2.4, and such a classification does not exist for repft(I, K[t]/(tm)) if and only if the pair (I, m) is bigger than or equal to one of the minimal pairs of the finite list presented in Theorem 2.5. The finite lists are constructed by producing computer accessible algorithms and computational programs written in MAPLE and involving essentially the package CREP (see Section 4). On this way the lists are obtained as an effect of computer computations. In particular, the solution we get shows an importance of the computer algebra technique and computer computations in solving difficult and important problems of modern algebra.

Słowa kluczowe

EN

poset; indecomposable linear representations; Birkhoff type problem; chains of vector spaces with linear operators; tame representation type; classification problems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 83, nr 4
• Strony: 389--410
• Opis fizyczny: bibliogr. 28 poz., wykr.

Twórcy

autor

Simson D.

autor

Wojewódzki M.

• Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Toruń, Poland,

Bibliografia

• [1] D. M. Arnold, Abelian Groups and Representations of Finite Partially Ordered Sets, Canad. Math. Soc. Books in Math., Springer-Verlag, New York Berlin Heidelberg, 2000.
• [2] D. Arnold and D. Simson, Endo-wild representation type and generic representations of finite posets, Pacific J. Math., 219(2005), 1-26.
• [3] D. Arnold and D. Simson, Representations of finite partially ordered sets over commutative artinian uniserial rings, /. Pure Appl. Algebra, 205(2006), 640-659.
• [4] D. Arnold and D. Simson, Representations of finite posets over commutative discrete valuation rings, Comm. Algebra, 35(2007), 3128-3144.
• [5] I. Assem, D. Simson and A. Skowroriski, Elements of the Representation Theory of Associative Algebras, Volume 1. Techniques of Representation Theory, London Math. Soc. Student Texts 65, Cambridge Univ. Press, Cambridge-New York, 2006.
• [6] G. Birkhoff, Subgroups of abelian groups, Proc. London Math. Soc, 38(1934), 385-401.
• [7] Ju. A. Drozd, Matrix problems and categories of matrices, in Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 28(1972), pp. 144-153 (in Russian).
• [8] Ju. A. Drozd, Tame and wild matrix problems, in "Representations and Quadratic Forms ", Akad. Nauk USSR, Inst. Matem., Kiev 1979, 39-74 (in Russian).
• [9] P. Gabriel, Indecomposable representations II, Symposia Mat.Inst. Naz. Alta Mat., 11(1973), 81-104.
• [10] L. A. Nazarova, Partially ordered sets of infinite type, Izv. Akad. Nauk SSSR, 39(1975), 963-991 (in Russian).
• [11] J. A. de la Pefla and D. Simson, Prinjective modules, reflection functors, quadratic forms and Auslander-Reiten sequences, Trans. Amer. Math. Soc, 329(1992), 733-753.
• [12] V. V. Plahotnik, Representations of partially ordered sets over commutative rings, Izv. Akad. Nauk SSSR, 40(1976), 527-543 (in Russian).
• [13] F. Richman and E. Walker, Subgroups of p5 bounded groups, in "Abelian Groups and Modules", Birkhauser, Boston, 1999, pp. 55-74.
• [14] CM. Ringel and M. Schmidmeier, Invariant subspaces ofnilpotent linear operators, I, Preprint, Bielefeld, 2006, arXiv: arxiv org/abs/math/0605664.
• [15] D. Simson, Linear Representations of Partially Ordered Sets and Vector Space Categories, Algebra, Logic and Applications, Vol. 4, Gordon & Breach Science Publishers, 1992.
• [16] D. Simson, On representation types of module subcategories and orders, Bull. Pol. Acad. Set, Ser. Math., 41(1993), 77-93.
• [17] D. Simson, Socle projective representations of partially ordered sets and Tits quadratic forms with application to lattices over orders, in Proceedings of the Conference on Abelian Groups and Modules, Colorado Springs, August 1995, Lecture Notes in Pure andAppl. Math., Vol. 182, 1996, pp. 73-111.
• [18] D. Simson, Prinjective modules, propartite modules, representations of bocses and lattices over orders, J. Math. Soc. Japan, 49(1997), 31-68.
• [19] D. Simson, Tame three-partite subamalgams of tiled orders of polynomial growth, Colloq. Math., 81(1999), 237-262.
• [20] D. Simson, A reduced Tits quadratic form and tameness of three-partite subamalgams of tiled orders, Trans. Amer. Math. Soc. 352(2000), 4843-4875.
• [21] D. Simson, Cohen-Macaulay modules over classical orders, Lecture Notes in Pure and Appl. Math., Vol. 210, 2000, Marcel-Dekker, pp. 345-382.
• [22] D. Simson, Chain categories of modules and subprojective representations of posets over uniserial algebras, Rocky Mountain J. Math., 32(2002), 1627-1650.
• [23] D. Simson, An endomorphism algebra realisation problem and Kronecker embeddings for algebras of infinite representation type, J. Pure Appl. Algebra, 172(2002), 293-303.
• [24] D. Simson, On Corner type Endo-Wild algebras, /. Pure Appl. Algebra, 202(2005), 118-132.
• [25] D. Simson, Representation types of the category of subprojective representations of a finite poset over K[t}/{tm) and a solution of a Birkhoff type problem, J. Algebra, 311(2007), 1-30.
• [26] D. Simson and A. Skowroński, "Elements of the Representation Theory of Associative Algebras", Volume 2. Tubes and Concealed Algebras of Euclidean Type, London Math. Soc. Student Texts 71, Cambridge Univ. Press, Cambridge-New York, 2007.
• [27] D. Simson and A. Skowroński, Elements of the Representation Theory of Associative Algebras, Volume 3. Representation-Infinite Tilted Algebras, London Math. Soc. Student Texts 72, Cambridge Univ. Press, Cambridge-New York, 2007.
• [28] A. G. Zavadskij and V. V. Kirichenko, Semimaximal rings of finite type, Mat. Sbornik, 103(1977), 323-345 (in Russian).