相关论文: The derived series of a finite p-group

In this paper, we prove a theorem which adds a new member to the famous G\"oellnitz-Gordon identities. We construct a "new system of recurrence formulas" in order to prove it.

Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all $i\ge 0$: (i) $\exp \Omega_-i(G)\le p^i$ for odd p, and $\exp \Omega_-i(G)\le 2^{i+1}$ for p = 2; (ii) the index $|G:G^{p^i}|$…

Let $G$ be a finite group. Then we denote $\psi(G) = \sum_{x\in G}o(x)$ where $o(x)$ is the order of the element $x$ in $G$. In this paper we characterize some finite $p$-groups ($p$ a prime) by $\psi$ and their orders.

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…

Let G be a finite group. Denote by \psi(G) the sum \psi(G)=\sum_{x\in G}|x| where |x| denotes the order of the element x, and by o(G) the quotient o(G)=\frac{\psi(G)}{|G|}. Confirming a conjecture posed by E.I. Khukhro, A. Moreto and M.…

We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were…

Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of nonabelian simple groups. The minimum number of nonsolvable factors attained on all possible such series is called the…

Given a finite group G, let cd(G) denote the set of degrees of the irreducible complex characters of G. The character degree graph of G is defined as the simple undirected graph whose vertices are the prime divisors of the numbers in cd(G),…

We define discrete generating series for arbitrary functions \( f \colon \mathbb{Z}^n \rightarrow \mathbb{C} \) and derive functional relations that these series satisfy. For linear difference equations with constant coefficients, we…

We prove that the partition function $p(n)$ is log-concave for all $n>25$. We then extend the results to resolve two related conjectures by Chen. The proofs are based on Lehmer's estimates on the remainders of the Hardy--Ramanujan and the…

We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-H\"older decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.

In this paper, we mainly investigate the converse of a well-known theorem proved by P. Hall, and present detailed characterizations under the various assumptions of the existence of some families of Hall subgroups. In particular, we prove…

Let $G$ be a $p$-group of nilpotency class $k$ with finite exponent $\exp(G)$ and let $m=\lfloor\log_pk\rfloor$. We show that $\exp(M^{(c)}(G))$ divides $\exp(G)p^{m(k-1)}$, for all $c\geq1$, where $M^{(c)}(G)$ denotes the c-nilpotent…

Let $\mathsf{r}_k$ be the unique positive root of $x^k - (x+1)^{k-1} = 0$. We prove the best known bounds on the number $n_{g,d}$ of $d$-dimensional generalized numerical semigroups, in particular that \[n_{g,d} > C_d^{g^{(d-1)/d}}…

By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…

We construct for $d\geq 2$ and $\epsilon>0$ a $d$-generated $p$-group $\Gamma$, which in an asymptotic sense behaves almost like a $d$-generated free pro-$p$-group. We show that a subgroup of index $p^n$ needs $(d-\epsilon)p^n$ generators,…

We first provide a detailed proof of Kato's classification theorem of log $p$-divisible groups over a noetherian henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite…

We prove that for every $\epsilon > 0$ there exists a $\delta > 0$ so that every group of order $n \geq 3$ has at least $\delta \log_{2} n/{(\log_{2} \log_{2} n)}^{3+\epsilon}$ conjugacy classes. This sharpens earlier results of Pyber and…

Let $\gamma_i(G)$ and $Z_i(G)$ denote the $i$-th terms of the lower and upper central series of a group $G$, respectively. P. Hall showed that if $\gamma_{i+1}(G)$ is finite then the index $|G:Z_{2i}(G)|$ is finite. We prove that the same…