Generalising the divisibility relation of terms we introduce the lattice of so-called involutive divisions and define the admissibility of such an involutive division for a given set of terms. Based on this theory we present a new approach for building a general theory of involutive bases of polynom
Involutive directions and new involutive divisions
โ Scribed by Yu-Fu Chen; Xiao-Shan Gao
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 959 KB
- Volume
- 41
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
โฆ Synopsis
In this paper, we propose the concept of involutive direction ss a vector representation for the concept of involutive division proposed by Gerdt and hi co-workers. With this representation, most of the properties of involutive divisions such as Noetherity, Artinity, and constructivity, can be greatly simplified. A new algorithm to compute the involutive completion is also given. Based on the vector representation, two new types of involutive divisions are found and proved to be Noetherian, Artinian, and constructive. These new divisions may lead to new methods of finding integrability conditions of partial differential equations and computing Grobner bases of polynomial ideals.
๐ SIMILAR VOLUMES
## MSC (2000) 03B47 The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this log
Let D be a division algebra of degree 3 over its center K and let J be an involution of the second kind on D. Let F be the subfield of K of elements invariant under J, char F / 3. We present a simple proof of a theorem of A. Albert on the existence of a maximal subfield of D which is Galois over F w