Jacobson-Chevalley稠密定理的一个推广

我们在[1]中证明了,一个半环(hemiring)关于它的Jacobson关系根的商同构于完全本原半环的亚直和。这使我们有兴趣对这个特殊的半环类——完全本原半环的结构作进一步的讨论。本文的主要结果是:一个半环是完全本原的当且仅当它是一个半模上的亚稠密自同态半环。这个定理给出了完全本原半环的结构,推广了Jacobson—Chevalley稠密定理。     

Remarks on pseudo-valuation rings

A prime ideal P of a ring A is said to be a strongly prime ideal if aP and bA are comparable for all a,b ε A. We shall say that a ring A is a pseudo-valuation ring (PVR) if each prime ideal of A is a strongly prime ideal. We show that if A is a PVR with maximal ideal M, then every overring of A is a PVR if and only if M is a maximal ideal of every overring of M that does not contain the reciprocal’of any element of M.We show that if R is an atomic domain and a PVD, then dim(R) ≤ 1. We show that if R is a PVD and a prime ideal of R is finitely generated, then every overring of R is a PVD. We give a characterization of an atomic PVD in terms of the concept of half-factorial domain.     

关于伪准素环的注记

一个有单位元的交换环Ｒ称为伪准素环，如果Ｒ的每个非零理想都是某个准素理想之幂．本文证明了环Ｒ是伪准素环当且仅当Ｒ是准素环或Ｒ是两个域的直和或Ｒ是至多具有三个素理想的一维局部环，并且每个非零理想或是某个极小素理想之幂或是某个属于极大理想的准不比理想之幂.     

Strongly Regular Rings and SF-rings

in this paper, new characteristic properties of strongly regular rings are' given.Relations between certain generalizations of duo rings are also considered. The followingconditions are shown to be equivalent: (1) R is a strongly regular ring; (2) R is a left SFring such that every product of two independent closed left ideals of R is zero; (3) R is aright SF-ring such that every product of two independent closed left ideals of R is zero; (4)R is a left SF-ring whose every special left annihilator is a quasi-ideal; (5) R is a right SFring whose every special left annihilator is a quasi-ideal; (6) R is a left SF-ring whose everymaximal left ideal is a quasi-ideal; (7) R is a right SF-ring whose every maximal left ideal isa quasi-ideal; (8) R is a left SF-ring such that the set N(R) of all nilpotent elements of R isa quasi-ideal; (9) R is a right SF-ring such that N(R) is a quasi-ideal.     

关于凸子集和（绝对）收缩核

讨论了线性度量空间中凸子集在什么情况下为该空间的收缩核，以及在什么情况下为绝对收缩核。     

几种类型的K~*空间的特征

<正> §1.引言 假设非平坦的 n 维黎曼空间的曲率张量 R_(hijk)在每一点恒满足下列关系(?)其中(?)是某一向量场,同时也满足     

Generalising a characterisation of Hermitian curves

This article proves a characterisation of the classical unital that is a generalisation of a characterisation proved in 1982 by Lefèvre-Percsy. It is shown that if is a Buekenhout-Metz unital with respect to a line in such that a line of not through meets in a Baer subline, then is classical. An immediate corollary is that if is a unital in PG such that is Buekenhout-Metz with respect to two distinct lines, then is classical. Received 5 August 1999; revised 15 February 2000.     

Dimonoids

It is proved that a system of axioms for a dimonoid is independent and Cayley’s theorem for semigroups has an analog in the class of dimonoids. The least separative congruence is constructed on an arbitrary dimonoid endowed with a commutative operation. It is shown that an appropriate quotient dimonoid is a commutative separative semigroup. The least separative congruence on a free commutative dimonoid is characterized. It is stated that each dimonoid with a commutative operation is a semilattice of Archimedean subdimonoids, each dimonoid with a commutative periodic semigroup is a semilattice of unipotent subdimonoids, and each dimonoid with a commutative operation is a semilattice of a-connected subdimonoids. Various dimonoid constructions are presented.     

Characterizations of Strongly Regular Rings

ＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｓｏｆＳｔｒｏｎｇｌｙＲｅｇｕｌａｒＲｉｎｇｓＺｈａｎｇＪｕｌｅ（章聚乐）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｎｈｕｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈｕ２４１０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉ...     

Adaptive Control of a Partially Observed Discrete Time Markov Process

An adaptive control problem of a discrete time Markov process that is completely observed in a fixed recurrent domain and is partially observed elsewhere is formulated and a solution is given by constructing an approximately self-optimal strategy. The state space of the Markov process is either a closed subset of Euclidean space or a countable set. Another adaptive control problem is solved where the process is always only partially observed but there is a family of random times when the process evaluated at these times is a family of independent, identically distributed random variables. Accepted 26 April 1996     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Separately normal maps

