A fast isomorphism test for groups whose Lie algebra has genus 2

被引：25

作者：

Brooksbank, Peter A. ^{[1
]}

Maglione, Joshua ^{[2
]}

Wilson, James B. ^{[2
]}

机构：

[1] Bucknell Univ, Dept Math, Lewisburg, PA 17837 USA

[2] Colorado State Univ, Dept Math, Ft Collins, CO 80523 USA

来源：

JOURNAL OF ALGEBRA | 2017年 / 473卷

基金：

美国国家科学基金会;

关键词：

Group isomorphism; Pairs of forms; Pfaffian; Adjoint tensor; CLASSIFICATION; ALGORITHMS; SYSTEM;

D O I：

10.1016/j.jalgebra.2016.12.007

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Motivated by the desire for better isomorphism tests for finite groups, we present a polynomial-time algorithm for deciding isomorphism within a class of p-groups that is well-suited to studying local properties of general groups. We also report on the performance of an implementation of the algorithm in the computer algebra system MAGMA. (C) 2016 Elsevier Inc. All rights reserved.

引用

页码：545 / 590

页数：46

共 51 条

[1]

[Anonymous], CAMBRIDGE TRACTS MAT

[2]

Babai L., 1984, 25th Annual Symposium on Foundations of Computer Science (Cat. No. 84CH2085-9), P229, DOI 10.1109/SFCS.1984.715919

[3] Groups with abelian central quotient group [J].

Baer, Reinhold .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1938, 44 (1-3) :357-386

[4]

BAYERFLUCKIGER E, 1987, J REINE ANGEW MATH, V378, P53

[5] Problems of classifying associative or Lie algebras and triples of symmetric or skew-symmetric matrices are wild [J].

Belitskii, G ;

Lipyanski, R ;

Sergeichuk, VV .

LINEAR ALGEBRA AND ITS APPLICATIONS, 2005, 407 :249-262

[6]

Belitskii G, 2009, ELECTRON J LINEAR AL, V18, P516

[7] Groups of prime power order with derived subgroup of prime order [J].

Blackburn, SR .

JOURNAL OF ALGEBRA, 1999, 219 (02) :625-657

[8] LIE ALGEBRAS OF GENUS ONE AND GENUS 2 [J].

BOND, J .

PACIFIC JOURNAL OF MATHEMATICS, 1971, 37 (03) :591-&

[9] The Magma algebra system .1. The user language [J].

Bosma, W ;

Cannon, J ;

Playoust, C .

JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (3-4) :235-265

[10] Constructing the group preserving a system of forms [J].

Brooksbank, Peter A. ;

O'Brien, E. A. .

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2008, 18 (02) :227-241

← 1 2 3 4 5 6 →