Realization of decompositions of algebraic structures on real computer
| Project/Area Number |
15340011
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Rikkyo University (2005)
Kyushu University (2003-2004) |
|---|
Principal Investigator |
YOKOYAMA Kazuhiro Rikkyo University, Department of Mathematics, Professor, 理学部, 教授 (30333454)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NORO Masayuki Kobe University, Department of Mathematics, Professor, 理学部, 教授 (50332755)
|
|---|
| Project Period (FY) |
2003 – 2005
|
| Project Status |
Completed (Fiscal Year 2005)
|
| Budget Amount *help |
¥7,100,000 (Direct Cost: ¥7,100,000)
Fiscal Year 2005: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2004: ¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2003: ¥2,500,000 (Direct Cost: ¥2,500,000)
|
|---|
| Keywords | Computer Algebra / Groebner Base / Computer Assisted Proof / Computer Algebra System / Splitting Field / Quantifier Elimination / Numeric-Symbolic Computation / Vertex Operator Algebra / 記号・代数計算 / 代数制約解法 / Groebner基底 / 不等式制約解法 / パラメトリックシステム / Galois群計算 / 分解体計算 / 限定子除去法 / 多項式イデアル / 準素分解 / 根底計算 / Groebner basis / VOA / 代数曲線 / 正標数 |
|---|
| Research Abstract |
The goal of the project consists of two aims : The first aim is to examine how high/deep mathematical operations on algebraic structures can be executed on real computer by concentrating on decompositions of algebraic structures. Using symbolic and algebraic computation, we try to realize the mathematical operations related to "decomposition". The second one is to utilize realized operations for studies on mathematics as computational tools. The realized mathematical operations on computer shall support mathematicians to investigate unsolved problems and it can produce certain computer-assisted-proofs. Extending the ability of such computations, we apply those to real engineering problems. For those aims, we selected a number of themes, for which we developed effective/efficient algorithms, implemented those, and examined their ability on computational experiments. We have obtained satisfactory results and found promising approaches for realization of more higher/deeper mathematical op
… More
erations. We list themes and give details for each :
(1)Commutative Algebra :
For prime decomposition of polynomial ideals over finite fields, we obtained an efficient algorithm and its practical implementation. For polynomial ideals with parametric exponents, we defined certain stability of those ideals based on "forms of Groebner bases", and gave a complete algorithm for deciding such stability for simpler cases. We applied "numeric-symbolic computation" to the CAD algorithm for quantifier elimination.
(2)Commutative Algebra with High Symmetry :
We obtained a practical method for computing the splitting field of a polynomial with rational coefficients by using p-adic approximations of its roots and information of its Galois group.
(3)Non-Commutative Algebra :
We obtained a computer-assisted-proof in classification of irreducible modules of the vertex operator algebra derived from a lattice.
(4)Supports for Mathematics and Engineering :
We also obtained a computer-assisted-proof in solving an unsolved conjecture related algebraic curves, and we also applied Groebner bases technique successfully to problems in control theory. Less
|
Report
(4 results)
Research Products
(34 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Modular dynamic evaluation
Author(s)
M.Noro
-
Journal Title
Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation (ISSAC 2006) (to appear)
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
-
-
