共查询到20条相似文献,搜索用时 0 毫秒
1.
《Journal of Pure and Applied Algebra》2022,226(8):106948
Let be a Henselian discrete valued field with residue field of characteristic , and be the Brauer p-dimension of K. This paper shows that if , for some . It proves that if and only if . 相似文献
2.
Herv Perdry 《Mathematical Logic Quarterly》2005,51(4):400-416
This article is a logical continuation of the Henri Lombardi and Franz‐Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we show how (in the spirit of [9]) to construct the Henselization of a valued field; we restrict to fields in which one has at one's disposal algorithmic tools to test the nullity or the valuation ring membership. It is therefore a work that differs as much in spirit as in field of application from that of Mines, Richman and Bridges (cf. [10]), who address the framework of Heyting fields and discrete valuation. We show then in a constructive way a batch of classical results in Henselian fields, notably factorization criteria and Krasner's Lemma. We conclude by a construction of the inertia field of a valued field. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
3.
Givens' transformation (1954) was originally applied to real matrices. We shall give an extension to quaternion valued matrices. The complex case will be treated in the introduction. We observe that the classical Givens' rotation in the real and in the complex case is itself a quaternion using an isomorphism between certain (2×2) matrices and R
4 equipped with the quaternion multiplication. In the real and complex case Givens' (2×2) matrix is determined uniquely up to an arbitrary (real or complex) factor with ||=1. However, because of the noncommutativity of quaternions, we shall show that in the quaternion case such a factor must obey certain additional restrictions. There are two numerical examples including a MATLAB program and some hints for implementation. Matrices with quaternion entries arise, e.g., in quantum mechanics.This revised version was published online in October 2005 with corrections to the Cover Date. 相似文献
4.
《Annals of Pure and Applied Logic》2023,174(10):103318
In the spirit of the Ax-Kochen-Ershov principle, we show that in certain cases the burden of a Henselian valued field can be computed in terms of the burden of its residue field and that of its value group. To do so, we first see that the burden of such a field is equal to the burden of its leading term structure. These results are generalisations of Chernikov and Simon's work in [11]. 相似文献
5.
Marie‐Hélène Mourgues 《Mathematical Logic Quarterly》2009,55(5):487-492
In [12], P. Scowcroft and L. van den Dries proved a cell decomposition theorem for p‐adically closed fields. We work here with the notion of P‐minimal fields defined by D. Haskell and D. Macpherson in [6]. We prove that a P‐minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [8] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
6.
F. S. Cater 《Czechoslovak Mathematical Journal》2002,52(4):717-720
In this note we study fields F with the property that the simple transcendental extension F(u) of F is isomorphic to some subfield of F but not isomorphic to F. Such a field provides one type of solution of the Schröder-Bernstein problem for fields. 相似文献
7.
M. Chacron 《代数通讯》2013,41(7):2956-2968
We are given a division ring D with involution (*) and with a *-valuation V such that V(sx ? xs) > V(sx), for all nonzero elements x, s of D with s = s*. Let χ denote the characteristic of the residue class division ring associated with V. We reported in Theorem 3.2.5 Part 4 in [3] that, in the case χ = 0, either D is a standard quaternion division algebra or else D contains no algebraic elements other than the scalars. In this article, we carry out a generalization of the preceding theorem to the case χ ≠ 2. Our results are fairly complete in the finite dimensional case, and generalize theorems of, notably, J. Graeter and A. I. Lichtman, in the infinite dimensional case. 相似文献
8.
本文研究了具有卷积的中心自反环的性质,定义并引入了中心-自反环,显然,中心-自反环是自反环、中心自反环和-自反环的推广.给出了这类环的一些特征,研究了相关的环扩张,包括平凡扩张,Dorroh扩张和多项式扩张. 相似文献
9.
Yu. L. Ershov 《Algebra and Logic》2004,43(5):327-330
It is shown that every finite-dimensional skew field whose center is an extremal valued field is defect free. We construct an example of an algebraically complete valued field such that a finite-dimensional skew field over it has a non-trivial defect, that is, there exist algebraically complete valued fields that are not extremal. 相似文献
10.
Yu. L. Ershov 《Algebra and Logic》2007,46(6):385-398
We are concerned with a class of valued fields, called stable. We propound an extension of a notion in the monograph by S.
Bosch, U. Güntzer, and R. Remmert (Non-Archimedean Analysis. A Systematic Approach to Rigid Analytic Geometry, Springer, Berlin (1984)), namely, that of a (ultrametric) norm on groups, rings, algebras, and vector spaces, to the case where the value
of the norm is taken from an arbitrary (not necessarily Archimedean) linearly ordered Abelian group (using — as in the general
theory of valuations — the version of a logarithmic norm). Our main result extends Proposition 6 in the cited monograph to
the general case, thereby making it possible to use the technique of Cartesian spaces to deliver further results on stable
valued fields.
Supported by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools via project NSh-4787.2006.1
and by RFBR grant No. 05-01-00481.
__________
Translated from Algebra i Logika, Vol. 46, No. 6, pp. 707–728, November–December, 2007. 相似文献
11.
Nicolas Guzy 《代数通讯》2013,41(12):4269-4289
A matrix is said to be monomial if every row and column has only one nonzero entry. Let G be a group. A representation ρ: G → GL n (?) is said to be a monomial representation of G if there exists a basis with respect to which ρ(g) is a monomial matrix for every g ∈ G. We use elementary methods to classify the irreducible monomial representations of the groups L 2(q), L 3(q) and their natural decorations. 相似文献
12.
广义四元数体上矩阵的最小多项式 总被引:18,自引:3,他引:15
本文给出了广义四元数体上方阵的最小多项式与最小中心多项式的构造公式,讨论了它们的性质及其应用,得到广义四元数方阵相似于对角矩阵的一个充要条件。 相似文献
13.
14.
Yifeng Xue 《Proceedings of the American Mathematical Society》1999,127(12):3671-3676
Suppose that is a unital purely infinite simple -algebra. If the class [1] of the unit 1 in has torsion, then ; if [1] is torsion-free in , then . If is a non-unital purely infinite simple -algebra, then .
15.
A localized version of the single-valued extension property is studied at the points which are not limit points of the approximate point spectrum, as well as of the surjectivity spectrum. In particular, we shall characterize the single-valued extension property at a point in the case that λoI−T is of Kato type. From this characterizations we shall deduce several results on cluster points of some distinguished parts of the spectrum. 相似文献
16.
In this paper we shall consider the relationships between a local version of the single valued extension property of a bounded operator T L(X) on a Banach space X and some quantities associated with T which play an important role in Fredholm theory. In particular, we shall consider some conditions for which T does not have the single valued extension property at a point λo C. 相似文献
17.
M. Chacron 《代数通讯》2013,41(11):4613-4631
Let D be a division ring with centre Z and with involution (*). Let V be a valuation of D with value group Γ, a linearly ordered additive group (non necessarily commutative) together with a symbol ∞ (positive infinity). We assume that for each nonzero symmetric element s = s* of D, which is algebraic over Z, we have for all nonzero elements x of D, V(xa ? ax) > V(ax). We define the residue characteristic exponent p of V to be the characteristic χ of the associated residue division ring written as D V , if χ ≠ 0, and p = 1, if χ = 0. We show here that if F is a finite dimensional commutative subalgebra of D over Z, which is *-closed (i.e., F* = F), and if (*) is of the first kind (i.e., each central element of D must be symmetric), then [F: Z] = 2 r p m where m is a nonnegative integer and r = 0 or 1 according as the restricted involution in F is trivial or not. The case of an involution (*) of the second kind (i.e., some central element of D is not symmetric) requires (for this author) a stronger type of valuation, namely, V is a *-valuation, that is to say, for all elements x of D, we have V(x*) = V(x), a condition which readily implies Γ must be Abelian. Here, we can show that for F as in the preceding, [F: Z] = p m , where m is again a nonnegative integer. The preceding results generalize a theorem of Gräter and improve in parts recent theorems of this author in [2]. In the special case p = 2 the results provide a modicum of answers to the questions opened informally in [2] (see concluding paragraph in [2] or here Question 3.2.1). More is to be said in the third and final section of this work. 相似文献
18.
Hirokazu Nishimura 《Mathematical Logic Quarterly》1993,39(1):241-250
Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is presupposed. MSC: 03C90, 03E40, 17B65, 46L10. 相似文献
19.
Yu. L. Ershov 《Algebra and Logic》2008,47(3):155-165
The basic result of the paper is the main theorem worded as follows. Let {ie155-01} be a valued field such that {ie155-02} has characteristic p > 0 and let {ie155-03} be an extension of valued fields satisfying the following conditions: (i) there exists a set {ie155-04} for which {ie155-05} is a separating transcendence basis for a field {ie155-06} over FR; (ii) Γ R is p-pure in {ie155-07}, i.e., {ie155-08} does not contain elements of order p; (iii) there exists a set B1 ⊂ F0× such that the family {ie155-09} is linearly independent in the elementary p-group {ie155-10}; (iv) F0 is algebraic over F(B0 ⋃ B1). Then the property of being stable for {ie155-11} implies being stable for {ie155-12}. Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-344.2008.1) and by RFBR (grant No. 08-01-00442-a). __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 269–287, May–June, 2008. 相似文献
20.
The Poisson superalgebra realized on smooth Grassmann-valued functions with compact support has a central extension at some values of the superdimension. We find formal deformations of these central extensions. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 2, pp. 250–269, August, 2008. 相似文献