命题公式集F(S)的基于R0-算子的16类分划

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

关于零和子列个数的一个猜想

本文证明了下述结论: 设p>10000为一素数且合于p≡3(mod 4),取S=((?)2,3)为Z_p上p项序列,则不存在 Z_p上 p 项序列 T,使得f_p(S)=f_p(T)且T的非零项最多有两项互异,其中,f_p(S)表示S的零和子列的个数,这一结论否定了一个有关零和问题的猜想,     

两个模糊子半群集合之间的同态

设S,T是半群,F(S)和F_s(S)分别表示S的所有模糊子集的集合和所有模糊子半群的集合。文中,讨论了F(S)(F_s(S))和F(T)(F_s(T))之间的模糊同态,建立了模糊商子半群的概念,把分明半群的基本同态定理推广到模糊子半群。     

关于Gross的一个问题

对整函数的唯一性问题进行讨论,证明了:存在一个有限集合S,使得对任何两个非常数整函数f与g,只要满足E_f(S)=E_g(S),必有f≡g.完全解决了Gross的一个关于整函数唯一性的著名问题。     

关于有限Abelian群的生成子集的基数

假若G =Z_m1 Z_m2… Z_mr 为 (m₁, m₂,…, m_r)型Abelian群, 其中Z_mi 为 m_i 阶的循环群且1≤i≤ r, m₁ |m₂|…| m_r, S 为G 的满足0∈ S=-S 的生成子集. 如果 |S|>|G|/ρ, 其中ρ≥l m_r /2l且m_r=e(G) 为群 G 的所有元素的阶的最小公倍数, 则ρS=G. 更进一步作者推广了Klopsch与lev ^[1]的一个结论,有:若 G=Z₂Z_m 为 (2, m) 型 Abelian 群(m ≥8), 则 t_m/2(G)=0.     

椭圆曲线在(2,…,2)型数域上的扭群结构

设E：y²=x(x+M)(x+N)为椭圆曲线MK为2ⁿ次(2,…,2)型数域. 完全确定了E的K-有理点Mordell群的扭子群E(K)_tors的结构,按n=2和n≥3两种情形,明显给出其分类、判则和参数化,列出各扭子群;并对任意n证明了E(K)_tors的阶总是2的幂. 此外,对任意数域F上的椭圆曲线E,证明了 E(L)_tors=E(F)_tors对几乎所有素数p次扩张L/F成立. 这些结果发展了Kwon等人关于E在二次域上扭子群的结果.     

外延生长YBa2Cu3O7-x超导薄膜的TEM和SEM研究

本文利用高分辨率透射电子显微镜(TEM)和扫描电子显微镜(SEM)对高J_c外延生长YBa₂Cu₃O_7-x超导薄膜的微观结构进行了观察分析.研究发现,薄膜外延程度的好坏与生长工艺和衬底表面的完整性有直接的关系.实验结果表明(100)SrTiO₃单晶衬底上外延生长YBa₂Cu₃O_7-x超导薄膜中影响临界电流密度J_c的因素主要有界面过渡区、缺陷和不同的外延取代等.     

(0,1)-矩阵类u(R,S)的基数函数f(R,S)及其非零集

Let R and S be two vectors with m and n nonnegative integers as conponents respectively. Let u(R, S) be the class consisting of all m×n (0,1) - matrices with row sum vector R and column sum vector S. Suppose that A is the maximal mrixat with row sum vector R. Let S he the column sum vector of A. (of. H. J. Ryser, Combinatorial Mathematics, Carcus Math. Monograph 14 (1963)). Let L(S)={S=(s₁,…,s_m),S-1≥s₂≥…≥s_n}, and let F(R, S) be the cardinal function of u(R,S), i. e.. f(R, S) = |u(R, S) |. Then L(S) is the nonzero-point set of f(R,S). In this paper our principal result is the following.     

LPL3层膜的结构、磁性和磁电阻效应的研究

