广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...     

广义超特殊p-群的自同构群(Ⅱ)

重新确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|ζG|=p~m,其中n≥1,m≥2,Aut_cG是AutG中平凡地作用在ζG上的元素形成的正规子群,则(i)若p是奇素数,则AutG=〈θ〉×Aut_cG,其中θ的阶是(p-1)p~(m-1);若p=2,则AutG=〈θ_1,θ_2〉×Aut_cG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2m-2)×Z_2.(ii)如果G的幂指数是p~m,那么Aut_cG/InnG≌Sp(2n,p).(iii)如果G的幂指数是p~(m+1),那么Aut_cG/InnG≌K×Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群(若p是奇素数)或者初等Abel 2-群.特别地,当n=1时,Aut_cG/InnG≌Z_p.     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊P-群G的自同构群的结构.设|G|=p2n+m,|ζG|=pm,其中n≥1,m≥2,AutfG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是pm时,(i)如果p是奇素数,那么Aut G/AutfG≌Z(p_1)pm-2,并且AutfG/Inn G≌Sp(2n,p)×zp.(ii)如果p=2,那么AutG=AutfG(若m=2)或者AutG/AutfG≌Z2m-3×z2(若m≥3),并且AutfG/InnG≌Sp(2n,2)× z2.(2)当G的幂指数是pm+1时,(i)如果p是奇素数,那么AutG=<θ>×AutfG,其中p的阶是(p-1)pm-1,且AutfG/InnG≌K(×)Sp(2n-2,p),其中K是p2n-1阶超特殊p-群.(ii)如果p=2,那么Aut G=<θ1,θ2>(×) AutfG,其中<θ1,θ2>=<θ1>×<θ2>≌Z2m-2×Z2,并且AutfG/InnG≌K(×)Sp(2n-2,2),其中K是22n-1阶初等Abel 2-群.特别地,当n=1时,AutfG/InnG≌Zp.     

二面体群的增广商群

记整群环ZG的增广理想△(G)的n次幂为△~n(G).描述了二面体群G=D_2t_r(t≥2,r为奇数)的n-次增广商群Q_n(G)=△n(G)/△~(n+1)(G)的结构,并得到Q_n(D_2t_r)≌Z_2~((s(n))),其中,如果1≤n≤t,那么s(n)=2n;如果n≥t+1,那么s(n)=2t+1.     

Automorphisms of a Class of Finite p-groups with a Cyclic Derived Subgroup

