Testing isomorphism of modules

被引：28
作者：
Brooksbank, Peter A. [1 ]
Luks, Eugene M. [2 ]
机构：
[1] Bucknell Univ, Dept Math, Lewisburg, PA 17837 USA
[2] Univ Oregon, Dept Comp & Informat Sci, Eugene, OR 97403 USA
来源：
JOURNAL OF ALGEBRA | 2008年 / 320卷 / 11期
关键词：
Matrix algebras; Modules; Polynomial-time algorithm; Weakly-closed set;
D O I：
10.1016/j.jalgebra.2008.07.014
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We present a new deterministic algorithm to test constructively for isomorphism between two given finite-dimensional modules of a finitely generated algebra. The algorithm uses only basic field operations; for arbitrary fields, this is not possible with the existing methodology. Furthermore, the number of field operations used by the algorithm is bounded by a polynomial in the length of the input. The algorithm has been implemented in the computer algebra system MAGMA and we report on its performance. Our approach has applications to other problems concerning decompositions of modules. (C) 2008 Elsevier Inc. All rights reserved.
引用
收藏
页码：4020 / 4029
页数：10
相关论文
共 12 条
  • [1] Anderson F. W., 1992, GRADUATE TEXTS MATH, V13
  • [2] The Magma algebra system .1. The user language
    Bosma, W
    Cannon, J
    Playoust, C
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (3-4) : 235 - 265
  • [3] Chistov A, 1997, P 1997 INT S SYMB AL, P68
  • [4] Finding the radical of an algebra of linear transformations
    Cohen, AM
    Ivanyos, G
    Wales, DB
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1997, 117 : 177 - 193
  • [5] MATRIX MULTIPLICATION VIA ARITHMETIC PROGRESSIONS
    COPPERSMITH, D
    WINOGRAD, S
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (03) : 251 - 280
  • [6] FROLICH A, 1955, R SOC LOND PHILOS A, V248, P407
  • [7] TESTING MODULES FOR IRREDUCIBILITY
    HOLT, DF
    REES, S
    [J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1994, 57 : 1 - 16
  • [8] Treating the exceptional cases of the MeatAxe
    Ivanyos, G
    Lux, K
    [J]. EXPERIMENTAL MATHEMATICS, 2000, 9 (03) : 373 - 381
  • [9] Jacobson N., 1962, Interscience Tracts in Pure and Applied Mathematics, Vvol 10, pp ix+331
  • [10] Determination of socle series using the condensation method
    Lux, K
    Wiegelmann, M
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2001, 31 (1-2) : 163 - 178
12