GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

数据插值和共轭函数

设Ｇ（ｚ）在｜ｚ｜＜ρ（ρ＞１）中解析，且数据Ｒｅ［Ｇ（ｅｊ２ｋπ／ｎ）］；ｋ＝０，１，…，ｎ－１已给出，其中ｎ＝２ν＋１，本文构造了一个ν次多项式Ｐν（ｚ）满足插值条件Ｒｅ［Ｐν（ｅｊ２ｋπ／ｎ）］＝Ｒｅ［Ｇ（ｅｊ２ｋπ／ｎ）］，ｋ＝０，１，…，ｎ－１．并估计了误差‖Ｇ（ｅｊω）－Ｐν（ｅｊω）‖．此外，还给出了一个Ｗａｌｓｈ类型的超收敛定理．     

有限交换环上极限线性群的Sylowp—子群

本文给出了有限交换局部环Ｒ上无限线性群ＧＬ（Ｒ）＝∪ｎＧＬｎＲ的Ｓｙｌｏｗｐ－子群的形式．令Ｍ是有限交换局部环Ｒ的唯一极大理想，ｋ＝Ｒ／Ｍ为Ｒ的剩余类域．用Ｘ（ｋ）表示ｋ的特征，并假定Ｐ与ｘ（ｋ）互素．作者证明了：ＧＬ（Ｒ）的任一Ｓｙｌｏｗｐ－子群Ｓ或者同构于的可数无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ≠２或Ｐ＝２，Ｘ（ｋ）β≡１（ｍｏｄ４））或者同构于Ｐｉ的无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ＝２，Ｘ（ｋ）β≡３（ｍｏｄ４）），这里，只是ＧＬ（ｅｐｉ）Ｒ（分别地，ＧＬ（２ｒｉ）Ｒ）的Ｓｙｌｏｗｐ－子群，Ｐ（ｊ））同构于Ｐ＝∪ｉ∈Ｉｐｉ，Ｉ是可数集．     

关于Hardy—Hilbert不等式中的一个最佳常数

本文通过引入一个形如π／ｓｉｎ（π／ｐ）－１－Ｃ＝ｎ＾１－１／ｒ的权系数而Ｈａｒｄｙ－Ｈｉｌｂｅｒｔ不等式得到改进，其中１－Ｃ＝－０．４２２７８４３３＾＋是最佳值。     

有限交换环上极限线性群的Sylowp—子集

本文给出了有限交换局部环Ｒ上无限线性群ＧＬ（Ｒ）＝∪ｎＧＬｎＲ的Ｓｙｌｏｗｐ－了群的形式。令Ｍ是有限交换局部环Ｒ的唯一极大理想，ｋ＝Ｒ／Ｍ为Ｒ的剩余类域。用ｘ（ｋ）表示ｋ的特征，并假定ｐ与ｘ（ｋ）互素。     

Schur—Zassenhaus定理的推广

本文证明了如下结论：（１）若有限群Ｇ的一个Ｈａｌｌπ－子群Ｈ在ＧＦ内是Ｓ－半正规的，则Ｈ在Ｇ内有补且所有这样的补在Ｇ中互相共轭，（２）令Ｐ／Ｇ／，若有限群Ｇ的Ｓｙｌｏｗｐ－子群在Ｇ内是Ｓ－半正规的，则Ｇ是ｐ－可解的；（３）如果Ｇ与ＰＳＬ（２，７）是无关的，则Ｇ是π－可分的；（４）令Ｐ是一个奇素数，则其每个极小Ｐ－子群一Ｓ－半正规的有限群Ｇ－一定是Ｐ＝超可解的。     

Camina—Gagen定理的一个推广

在这篇文章中，我们考虑２－（ｖ，ｋ，１）设计Ｄ上的自同构群，得到了如下结果：若Ｇ≤ＡｕｔＤ，且Ｇ是线一本原的，则当（ｋ，ｖ）＝ｋ／ｋ２时（ｋ２≤４），Ｇ也是点一本原的。ｋ２＝１是Ｃａｍｉｎａ－Ｇａｇ－ｅｎ的结果。     

也谈实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域Ｑ（ｄ）的类数，本文证明了：若１＋４ｋ２ｎ＝ｄａ２，ａ，ｋ＞１，ｎ＞２为正整数，且ａ＜０．９ｋ３５ｎ或ｎ的奇素因子ｐ和ｋ的素因子ｑ均适合（ｐ，ｑ－１）＝１，则除（ａ，ｄ，ｋ，ｎ）＝（５，４１，２，４）以外，ｈ（ｄ）≡０（ｍｏｄｎ）．同时，我们猜测：上述结果中的条件（ｐ，ｑ－１）＝１是不必要的．     

Camina—Gagen定理的一个推广（Ⅱ）

设Ｇ是２－（ｖ，ｋ，１）设计Ｄ上的自同构群的一个子群，且是线－本原。如果（ｖ，ｋ）＝ｋ／ｋ２，ｋ２≤１０。则Ｇ也是点－本原的。     

脉冲时滞差分方程的振动性

