Algebraic independence of logarithmic singularities of some complex functions

We show that algebraic independence of some complex functions of one variable over regular functions implies their algebraic independence over a larger ring, containing complex powers of regular functions. Based on this we obtain a generalization of a special case of the theorem of Kaczorowski and Perelli on functional independence of logarithms of functions in the Selberg class. As an application we state a new result on oscillations of arithmetical functions.     

On the classification of simple quadratic derivations over the affine plane

We classify simple derivations induced by unimodular rows of length 2 whose entries have degree 2, over the ring of complex polynomials in two variables. As part of the proof we give several new families of simple derivations over this ring.     

Limit-periodic arithmetical functions and the ring of finite integral adeles

In this paper, we show that the ring of finite integral adeles, together with its Borel field and its normalized Haar measure, is an appropriate probability space where limit-periodic arithmetical functions can be extended to random variables. The natural extensions of additive and multiplicative functions are studied. Besides, the convergence of Fourier expansions of limit-periodic functions is proved.     

Trivial Ring Extensions Defined by Arithmetical-Like Properties

In this article we investigate the transfer of the notions of elementary divisor ring, Hermite ring, Bezout ring, and arithmetical ring to trivial ring extensions of commutative rings by modules. Namely, we prove that the trivial ring extension R: = A ? B defined by extension of integral domains is an elementary divisor ring if and only if A is an elementary divisor ring and B = qf(A); and R is an Hermite ring if and only if R is a Bezout ring if and only if A is a Bezout domain and qf(A) = B. We provide necessary and sufficient conditions for R = A ? E to be an arithmetical ring when E is a nontorsion or a finitely generated A ? module. As an immediate consequences, we show that A ? A is an arithmetical ring if and only if A is a von Neumann regular ring, and A ? Q(A) is an arithmetical ring if and only if A is a semihereditary ring.     

Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full classification of such multivariate skew polynomial rings (free or not) over finite fields. To that end, we first show that all ring morphisms from the field to the ring of square matrices are diagonalizable, and that the corresponding derivations are all inner derivations. Secondly, we show that all such multivariate skew polynomial rings over finite fields are isomorphic as algebras to a multivariate skew polynomial ring whose ring morphism from the field to the ring of square matrices is diagonal, and whose derivation is the zero derivation. Furthermore, we prove that two such representations only differ in a permutation on the field automorphisms appearing in the corresponding diagonal. The algebra isomorphisms are given by affine transformations of variables and preserve evaluations and degrees. In addition, ours proofs show that the simplified form of multivariate skew polynomial rings can be found computationally and explicitly.     

Pairwise commuting derivations of polynomial rings

We prove that n pairwise commuting derivations of the polynomial ring (or the power series ring) in n variables over a field k of characteristic 0 form a commutative basis of derivations if and only if they are k-linearly independent and have no common Darboux polynomials. This result generalizes a recent result due to Petravchuk and is an analogue of a well-known fact that a set of pairwise commuting linear operators on a finite dimensional vector space over an algebraically closed field has a common eigenvector.     

Positive derivations on archimedean lattice-ordered rings

It is known that the only positive derivation on a reduced archimedean f-ring is the zero derivation. We investigate derivations on general archimedean lattice-ordered rings. First, we consider semigroup rings over cyclic semigroups and show that, in the finite case, the only derivation that is zero on the underlying ring is the zero derivation and that, in the infinite case, such derivations are always based on the derivative. Turning our attention to lattice-ordered rings, we show that, on many algebraic extensions of totally ordered rings, the only positive derivation is the zero derivation and that, for transcendental extensions, derivations that are lattice homomorphisms are always translations of the usual derivative and derivations that are orthomorphisms are always dilations of the usual derivative. We also show that the only positive derivation on a lattice-ordered matrix ring over a subfield of the real numbers is the zero derivation, and we prove a similar result for certain lattice-ordered rings with positive squares. The second author thanks Hamilton College for its support of his visits to the first author in Houston. He also thanks John Miller for his friendship and hospitality over the last thirty years.     

可换环上一类矩阵代数的导子和自同构

决定了含幺可换环上一类矩阵代数的所有导子和所有自同构.     