采用直流溅射法在 ( 1 0 0 )LaAlO3 单晶基片上制备了La_0.67Sr_0.33MnO_3+δ/Pr_0.7Ca_0.3MnO_3+δ/La_0.67Sr_0.33MnO_3+δ(简称为LPL) 3层膜 .用X射线粉末衍射法(XRD)研究了系列样品的摇摆曲线和衍射全图 ,结果表明所有的样品均为高度取向的外延膜 .SQUID磁强计的测量结果证实了 3层膜中磁耦合的存在 .用常规的四端引线法测量了LSMO、PCMO和LPL 3层膜的电阻 ,分析了logρ 1 /T曲线 .由此可以得出如下结论 :具有铁磁性的PCMO中间层在 3层膜中可能起到了内磁场的作用 ,使得LSMO膜的顺磁性被削弱 ,这个作用与外加磁场的作用一样 ,降低了 ρ_max,增大了由金属到半导体的转变温度T_p;PCMO中间层还诱发了LSMO的能隙中的态密度的变化 .以上两个原因使得在零场中样品的电阻率和T_p 随着中间层PCMO的厚度变化而明显变化 .     

群的F-次正规与F-次反正规链

给定一个子群闭的饱和群系F ,定义群类Fpc　 ,使得G ∈F_pc 当且仅当对于每个子群X ≤G ,存在G的一个F 次正规子群S ,X≤S并且X在S中F 次反正规 .借助F投射子和F覆盖子群 ,给出了F_pc群的特征 .     

Some compactifications of a semitopological semigroup

Let S be a semitopological semgroup and let C_b (S) denote the B^*-algebra of all continuous bounded complex-valued functions on S. In this paper, we consider a left m-introverted and translation invariant B^*-subalgebra F of C_b(S) containing the constant functions. Our concern is with ΔF, the maximal ideal space of F up to an isomorphic homeomorphism, when it is made into a compact right topological semigroup containing a dense continous homomorphic image of S under the Gelfand topology and a suitably chosen binary operation. We establish a representation of the closed left ideals of ΔF and study its centre and ideal structure in some special cases.     

P-systems in regular semigroups

In this paper, firstly it is shown that a regular semigroup S becomes a regular *-semigroup (in the sense of [1]) if and only if S has a certain subset called a p-system. Secondly, all the normal *-bands are completely described in terms of rectangular *-bands (square bands) and transitive systems of homomorphisms of rectangular *-bands. Further, it is shown that an orthodox semigroup S becomes a regular *-semigroup if there is a p-system F of the band E_S of idempotents of S such that F∋e, E_S∋t, e≥t imply t∈F. By using this result, it is also shown that F is a p-system of a generalized inverse semigroup S if and only if F is a p-system of F_S. Dedicated to Professor L. M. Gluskin on his 60th birthday     

On solution sets of multivalued differential equations

Let X be a Banach space, 2^x\? the nonempty subsets of X,J = [o,a]?R and F:J×X→2^x\? a multivalued map. We consider U′ ? F(t,u) a.e. on J, u(o) = X_p ? X. A solution of (1) is understood to be a.e. differentiable with u′ Bochner integrable over J such that u(t) =X₀ + ∫^{0 t} u′(s)ds on J and u′(t)?F(t,u(t)) a.e. Under appropriate conditions on F the set S of solutions to (1) is compact ≠ ? in C_X (J), the space of continuous v : J → X with ∣v∣₀ = max∣v(t)∣. We concentrate on maps F with F(t,.) upper semicontinuous andshow that S is connected or even a compact R_δ in the sense of Borsuk. This is interesting in itself, but also in connection with the multivalued Poincare map in case F is periodic in time.     

Finite Sylow Subgroups in Simple Locally Finite Groups of Lie Type

The main result of the paper is the followingTheorem. Let S = {r₀, r₁, ..., r_n} be a finite nonempty set of primes and let L be a Lie type of Chevalley groups. Then there exists a locally finite field F of characteristic r₀ such that Sylow r-subgroups of the simple group L(F) of type L over F are finite if and only if r ? S.     

Class groups of imaginary function fields: The inert case

Let be a finite field and a transcendental element over . An imaginary function field is defined to be a function field such that the prime at infinity is inert or totally ramified. For the totally imaginary case, in a recent paper the second author constructed infinitely many function fields of any fixed degree over in which the prime at infinity is totally ramified and with ideal class numbers divisible by any given positive integer greater than 1. In this paper, we complete the imaginary case by proving the corresponding result for function fields in which the prime at infinity is inert. Specifically, we show that for relatively prime integers and , there are infinitely many function fields of fixed degree such that the class group of contains a subgroup isomorphic to and the prime at infinity is inert.

     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.