讨论脉冲时滞差分方程｛ｘπ＋１－ｘπ＋ｐπｘπ－１＝０,ｎ≥０,ｎ≠ｎｋ;ｘπｋ＋１－ｘπｋ＝ｂｋｘπｋ,ｋ＝１,２,３…给出了方程所有解振动的充分条件。     

四元Heisenberg群上的一个半线性问题

本文研究了四元Heisenberg群上的一个半线性方程问题,通过把对应的方程问题化为积分进行估计,证明了其对应的半线性方程的非负双椭圆解只有唯一的零解,推广了相应Heisenberg群上的定理.     

Carnot群上一类半线性方程的Liouville型定理

本文研究了Carnot群上一类具有超线性非齐次项的半线性次Laplace方程非负解的存在性问题.结合Birindelli等[4]在Heisenberg群上利用积分不等式研究解的方法和拟齐性分析技巧,给出了此类方程在Carnot群上的一类Liouville型定理.     

On periodic groups of odd period n ≥ 1003

In the paper, using the Adyan-Lysenok theorem claiming that, for any odd number n ≥ 1003, there is an infinite group each of whose proper subgroups is contained in a cyclic subgroup of order n, it is proved that the set of groups with this property has the cardinality of the continuum (for a given n). Further, it is proved that, for m ≥ k ≥ 2 and for any odd n ≥ 1003, the m-generated free n-periodic group is residually both a group of the above type and a k-generated free n-periodic group, and it does not satisfy the ascending and descending chain conditions for normal subgroups either.     

Optimality conditions for n x n infinite-order parabolic coupled systems with control constraints and general performance index

W. Kotarski Institute of Informatics, Silesian University, Bedzinska 60, 41-200 Sosnowiec, Poland Email: bahaa_gm{at}hotmail.com Email: kotarski{at}gate.math.us.edu.pl Received on March 14, 2006; Accepted on December 20, 2006 A distributed control problem for n x n parabolic coupled systemsinvolving operators with infinite order is considered. The performanceindex is more general than the quadratic one and has an integralform. Constraints on controls are imposed. Making use of theDubovitskii–Milyutin theorem, the necessary and sufficientconditions of optimality are derived for the Dirichlet problem.Yet, the problem considered here is more general than the problemsin El-Saify & Bahaa (2002, Optimal control for n x n hyperbolicsystems involving operators of infinite order. Math. Slovaca,52, 409–424), El-Zahaby (2002, Optimal control of systemsgoverned by infinite order operators. Proceeding (Abstracts)of the International Conference of Mathematics (Trends and Developments)of the Egyptian Mathematical Society, Cairo, Egypt, 28–31December 2002. J. Egypt. Math. Soc. (submitted)), Gali &El-Saify (1983, Control of system governed by infinite orderequation of hyperbolic type. Proceeding of the InternationalConference on Functional-Differential Systems and Related Topics,vol. III. Poland, pp. 99–103), Gali et al. (1983, Distributedcontrol of a system governed by Dirichlet and Neumann problemsfor elliptic equations of infinite order. Proceeding of theInternational Conference on Functional-Differential Systemsand Related Topics, vol. III. Poland, pp. 83–87) and Kotarskiet al. (200b, Optimal control problem for a hyperbolic systemwith mixed control-state constraints involving operator of infiniteorder. Int. J. Pure Appl. Math., 1, 241–254).     

An application of the Turán theorem to domination in graphs

A function f:V(G)→{+1,−1} defined on the vertices of a graph G is a signed dominating function if for any vertex v the sum of function values over its closed neighborhood is at least 1. The signed domination number γ_s(G) of G is the minimum weight of a signed dominating function on G. By simply changing “{+1,−1}” in the above definition to “{+1,0,−1}”, we can define the minus dominating function and the minus domination number of G. In this note, by applying the Turán theorem, we present sharp lower bounds on the signed domination number for a graph containing no (k+1)-cliques. As a result, we generalize a previous result due to Kang et al. on the minus domination number of k-partite graphs to graphs containing no (k+1)-cliques and characterize the extremal graphs.     

EQUIVARIANT COHOMOLOGY AND REPRESENTATIONS OF THE SYMMETRIC GROUP

51. IntroductionIn a recent paper [l], I have shown how to construct a continuous mapf: Cn(R') - U(n)/T"from the configuration space of n ordered distinct points of R3 to the flag manifold of U(n)which is compatible with the natural action of the symmetric group Z. on both spaces. Ialso noted in [1] that the action of E. on the rational cohomology of either space coincideswith the regular representation but that the homomorphism f* induced by f cannot possiblybe an isomorphism. In fact the…     

FINITE GROUPS WHOSE AUTOMORPHISM GROUP HAS ORDER CUBEFREE

ＦＩＮＩＴＥＧＲＯＵＰＳＷＨＯＳＥＡＵＴＯＭＯＲＰＨＩＳＭＧＲＯＵＰＨＡＳＯＲＤＥＲＣＵＢＥＦＲＥＥＬＩＳＨＩＲＯＮＧＡｂｓｔｒａｃｔＬｅｔＧｄｅｎｏｔｅａｆｉｎｉｔｅｇｒｏｕｐ．Ｉｔｉｓｓｈｏｗｎｔｈａｔｉｆ｜Ａｕｔ（Ｇ）｜ｉｓｃｕｂｅｆｒｅ...