Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

无限循环群被有限生成Abel群的中心扩张

设G是无限循环群被有限生成Abel群的中心扩张,T是G的中心ζG的挠子群.如果T的阶与ζG/(G'⊕T)的挠子群的阶互素,那么群G可分解为G=S×F×T,其中S= 这里d_i都是正整数,满足d_1|d_2|…|d_r,F是秩为s的自由Abel群,T是有限Abel群,T=Z_(e_1)⊕Z_(e_2)⊕…⊕Z_e_t,e_11,满足e_1|e_2|…|e_t,并且(d_1,e_t)=1.进一步,(d_1,d_2,…,d_T;s;e_1,e_2,…,e_t)是群G的同构不变量,即若群H也是无限循环群被有限生成Abel群的中心扩张,T_H是ζH的挠子群.如果T_H的阶与ζH/(H'⊕T_H)的挠子群的阶互索,那么G同构于H的充要条件是它们有相同的不变量.显然,这个结果涵盖了有限生成Abel群的结构定理.     

有限秩的幂零群的自同构

设幂零群G=KP=PK,其中P是有限秩的幂零π-群,K是G的有限秩的π′-自由的正规子群.π不属于K的谱Sp(K),设1=ζ0Gζ1G…ζcG=G是G的上中心列,α和β是G的两个自同构,把α和β在每个商因子ζiG/ζ(i—1)G上的诱导自同构分别记为αi和βi,记Ii:=Im(αiβi—βiαi),则(i)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是G的有限子群时,α和β生成一个可解的几乎Abel群.(ii)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,β和β生成一个可解的NAF-群.特别地,如果α和β是A的两个π′-自同构,那么(iii)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是有限群时,α和β生成的群是有限幂零π-群被有限Abelπ′-群的扩张.(iv)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群时,α和β生成一个可解的剩余有限π∪π′-群,它是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.(v)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,α和β生成一个可解的剩余有限π∪π′-群,它的幂零长度至多是4.当K是FC-群时,在情形(v)中,α和β生成的群是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.此外,如果G=KP,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了对偶的结果.     

关于B_p 群

令 P 为有限群 G 的一个 p-Sylow 子群.G 叫做 B_p 群,如果 N_G(P)为 p- 幂零蕴含 G 为 p- 幂零.本文给出了内 -B_p 群的构造并证明 G 满足下列条件之一时为 B_p 群:1)p 为奇又Ω_1(P)≤Z(P);2)p=2又Ω_2(P)≤Z(P);3)G的任二相异 p-Sylow 子群的交的秩小于p,特别交为循环时;4)G的 2-Sylow 子群的导群为循环且 G 与 S_4 无关.     

剩余有限minimax可解群的自同构

设G是剩余有限minimax可解群,α是G的自同构且φ:G→G(g→[g,α])是满射,则有以下结果:(1)当α~p=1时,G是幂零类不超过h(p)的幂零群的有限扩张,其中h(p)是只与p有关的函数;(2)当α~4=1时,G存在一个指数有限的特征子群H,使得H″≤Z(H)和C_H(α~2)是Abel群.并且C_G(α~2)和G/[G,α~2]都是Abel群的有限扩张.     

带有限性条件Abel群的自同态环和自同构群

给出了带极大或极小条件的Abel群A的自同构群以及自同态环的相伴Lie环是可解或幂零的充要条件.同时也给出了群A=Q_(π1)⊕Q_(π2)⊕…⊕Q_(πr)的自同构群是可解或幂零的充要条件,以及群A的自同态环的相伴Lie环是可解或幂零的充要条件.     

有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

