A computer algebra solution to a problem in finite groups.

Greuel, Gert-Martin. "A computer algebra solution to a problem in finite groups.." Revista Matemática Iberoamericana 19.2 (2003): 413-424. <http://eudml.org/doc/39610>.

@article{Greuel2003,
abstract = {We report on a partial solution of the conjecture that the class of finite solvable groups can be characterised by 2-variable identities. The proof requires pieces from number theory, algebraic geometry, singularity theory and computer algebra. The computations were carried out using the computer algebra system SINGULAR.},
author = {Greuel, Gert-Martin},
journal = {Revista Matemática Iberoamericana},
keywords = {Teoría de grupos; Grupos resolubles finitos; Teoría de números; Geometría algebraica; Singularidades; finite varieties; soluble groups; laws; identities; Hasse-Weil bounds; Gröbner bases; algebraic varieties; rational points},
language = {eng},
number = {2},
pages = {413-424},
title = {A computer algebra solution to a problem in finite groups.},
url = {http://eudml.org/doc/39610},
volume = {19},
year = {2003},
}

TY - JOUR
AU - Greuel, Gert-Martin
TI - A computer algebra solution to a problem in finite groups.
JO - Revista Matemática Iberoamericana
PY - 2003
VL - 19
IS - 2
SP - 413
EP - 424
AB - We report on a partial solution of the conjecture that the class of finite solvable groups can be characterised by 2-variable identities. The proof requires pieces from number theory, algebraic geometry, singularity theory and computer algebra. The computations were carried out using the computer algebra system SINGULAR.
LA - eng
KW - Teoría de grupos; Grupos resolubles finitos; Teoría de números; Geometría algebraica; Singularidades; finite varieties; soluble groups; laws; identities; Hasse-Weil bounds; Gröbner bases; algebraic varieties; rational points
UR - http://eudml.org/doc/39610
ER -