On finite core-p2p-groups

A p-group G is called a core-$p^2$ group if $|H:H_G|\le p^2$ for every subgroup H of G (where $H_G$ denotes the normal core of H in G). In this paper, it is proved that the nilpotent class of a finite core-$p^2$p-group is at most 5 if $p\ge 3$, which is the best upper bound, and the derived length of a finite core-$p^2$p-group is at most 3 if $p\ge 3$, which is also the best upper bound.     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

Elliptic operators with unbounded diffusion,drift and potential terms

We prove that the realization $A_p$ in $L^p({\mathbb{R}}^N),1<p<\infty$, of the elliptic operator $A=(1+|x{|}^{\alpha })\mathrm{\Delta }+b|x{|}^{\alpha ?1}\frac{x}{|x|}?\mathrm{?}?c|x{|}^{\beta }$ with domain $D(A_p)=\{u\in W^{2,p}({\mathbb{R}}^N)|Au\in L^p({\mathbb{R}}^N)\}$ generates a strongly continuous analytic semigroup $T(?)$ provided that $\alpha >2,\beta >\alpha ?2$ and any constants $b\in \mathbb{R}$ and $c>0$. This generalizes the recent results in [4] and in [16]. Moreover we show that $T(?)$ is consistent, immediately compact and ultracontractive.     

Kato–Milne cohomology and polynomial forms

Given a prime number p, a field F with $\mathrm{char}(F)=p$ and a positive integer n, we study the class-preserving modifications of Kato–Milne classes of decomposable differential forms. These modifications demonstrate a natural connection between differential forms and p-regular forms. A p-regular form is defined to be a homogeneous polynomial form of degree p for which there is no nonzero point where all the order $p?1$ partial derivatives vanish simultaneously. We define a ${\stackrel{?}{C}}_{p,m}$ field to be a field over which every p-regular form of dimension greater than $p^m$ is isotropic. The main results are that for a ${\stackrel{?}{C}}_{p,m}$ field F, the symbol length of $H_p^2(F)$ is bounded from above by $p^{m?1}?1$ and for any $n??(m?1){\log }_2?(p)?+1$, $H_p^{n+1}(F)=0$.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

Existence of standing waves of nonlinear Schrödinger equations with potentials vanishing at infinity

For a singularly perturbed nonlinear elliptic equation ${\epsilon }^2\mathrm{\Delta }u?V(x)u+u^p=0$, $x\in {\mathbb{R}}^N$, we prove the existence of bump solutions concentrating around positive critical points of V when nonnegative V is not identically zero for $p\in (\frac{N}{N?2},\frac{N+2}{N?2})$ or nonnegative V satisfies ${\mathrm{l}\mathrm{i}\mathrm{m}\mathrm{i}\mathrm{n}\mathrm{f}}_{|x|\to \infty }V(x){|x|}^2\log |x|>0$ for $p=\frac{N}{N?2}$.     

On the Schur multiplier of special p-groups

Let G be a special p-group minimally generated by $d\ge 3$ elements and having derived subgroup of order $p^{\frac{1}{2}d(d?1)}$. Berkovich asked to find the Schur multiplier and covering groups of such groups G Berkovich and Janko (2011) [1]. We try to give an answer to this question in this article.     

On the positive radial solutions of a class of singular semilinear elliptic equations

In this paper, we consider the following elliptic equation(0.1)$\mathit{div}\left(A\right(|x|\left)\mathrm{?}u\right)+B(|x|)u^p=0\text{in}{\mathbb{R}}^n,$ where $p>1$, $n?3$, $A(|x|)>0$ is differentiable in ${\mathbb{R}}^n?\{0\}$ and $B(|x|)$ is a given nonnegative Hölder continuous function in ${\mathbb{R}}^n?\{0\}$. The asymptotic behavior at infinity and structure of separation property of positive radial solutions with different initial data for (0.1) are discussed. Moreover, the existence and separation property of infinitely many positive solutions for Hardy equation and an equation related to Caffarelli–Kohn–Nirenberg inequality are obtained respectively, as special cases.     

On exceptional groups of order p5

A finite group G is exceptional if it has a quotient Q whose minimal faithful permutation degree is greater than that of G. We say that Q is a distinguished quotient.The smallest examples of exceptional p-groups have order $p^5$. For an odd prime p, we classify all pairs $(G,Q)$ where G has order $p^5$ and Q is a distinguished quotient. (The case $p=2$ has already been treated by Easdown and Praeger.) We establish the striking asymptotic result that as p increases, the proportion of groups of order $p^5$ with at least one exceptional quotient tends to 1/2.     

Partial cohomology of groups and extensions of semilattices of abelian groups

We extend the notion of a partial cohomology group $H^n(G,A)$ to the case of non-unital A and find interpretations of $H^1(G,A)$ and $H^2(G,A)$ in the theory of extensions of semilattices of abelian groups by groups.     

A sharp Balian–Low uncertainty principle for shift-invariant spaces

A sharp version of the Balian–Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators ${\{f_k\}}_{k=1}^K?L^2({\mathbb{R}}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space V, and if V has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy ${\int }_{{\mathbb{R}}^d}|x||f_k(x){|}^{2}dx=\infty$, namely, $\stackrel{?}{f_k}?H^{1/2}({\mathbb{R}}^d)$. Similar results are proven for frames of translates that are not Riesz bases without the assumption of extra lattice invariance. The best previously existing results in the literature give a notably weaker conclusion using the Sobolev space $H^{d/2+?}({\mathbb{R}}^d)$; our results provide an absolutely sharp improvement with $H^{1/2}({\mathbb{R}}^d)$. Our results are sharp in the sense that $H^{1/2}({\mathbb{R}}^d)$ cannot be replaced by $H^s({\mathbb{R}}^d)$ for any $s<1/2$.