Commutative rings in which every finitely generated ideal is quasi-projective

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. We provide some preliminaries on quasi-projective modules over commutative rings. Then we investigate the correlation with the well-known Prüfer conditions; that is, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky’s theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz’s related conjecture on Gaussian rings. We also establish an analogue of Bazzoni-Glaz results on the transfer of Prüfer conditions between a ring and its total ring of quotients. We then examine various contexts of trivial ring extensions in order to build new and original examples of rings where all finitely generated ideals are subject to quasi-projectivity, marking their distinction from related classes of Prüfer rings.     

Derivations of a matrix ring containing a subring of triangular matrices

We describe the derivations (including Jordan and Lie ones) of finitary matrix rings, containing a subring of triangular matrices, over an arbitrary associative ring with identity element.     

交换环上矩阵代数的局部化导子

Let R be a commutative ring with identity, Nn（R） the matrix algebra consisting of all n × n strictly upper triangular matrices over R. Several types of proper local derivations of Nn（R） （n ≤ 4） are constructed, based on which all local derivations of Nn（R） （n ≤ 4） are characterized when R is a domain.     

Transfer maps

A category-theoretic definition of transfer is given, and its basic properties are explored. As applications, a special case due to Mitchell is used to establish a result about integral extensions of arithmetical rings, and non-classical transfers between modules over group rings are used to obtain information about localizations of group rings by central elements which are not in the coefficient ring     

HIGH ORDER KÄHLER MODULES OF NONCOMMUTATIVE RING EXTENSIONS

We construct the high order Kähler modules of noncommutative ring extensions B/A and show their fundamental properties. Our Kähler modules represent not only high order left derivations for one-sided modules but also high order central derivations for bimodules, which are usual derivations. This new viewpoint enables us to prove new results which were not known even though B is an algebra over a commutative ring A. Our results are the decomposition of Kähler modules by an idempotent element, exact sequences of Kähler modules, the Kähler modules of factor rings, and the relation to separable extensions. In particular, our exact sequences of high order Kähler modules were not known even though B is commutative.     

交换环上严格上三角矩阵的广义李三导子(英文)

本文研究了交换环R上所有n×n严格上三角矩阵构成的李代数N(n,R)(n≥5)上广义李三导子.利用矩阵技巧,证明了N(n,R)(n≥5)上任意广义李三导子为一李三导子与一位似映射的和.对于N(n,R)(n≥3)上广义李导子,得出类似结果.     

三角代数上的广义Jordan导子

主要研究了三角代数上的广义Jordan导子．利用三角代数上广义Jordan导子和广义内导子的联系．证明了作用在一个含单位元的可交换环上的三角代数到其自身上的环线性广义Jordan导子是一个广义导子．     

微商共同作用在半素环的Lie理想上的结果

本文讨论了微商共同作用在半素环的某个Ｌｉｅ理想上的问题。给出了如下结果：设Ｒ是带有中心Ｚ（Ｒ）的半素环,Ｑｍｒ是Ｒ的极大右商环,Ｌ是Ｒ的非交换Ｌｉｅ理想,ｄ和δ是Ｒ的微商,假设ｒＲ（「Ｌ,Ｌ」）＝０且ｄ（ｘ）ｘ－ｘδ（ｘ）∈Ｚ（Ｒ）对任意ｘ∈Ｌ成立,则在Ｒ的扩张形心Ｃ中存在一个幂等元ｅ使得ｄ（１－ｅ）Ｑｍｒ＝０和δ（１－ｅ）Ｑｍｒ）＝０并且ｅＱｍｒ满足Ｓ４。另外给出微商共同作用在半素环上多项式的结     

A simple group generated by involutions interchanging residue classes of the integers

We present a countable simple group which arises in a natural way from the arithmetical structure of the ring of integers.     

Averages of completely even arithmetical functions

Summary For certain classes of arithmetical functions f(n), approximations are obtained for the sum ∑f((a, b)), where {a, b} is permitted to range over plane regions of traingular, circular, and hyperbolic type.     

交换环上的严格上三角矩阵代数上的Lie导子

设R是任意含单位元的交换环,N(R)为R上(n+1)×(n+1)严格上三角矩阵构成的代数．本文证明了当n≥3且2是R的单位时,N(R)上任意Lie导子D可以唯一的表示为D=D_d+D_b+D_c+D_x,其中D_d,D_b,D_c,D_x分别是N(R)上的对角,极端,中心和内Lie导子,在n=2的情况,我们也证明了N(R)上任意Lie导子D可以表示为对角,极端,内Lie导子的和。