It is shown that a separately normal map is holomorphic and a separately normal family which is separately uniformly normal is a normal family extending a result by Barth that a separately holomorphic map into hyperbolic spaces is holomorphic and a separately normal family of maps into hyperbolic spaces is a normal family.     

Subspaces and quotients of Banach spaces with shrinking unconditional bases

The main result is that a separable Banach space with the weak* unconditional tree property is isomorphic to a subspace as well as a quotient of a Banach space with a shrinking unconditional basis. A consequence of this is that a Banach space is isomorphic to a subspace of a space with a shrinking unconditional basis if and only if it is isomorphic to a quotient of a space with a shrinking unconditional basis, which solves a problem dating to the 1970s. The proof of the main result also yields that a uniformly convex space with the unconditional tree property is isomorphic to a subspace as well as a quotient of a uniformly convex space with an unconditional finite dimensional decomposition.     

Clean一般环的几个结果

证明了一般环I是Clean一般环当且仅当I上的形式幂级数一般环I[[x]]是Clean一般环;一般环I上的多项式环I[x]是Clean一般环当且仅当I是诣零的.引入了强Clean一般环的概念,它是强Clean环的推广.并证明了强π-正则的一般环是强Clean一般环.     

Mini-Maximizers for Reaction-Diffusion Systems with Skew-Gradient Structure

A reaction-diffusion system with skew-gradient structure is a sort of activator-inhibitor system that consists of two gradient systems coupled in a skew-symmetric way. Any steady state of such a system corresponds to a critical point of some functional. The aim of this paper is to study the relation between a stability property as a steady state of the reaction-diffusion system and a mini-maximizing property as a critical point of the functional. It is shown that a steady state of the skew-gradient system is stable regardless of time constants if and only if it is a mini-maximizer of the functional. It is also shown that the mini-maximizing property is closely related with the diffusion-induced instability. Moreover, by using the property that any mini-maximizer on a convex domain is spatially homogeneous, quite a general instability criterion is obtained for some activator-inhibitor systems. These results are applied to the diffusive FitzHugh-Nagumo system and the Gierer-Meinhardt system.     

Matrices as sums of squares

How many squares are needed to represent elements in a matrix ring? A matrix over a field of characteristic two is a sum of two squares if and only if its trace is a square, otherwise it is not a sum of squares. Any proper matrix over a field of characteristic not two is always a sum of three squares. If the order of a matrix is even the matrix is a sum of two squares, but an odd order matrix which is q times the identity matrix is a sum of two squares if and only ifq is a sum of two squares in the field. Matrices of order 2,3 and 4 over the integers can always be written as the sum of three squares.     

Formulation of the problem of the flutter of a shell of revolution and a shallow shell in a high-velocity supersonic gas flow

Aero-elastic vibration is investigated in the case of a shallow shell of revolution or a cylindrical panel, which respectively occupy a part of a thin cylindrical body or a thin profile, in a high-velocity supersonic gas flow at zero angle of attack. Particular attention is paid to finding the pressure interaction and this problem is solved within the framework of the law of plane sections in boundary-layer theory. An expression is obtained which refines and supplements the well-known formula of “piston” theory. A linearized formulation of the problem of the panel flutter of a shallow shell is presented. Using the example of a plate located on one of the sides of a wedge, it is shown that the formula of “piston” theory is complemented with a term which has the meaning of a compressive force in the plane of the plate. It is shown that, when account is taken of this term, there is a reduction in the critical flow velocity.     

Optimal pricing and quantity of products with two offerings

This paper analyzes the decision of a firm offering two versions of a product, a deluxe and a regular. While both products satisfy the same market, the deluxe version is sold at a high price relative to its cost and is aimed at the high end of the demand curve. The regular version is sold at a low price relative to its cost and is targeted to customers at the low end of the demand curve. This two-offering strategy is especially popular with book publishers where a paperback book is introduced some time after the hardbound version is introduced. The time between the introduction of the two versions of the product is accompanied by a downward shift in the demand curve due to customers losing interest in the product or satisfying their demand from a secondary used market. We solve a profit maximization model for a firm using a two-offering strategy. The model is solved for linear and exponential deterioration in demand, which is assumed to be deterministic. Also, a model with linear deterioration in demand, which is assumed to be stochastic, is solved. The results indicate that substantial improvements in profit can be obtained by using the two-offering strategy. Numerical sensitivity analysis and examples are used to illustrate the results.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

Dynamic frictionless contact with adhesion

A model for the dynamic, adhesive, frictionless contact between a viscoelastic body and a deformable foundation is described. The adhesion process is modeled by a bonding field on the contact surface. The contact is described by a modified normal compliance condition. The tangential shear due to the bonding field is included. The problem is formulated as a coupled system of a variational equality for the displacements and a differential equation for the bonding field. The existence of a unique weak solution for the problem is established, together with a partial regularity result. The existence proof proceeds by construction of an appropriate mapping which is shown to be a contraction on a Hilbert space.