Minimal Characteristic Algebras for Some Properties of Identities

We consider algebras of a type , without nullary fundamental operation symbols. A structural property p of an identity of type is hereditary if for every set I of identities of type having the property p every consequence of I (derived identity) has the property p. An algebra of type we call characteristic for a hereditary property p if for every variety V of type we have: V if and only if every identity from Id(V) has the property p. In this paper we show minimal characteristic algebras for several hereditary properties, e.g., to be regular, to be normal, etc.1991 Mathematics Subject Classification 08B05     

一些新的多重Rogers－Ramanujan恒等式

本文利用初等刀法简捷地推广了Ｐａｕｌｅ的结果，从而得到了一系列多重Ｒｏｇｅｒｓ－Ｒａｍａｎｕｊａｎ恒等式．     

EXAMPLES OF FCR-ALGEBRAS

Abstract

Let R be a prime ring and 𝒰(R) its group of units. We prove that if 𝒰(R) satisfies a group identity and 𝒰(R) generates R,then either R is a domain or R is isomorphic to the algebra of n × n matrices over a finite field of order d. Moreover the integers n and d depend only on the group identity satisfed by 𝒰(R). This result has been recently proved by C. H. Liu and T. K. Lee (Liu,C. H.; Lee,T. K. Group identities and prime rings generated by units. Comm. Algebra (to appear)) and here we present a new different proof.     

*-Polynomial Identities of Matrices with the Symplectic Involution: The Low Degrees

Abstract

The *-polynomial identities of minimal degree of M _n (F) are determined for n = 2, 4, * the symplectic involution.     

The products of three theta functions and the general cubic theta functions

In this paper we establish two theta function identities with four parameters by the theory of theta functions. Using these identities we introduce common generalizations of Hirschhorn-Garvan-Borwein cubic theta functions, and also re-derive the quintuple product identity, one of Ramanujan＇s identities, Winquist＇s identity and many other interesting identities.     

A note on trinomial identities in associative algebras

In the paper, trinomial identities of associative algebras over an infinite field are considered (in general, the algebras may have no unit), i.e., identities of the formα m ₁+β m ₂+γ m ₃=0, where α, β, and γ are scalars andm ₁,m ₂, andm ₃ are different monomials. It is shown that any nontrivial identity if this kind implies a semigroup identity. The algebras with trinomial identities are characterized in the language of varieties. Translated fromMatematicheskie Zametki, Vol. 65, No. 2, pp. 254–260, February, 1999.     

Left Annihilators of Commutators with Derivation on Right Ideals

Abstract

Let R be a prime ring of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, a ∈ R, S ₄(x ₁,…, x ₄) the standard polynomial in 4 variables. Suppose that, for any x, y ∈ I, a[d([x, y]), [x, y]] = 0. If S ₄(I, I, I, I)I ≠ 0, then aI = ad(I) = 0.     

A unified elementary approach to the Dyson, Morris, Aomoto, and Forrester constant term identities

We introduce an elementary method to give unified proofs of the Dyson, Morris, and Aomoto identities for constant terms of Laurent polynomials. These identities can be expressed as equalities of polynomials and thus can be proved by verifying them for sufficiently many values, usually at negative integers where they vanish. Our method also proves some special cases of the Forrester conjecture.     

Bijective proofs of Gould's and Rothe's identities

We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which also leads to a double-sum extension of the q-Chu-Vandermonde formula.     

The hierarchy of an integrable coupling and its Hamiltonian structure

A type of higher dimensional loop algebra is constructed from which an isospectral problem is established. It follows that an integrable coupling, actually an extended integrable model of the existed solitary hierarchy of equations, is obtained by taking use of the zero curvature equation, whose Hamiltonian structure is worked out by employing the constructed quadratic identity.     

The method of combinatorial telescoping

We present a method for proving q-series identities by combinatorial telescoping, in the sense that one can transform a bijection or a classification of combinatorial objects into a telescoping relation. We shall illustrate this method by giving a combinatorial derivation of Watson's identity, which implies the Rogers-Ramanujan identities.     

Heisenberg群上的Hardy不等式与Pohozaev恒等式

本文对Heisenberg群Hn上的p次Laplace算子ΔHn,p构造了基本解,建立了关于基向量场的Picone恒等式,进而建立了Hardy不等式.利用向量场的非交换运算导出了Pohozaev恒等式.这些结果均推广了Folland,Garofalo-Lanconelli已有的结果,而方法则有所改进.最后给出了在非线性次椭圆方程中的应用.     

A Generalization of Engel Conditions with Derivations in Rings

Let R be a prime ring of characteristic different from 2 with Z the center of R and d a nonzero derivation of R. Let k, m, n be fixed positive integers. If ([d(x ^k ), x ^k ] _n ) ^m  ∈ Z for all x ∈ R, then R satisfies S ₄, the standard identity in 4 variables.     

Transformations of Border Strips and Schur Function Determinants

We introduce the notion of the cutting strip of an outside decomposition of a skew shape, and show that cutting strips are in one-to-one correspondence with outside decompositions for a given skew shape. Outside decompositions are introduced by Hamel and Goulden and are used to give an identity for the skew Schur function that unifies the determinantal expressions for the skew Schur functions including the Jacobi-Trudi determinant, its dual, the Giambelli determinant and the rim ribbon determinant due to Lascoux and Pragacz. Using cutting strips, one obtains a formula for the number of outside decompositions of a given skew shape. Moreover, one can define the basic transformations which we call the twist transformation among cutting strips, and derive a transformation theorem for the determinantal formula of Hamel and Goulden. The special case of the transformation theorem for the Giambelli identity and the rim ribbon identity was obtained by Lascoux and Pragacz. Our transformation theorem also applies to the supersymmetric skew Schur function.     

Identities for Lie superalgebras with a nilpotent commutator subalgebra

It is proved that the exponential growth rate of identities in any superalgebra with a nilpotent commutator subalgebra over a field of zero characteristic is an integer. Supported by RFBR (project Nos. 07-01-00080 and 06-01-00485) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-1983.2008.1). Translated from Algebra i Logika, Vol. 47, No. 5, pp. 617–645, September–October, 2008.     

Applications of residues to combinatorial identities

A concrete aspect of Grothendieck Duality is used to give local cohomology proofs of combinatorial identities including MacMahon's master theorem, Grosswald identity, identity of Shoo, Tepper identity, and others.

     

A combinatorial proof of the Rogers-Ramanujan and Schur identities

We give a combinatorial proof of the first Rogers-Ramanujan identity by using two symmetries of a new generalization of Dyson's rank. These symmetries are established by direct bijections.     

A new proof of the septuple product identity

By means of Liouville’s theorem and the log-derivative method, we give a new proof of the septuple product identity.     

Well-posedness in the energy space for non-linear system of wave equations with critical growth

The authors consider the well-posedness in energy space of the critical non-linear system of wave equations with Hamiltonian structure{utt-△u=-F1（｜u｜^2,｜v｜^2）u,utt-△u=-F2（｜u｜^2,｜v｜^2）u where there exists a function F（λ,μ） such that δF（λ,μ）/δλ=F1（λ,μ）.δF（λ,μ）/δμ=F2（λ,μ） By showing that the energy and dilation identities hold for weak solution under some assumptions on the non-linearities, we prove the global well-posedness in energy space by a similar argument to that for global regularity as shown in ＂Shatah and Struwe＇s paper, Ann. of Math. 138, 503-518 （1993）＂.