STANDARD BASES FOR GENERAL COEFFICIENT RINGS AND A NEW CONSTRUCTIVE PROOF OF HILBERT BASIS THEOREM

被引：14

作者：

JACOBSSON, C

LOFWALL, C

机构：

[1] Department of Mathematics, Stockholm University, Stockholm, S-113 85

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1991年 / 12卷 / 03期

关键词：

D O I：

10.1016/S0747-7171(08)80154-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A constructive proof is given of the termination of the algorithm for computing standard bases in polynomial rings over a “constructively noetherian” ring. A new constructive version of the noetherian chain condition is introduced and Hilbert's basis theorem is proved with this new condition and the construction of standard bases. © 1991, Academic Press Limited. All rights reserved.

引用

页码：337 / 371

页数：35

共 14 条

[1]

BISHOP E, 1967, F CONSTRUCTIVE ANAL

[2]

BRIDGES DOUGLAS, 1987, LONDON MATH SOC LECT, V97

[3]

Buchberger B., 1985, MULTIDIMENSIONAL SYS, P184

[4]

Buchberger B., 1965, THESIS U INNSBRUCK

[5]

MINES R, 1988, EOURSE CONSTRUCTIVE

[6] CONSTRUCTIVE ASPECTS OF NOETHERIAN RINGS [J].

RICHMAN, F .

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 44 (02) :436-441

[7]

SEIDENBERG A, 1974, REND SEM MAT FIS, V44, P55

[8] LIFTING CANONICAL ALGORITHMS FROM A RING R TO THE RING R[X] [J].

SHTOKHAMER, R .

JOURNAL OF SYMBOLIC COMPUTATION, 1988, 6 (2-3) :169-181

[9] COHERENT MODULES AND RINGS [J].

SOUBLIN, JP .

JOURNAL OF ALGEBRA, 1970, 15 (04) :455-&

[10]

Tennenbaum J., 1973, THESIS U CALIFORNIA

← 1 2 →