اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدOn a theorem of Stafford
32
0
0.0
(
0
)
تأليف
Napoleon Caro
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Stafford proved that every left or right ideal of the Weyl algebra A_n(K) is generated by two elements. In this paper we prove that every left or right ideal of the ring of differential operators over the field of formal Laurent series K((x_1,...,x_n)) is also generated by two elements. The same is true for the ring of differential operators over the convergent Laurent series C{{x_1,...,x_n}}. This is in accordance with the conjecture that says that in a (noncommutative) noetherian simple ring, every left or right ideal is generated by two elements.
قيم البحث
اقرأ أيضاً
Wattss Theorem says that a right exact functor F:Mod R-->Mod S that commutes with direct sums is isomorphic to -otimes_R B where B is the R-S-bimodule FR. The main result in this paper is the following: if A is a cocomplete abelian category and F:Mod
R --> A is a right exact functor commuting with direct sums, then F is isomorphic to - otimes_R B where B is a suitable R-module in A, i.e., a pair (B,f) consisting of an object B in A and a ring homomorphism f:R --> Hom_A(B,B). Part of the point is to give meaning to the notation -otimes_R B. That is done in the paper by Artin and Zhang on Abstract Hilbert Schemes. The present paper is a natural extension of some of the ideas in the first part of their paper.
This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhabers Theorem. Let M and N be two commu
ting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dimension at most n. This result was proved by Murray Gerstenhaber in 1961. The analog of this property for three commuting matrices is still an open problem, its version for a higher number of commuting matrices is not true in general. In the present paper, we give a sufficient condition for this property to be satisfied, for any number of commuting matrices and arbitrary field K. Such a result is derived from a discussion on the structure of 2-step solvable Frobenius Lie algebras and a complete characterization of their associated left symmetric algebra structure. We discuss the classification of 2-step solvable Frobenius Lie algebras and show that it is equivalent to that of n-dimensional MASAs of the Lie algebra of square matrices, admitting an open orbit for the contragradient action associated to the multiplication of matrices and vectors. Numerous examples are discussed in any dimension and a complete classification list is supplied in low dimensions. Furthermore, in any finite dimension, we give a full classification of all 2-step solvable Frobenius Lie algebras corresponding to nonderogatory matrices.
Let Q_0 denote the rational numbers expanded to a meadow, that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider cancellation meadows, i.e., meadows without proper zero divisors, such as $Q
_0$ and prove a generic completeness result. We apply this result to cancellation meadows expanded with differentiation operators, the sign function, and with floor, ceiling and a signed variant of the square root, respectively. We give an equational axiomatization of these operators and thus obtain a finite basis for various expanded cancellation meadows.
We present a proof of Kemers representability theorem for affine PI algebras over a field of characteristic zero.
We prove a version of the Poincare-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras in which their symmetric and universal enveloping algebras are replaced with appropriate formal analogues and discuss some immediate corollaries of this result.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