Let p be an odd prime,and let k be a nonzero nature number.Suppose that nonabelian group G is a central extension as follows1→G'→G→Z_(p~k)×…×Z_(p~k),where G'≌Z_(p~k),and ζG/G' is a,direct factor of G/G'.Then G is a central product of an extraspecial p~kgroup E and ζG.Let |E|=p~((2n+1)k) and |ζG|=p~((m+1)k).Suppose that the exponents of E and ζG are p~(k+l) and p~(k+r),respectively,where 0≤l,r≤k.Let Aut_(G') G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G',let Aut_(G/ζG,ζG) G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζG and let Aut_(G/ζG,ζG/G') G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on ζG/G'.Then(ⅰ) The group extension 1→Aut G'→Aut G→Aut G'→1 is split.(ⅱ) Aut_(G') G/Aut_(G/ζG,ζG) G≌G_1 × G_2,where Sp(2n-2,Z_(p~k))■H≤G_1≤Sp(2n,Z_(p~k)),H is an extraspecial p~k-group of order p~((2n-1)k) and(GL(m-1,Z_(p~k))■Z_(p~k)~((m-1))■Z_(p~k)~((m))≤G_2≤GL(m,Z_(p~k))■Z_(p~k)~((m)).In particular,G_1=Sp(2n-2,Z~(p~k))■ H if and only if l=k and r=0;G_1=Sp(2n,Z_(p~x)) if and only if l≤r;G_2=(GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1))■ Z_(p~k)~((m)) if and only if r=k;G_2=GL(m,Z_(p~k))■Z_(p~k)((m)) if and only if r=0.(ⅲ) Aut_(G') G/Aut_( G/ζG,ζG/G') G≌G_1 × G_3,where G_1 is defined in(ⅱ);GL(ml,Z_(p~k))■ Z_(p~k)~((m-1))≤G_3 ≤GL(n,Z_(p~k)).In particular,G_3=GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1)) if and only if r=k;G_3=GL(m,Z_(p~k)) if and only if r=0.(ⅳ) Ant_(G/ζG,ζG/G') G≌ Aut_(G/ζG,ζG/G') G■ Z_(p~k)~((m)),If m=0,then Ant_(G/ζG,ζG/G') G=Inn G≌Z_(p~k)~((2n));If m 0,then Ant_(G/ζG,ζG/G') G≌Z_(p~k)~((2nm))×Z_(p~(k-r))~((2n)),and Aut_(G/ζG,ζG) G/Inn G≌Z_(p~k)~((2n(m-1))× Z_(p~(k-r))~((2n)).     

The automorphism group of a generalized extraspecial p-group

In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {α∈ AutG | α acts trivially on G }. Then Aut G G⊿AutG and AutG/Aut G G≌Z p-1 . Furthermore, (i) If G is of exponent p m , then Aut G G/InnG≌Sp(2n, p) × Z p m-1 . (ii) If G is of exponent p m+1 , then Aut G G/InnG≌ (K Sp(2n-2, p))×Z p m-1 , where K is an extraspecial p-group of order p 2n-1 . In particular, Aut G G/InnG≌ Z p × Z p m-1 when n = 1. (2) When p = 2, then, (i) If G is of exponent 2 m , then AutG≌ Sp(2n, 2) × Z 2 × Z 2 m-2 . In particular, when n = 1, |AutG| = 3 · 2 m+2 . None of the Sylow subgroups of AutG is normal, and each of the Sylow 2-subgroups of AutG is isomorphic to H K, where H = Z 2 × Z 2 × Z 2 × Z 2 m-2 , K = Z 2 . (ii) If G is of exponent 2 m+1 , then AutG≌ (I Sp(2n-2, 2)) × Z 2 × Z 2 m-2 , where I is an elementary abelian 2-group of order 2 2n-1 . In particular, when n = 1, |AutG| = 2 m+2 and AutG≌ H K, where H = Z 2 × Z 2 × Z 2 m-1 , K = Z 2 .     

关于广义超特殊p-群的自同构群

用如下的方式确定了广义超特殊p-群G的自同构群.设|G|=p2n+m,|ζG|=pm,|N|=pl并且G'≤N≤ζG,其中n≥1且m≥2.AutnG表示AutG中平凡地作用在N上的所有自同构形成的正规子群.则(1)当p是奇素数时,AutG/AunG≌Z(p-1)pl-1.进一步地,(i)如果G的幂指数是pm,则Autn...     

二面体群的增广商群

记整群环ZG的增广理想△(G)的n次幂为△n(G).描述了二面体群G=D2t2r,(t≥2,r为奇数)的n-次增广商群Qn(G):△n(a)/△n+1(G)的结构,并得到Qn(D<2tr)≌Z2(s(n)),其中,如果1≤n≤t,那么s(n)=2n;如果n≥t+1,那么s(n)=2t+1.     

广义超特殊p-群的自同构群

确定了广义超特殊p-群G的自同构群的结构.假设｜G｜=p^2n＋m,｜ζG｜=p^m,其中n≥1,m≥2,（1）当p是奇数时,记AutG＇G={α∈AutG｜α在G上作用平凡},则（i）AutG＇G Aut G,Aut G/AutG＇G=～Zp-1;（ii）如果G的幂指数是p^m,那么AutG＇G/InnG=～Sp（2n,p）×Zp^m-1;（iii）如果G的幂指数是p^m＋1,那么AutG＇G/InnG=～（K×Sp（2n-2,p））×Zp^m-1,其中K是p^2n-1阶超特殊p-群.特别地,当n=1时,AutG＇G/Inn G=～Zp×Zp^m-1.（2）当p=2时,（i）如果G的幂指数是2^m,那么Out G=～Sp（2n,2）×Z2×Z2^m-2.特别地,当n=1时,｜Aut G｜=3·2^m＋2,Aut G的Sylow子群都不是正规子群,并且Aut G的Sylow 2-子群都同构于HK,其中H=Z2×Z2×Z2×Z2^m-2,K=Z2.（ii）如果G的幂指数是2^m＋1,那么OutG=～（ISp（2n2,2））×Z2×Z2^m-2,其中I是一个2^2n-1阶初等Abel 2-群.特别地,当n=1时,｜AutG｜=2^m＋2并且Aut G=～HK,其中H=Z2×Z2×Z2^m-1,K=Z2.     

数学奥林匹克问题选登

1992年6月号问题解答 (解答由问题提供人给出) 25.证明因为不等式(*)关于x,y,z对称,所以不妨设x≤y≤z,令y=x+m,z=x+m+n(x≥0,m≥0,n≥0),代入不等式(*)两边得 x·(x+2m+n)~2+(x+m)·(x+n)~2+(x+m+n)·(x-n)~2     

有循环极大子群的素数幂阶群的作用是边传递的图(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.     

笛卡尔乘积图的圈点连通度

图G的圈点连通度,记为κ_c(G),是所有圈点割中最小的数目,其中每个圈点割S满足G-S不连通且至少它的两个分支含圈.这篇文章中给出了两个连通图的笛卡尔乘积的圈点连通度:(1)如果G_1≌K_m且G_2≌K_n,则κ_c(G_1×G_2)=min{3m+n-6,m+3n-6},其中m+n≥8,m≥n+2,或n≥m+2,且κ_c(G_1×G_2)=2m+2n-8,其中m+n≥8,m=n,或n=m+1,或m=n+11;(2)如果G_1≌K_m(m≥3)且G_2■K_n,则min{3m+κ(G_2)-4,m+3κ(G_2)-3,2m+2κ(G_2)-4}≤κ_c(G_1×G_2)≤mκ(G2);(3)如果G_1■K_m,K_(1,m-1)且G_2■K_n,K_(1,n-1),其中m≥4,n≥4,则min{3κ(G_1)+κ(G_2)-1,κ(G_1)+3κ(G_2)-1,2_κ(G_1)+2_κ(G_2)-2}≤κ_c(G_1×G_2)≤min{mκ(G_2),nκ(G_1),2m+2n-8}.     

Non-Negative Integer Matrix Representations of a $\mathbb{Z}_{+}$-Ring

The $\mathbb{Z}_{+}$-ring is an important invariant in the theory of tensor category. In this paper, by using matrix method, we describe all irreducible $\mathbb{Z}_{+}$-modules over a $\mathbb{Z}_{+}$-ring $\mathcal{A}$, where $\mathcal{A}$ is a commutative ring with a $\mathbb{Z}_{+}$-basis{$1$, $x$, $y$, $xy$} and relations: $$ x^{2}=1,\;\;\;\;\; y^{2}=1+x+xy.$$We prove that when the rank of $\mathbb{Z}_{+}$-module $n\geq5$, there does not exist irreducible $\mathbb{Z}_{+}$-modules and when the rank $n\leq4$, there exists finite inequivalent irreducible $\mathbb{Z}_{+}$-modules, the number of which is respectively 1, 3, 3, 2 when the rank runs from 1 to 4.     

A Nonhomogeneous Boundary Value Problem for the Boussinesq Equation on a Bounded Domain

In this paper, we study the well-posedness of an initial-boundary-value problem (IBVP) for the Boussinesq equation on a bounded domain,\begin{cases} &u_{tt}-u_{xx}+(u^2)_{xx}+u_{xxxx}=0,\quad x\in (0,1), \;\;t>0,\\ &u(x,0)=\varphi(x),\;\;\; u_t(x,0)=ψ(x),\\ &u(0,t)=h_1(t),\;\;\;u(1,t)=h_2(t),\;\;\;u_{xx}(0,t)=h_3(t),\;\;\;u_{xx}(1,t)=h_4(t).\\ \end{cases} It is shown that the IBVP is locally well-posed in the space $H^s (0,1)$ for any $s\geq 0$ with the initial data $\varphi,$ $\psi$ lie in $H^s(0,1)$ and $ H^{s-2}(0,1)$, respectively, and the naturally compatible boundary data $h_1,$ $h_2$ in the space $H_{loc}^{(s+1)/2}(\mathbb{R}^+)$, and $h_3 $, $h_4$ in the the space of $H_{loc}^{(s-1)/2}(\mathbb{R}^+)$ with optimal regularity.     

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|→∞.$     

Constructions of p-ary Quadratic Bent Functions

Bent functions have many applications in the fields of coding theory, communications and cryptography. This paper studies the constructions of bent functions having the form for odd n and for even n, over the finite field of odd characteristic p, where . Based on the irreducibility of some polynomials on , we focus on characterizing the bent functions for n=p ^v q ^r and n=2p ^v q ^r , where is an odd prime and p a primitive root modulo q ². Moreover, the enumerations of those functions are also considered. Partially supported by the NSF of China under Grants No. 60603012 and No. 60573053.     

Boundedness Characterization of Maximal Commutators on Orlicz Spaces in the Dunkl Setting

On the real line, the Dunkl operators$$D_{\nu}(f)(x):=\frac{d f(x)}{dx} + (2\nu+1) \frac{f(x) - f(-x)}{2x}, ~~ \quad\forall \, x \in \mathbb{R}, ~ \forall \, \nu \ge -\tfrac{1}{2}$$are differential-difference operators associated with the reflection group $\mathbb{Z}_2$ on $\mathbb{R}$, and on the $\mathbb{R}^d$ the Dunkl operators $\big\{D_{k,j}\big\}_{j=1}^{d}$ are the differential-difference operators associated with the reflection group $\mathbb{Z}_2^d$ on $\mathbb{R}^{d}$.In this paper, in the setting $\mathbb{R}$ we show that $b \in BMO(\mathbb{R},dm_{\nu})$ if and only if the maximal commutator $M_{b,\nu}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R},dm_{\nu})$. Also in the setting $\mathbb{R}^{d}$ we show that $b \in BMO(\mathbb{R}^{d},h_{k}^{2}(x) dx)$ if and only if the maximal commutator $M_{b,k}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R}^{d},h_{k}^{2}(x) dx)$.     

关于Banach空间一阶非线性脉冲积分-微分方程初值问题解存在性的注记

设m(t)∈C[Jk,R ](k=1,2,…,m),且满足不等式m(t)<(L1 L2t)∫tn(s)ds L3t∫a m(s)ds ∑o0满足KaLs(eδ(L1 aL2)-1)相似文献   

阶极小渐近基

Let N denote the set of all nonnegative integers and A be a subset of N.Let W be a nonempty subset of N.Denote by F~*(W) the set of all finite,nonempty subsets of W.Fix integer g≥2,let A_g(W) be the set of all numbers of the form sum f∈Fa_fg~f where F∈F~*(W)and 1≤a_f≤g-1.For i=0,1,2,3,let W_i = {n∈N|n≡ i(mod 4)}.In this paper,we show that the set A = U_i~3=0 A_g(W_i) is a minimal asymptotic basis of order four.