一类p''''-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p'-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I=〈(αβ(g))·(βα(g))-1|g∈G〉,则(i)当I=Zpn (○+) Zp∞时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z (○+) Zp∞时;(iii)当I有正规列1＜J＜I,其商因子分别为无限循环群和有限循环群时;(iv)当I有正规列1＜L＜J＜I,其3个商因子分别为无限循环群、有限循环群和拟循环p-群时.特别地,当上述群K是一个FC-群时,α和β生成的群是有限生成的无挠幂零群被有限p-群的扩张.     

一类p′-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p′-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I:=〈(αβ(g))·(βα(g))~(-1)|g∈G〉,则(i)当I=Z_(p~n)(?)Z_(p~∞)时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z(?)Z_(p~∞)时;(iii)当I有正规列1相似文献   

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

一类多重循环群的剩余有限性质

设A是秩为n(n≥2)的自由Abel群,A的自同构群Aut(A)=GL(n,Z).对整数m,取α=(010…000┆┆┆┆┆┆┆000…0110…0 m)记∈Aut(A).记Г_m(n)=A×<α>则它是一个2元生成的多重循环群.本文给出了Γ_m(n)的准确的剩余有限性质.     

一类带p-Laplacian的Sturm-Liouville型2m点边值问题三个正解的存在性

该文考虑了下面的具一维$p$\,-Laplacian算子的多点边值问题 $ \left\{ \begin{array}{rl} &;\disp (\phi_{p}(x'(t)))'+h(t)f(t,x(t),x'(t))=0,\hspace{3mm}01,~\alpha_{i}>0,~\beta_{i}>0,~0<\sum\limits_{i=1}^{m-1}\alpha_{i}\xi_{i}\leq1,~ 0<\sum\limits_{i=1}^{m-1}\beta_{i}(1-\eta_{i})\leq1,~0=\xi_{0} <\xi_{1}<\xi_{2}<\cdots<\xi_{m-1}<\eta_{1}<\eta_{2}<\cdots<\eta_{m-1}<\eta_{m}=1,~i=1,2,\cdots,m-1.$ 通过运用锥上的不动点定理, 该文得到了至少三个正解的存在性. 有趣的是文中的边界条件是一个新型的Sturm-Liouville型边界条件, 这类边值问题到目前为止还很少被研究.     

Regularity of Positive Solutions for an Integral System on Heisenberg Group

In this paper, we are concerned with the properties of positive solutions of the following nonlinear integral systems on the Heisenberg group $\mathbb{H}^n$, \begin{equation} \left\{\begin{array}{ll} u(x)=\int_{\mathbb{H}^n}\frac{v^{q}(y)w^{r}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ v(x)=\int_{\mathbb{H}^n}\frac{u^{p}(y)w^{r}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ w(x)=\int_{\mathbb{H}^n}\frac{u^{p}(y)v^{q}(y)}{|x^{-1}y|^\alpha|y|^\beta}\,dy,\\ \end{array}\right.\end{equation} for $x\in \mathbb{H}^n$, where $0<\alpha 1$ satisfying $\frac{1}{p+1} $+ $\frac{1}{q+1} + \frac{1}{r+1} = \frac{Q+α+β}{Q}.$ We show that positive solution triples $(u,v,w)\in L^{p+1}(\mathbb{H}^n)\times L^{q+1}(\mathbb{H}^n)\times L^{r+1}(\mathbb{H}^n)$ are bounded and they converge to zero when $|x|→∞.$     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

Finite Gap Jacobi Matrices, II.?The Szeg? Class

Let \frake ì \mathbbR\frak{e}\subset\mathbb{R} be a finite union of disjoint closed intervals. We study measures whose essential support is \frake{\frak{e}} and whose discrete eigenvalues obey a 1/2-power condition. We show that a Szegő condition is equivalent to

E1 ο Ed型距离正则图及 Q -多项式的性质

设$\Gamma$ 是一个直径$d\geq 3$的非二部距离正则图，其特征值 $\theta_{0}>\theta_{1}>\cdots>\theta_{d}.$ 设$\theta_{1'}\in\{ \theta_{1},\theta_{d}\}, $\theta_{d'}$ 是$\theta_{1'}$ 在 $\{\theta_{1},\theta_{d}\}$中的余. 又设 $\Gamma$ 是具有性质$E_{1}\circ E_{d}=|X|^{-1}(q^{d-1}_{1d}E_{d-1}+q^{d}_{1d}E_{d})$的$E_{1}\circ E_{d}$型距离正则图,$\sigma_{0},\sigma_{1},\cdots,\sigma_{d}$,$\rho_{0},\rho_{1},\cdots,\rho_{d}$和$\beta_{0},\beta_{1},\cdots,\beta_{d}$ 分别是关于$\theta_{1'}$,$\theta_{d'}$ 和 $\theta_{d-1}$的余弦序列.利用上述余弦序列,给出了 $\Gamma$关于 $\theta_{1}$ 或$\theta_{d}$是$Q$ -多项式的充要条件.     

Classification of Solutions to a Critically Nonlinear System of Elliptic Equations on Euclidean Half-Space

For $N\geq 3$ and non-negative real numbers $a_{ij}$ and $b_{ij}$ ($i,j= 1, \cdots, m$), the semi-linear elliptic system\begin{equation*} \begin{cases}\Delta u_i+\prod\limits_{j=1}^m u_j^{a_{ij}}=0,\text{in}\mathbb{R}_+^N,\\dfrac{\partial u_i}{\partial y_N}=c_i\prod\limits_{j=1}^m u_j^{b_{ij}},\text{on} \partial\mathbb{R}_+^N,\end{cases}\qquad i=1,\cdots,m,\end{equation*} % is considered, where $\mathbb{R}_+^N$ is the upper half of $N$-dimensional Euclidean space. Under suitable assumptions on the exponents $a_{ij}$ and $b_{ij}$, a classification theorem for the positive $C^2(\mathbb{R}_+^N)\cap C^1(\overline{R_+^N})$-solutions of this system is proven.     

Uniqueness of Positive Solutions for a Nonlinear Elliptic System

In this paper we study the uniqueness of nontrivial positive solutions for the following second order nonlinear elliptic system:

ON THE ALGEBRAIC INDEPENDENCE OF CERTAIN POWER SERIES OF ALGEBRAIC NUMBERS

Letf_v(z)=∑a_(v,,k)z~(λ_(v,k))(v=1,…,s)be s power series with algebraic coefficients a_(v,k),convergence radii R_v>0 and sufficientlyrapidly increasing integers λ_(v,k).It is shown that under certain conditions depending only ona_(v,k) and λ_(v,k),(i)f_1(θ_1),…,f_s(θ_s)are algebraically independent for arbitrary algebraicnumbers θ_1,…,θ_s with θ<丨θ_v丨相似文献   

ISOGENOUS OF THE ELLIPTIC CURVES OVER THE RATIONALS

AbstractAn elliptic curve is a pair (E,O), where ?is a smooth projective curve of genus 1 and O is a point of E, called the point at infinity. Every elliptic curve can be given by a Weierstrass equationE:y2 a1xy a3y = x3 a2x2 a4x a6.Let Q be the set of rationals. E is said to be dinned over Q if the coefficients ai, i = 1,2,3,4,6 are rationals and O is defined over Q.Let E/Q be an elliptic curve and let E(Q)tors be the torsion group of points of E denned over Q. The theorem of Mazur asserts that E(Q)tors is one of the following 15 groupsE(Q)tors　Z/mZ, m = 1,2,..., 10,12,Z/2Z × Z/2mZ, m = 1,2,3,4.We say that an elliptic curve E'/Q is isogenous to the elliptic curve E if there is an isogeny, i.e. a morphism : E E' such that (O) = O, where O is the point at infinity.We give an explicit model of all elliptic curves for which E(Q)tors is in the form Z/mZ where m= 9,10,12 or Z/2Z × Z/2mZ where m = 4, according to Mazur's theorem. Morever, for every family of such elliptic curves, we give an explicit m