A characterization of permutation modules

Let k be a field of positive characteristic p, and let P be a finite p-group. In this paper, I state a combinatorial characterization of finite dimensional permutation kP-modules.     

A characterization of finite symplectic polar spaces of odd prime order

A sufficient condition for the representation group for a nonabelian representation (Definition 1.1) of a finite partial linear space to be a finite p-group is given (Theorem 2.9). We characterize finite symplectic polar spaces of rank r at least two and of odd prime order p as the only finite polar spaces of rank at least two and of prime order admitting nonabelian representations. The representation group of such a polar space is an extraspecial p-group of order p1+2r and of exponent p (Theorems 1.5 and 1.6).     

Residual <Emphasis Type="Italic">p</Emphasis>-finiteness of generalized free products of groups

Let p be a prime number. Recall that a group G is said to be a residually finite p-group if for every non-identity element a of G there exists a homomorphism of the group G onto a finite p-group such that the image of a does not coincide with the identity. We obtain a necessary and sufficient condition for the free product of two residually finite p-groups with finite amalgamated subgroup to be a residually finite p-group. This result is a generalization of Higman’s theorem on the free product of two finite p-groups with amalgamated subgroup.     

On the number of distinct multinomial coefficients

We study M(n), the number of distinct values taken by multinomial coefficients with upper entry n, and some closely related sequences. We show that both pP(n)/M(n) and M(n)/p(n) tend to zero as n goes to infinity, where pP(n) is the number of partitions of n into primes and p(n) is the total number of partitions of n. To use methods from commutative algebra, we encode partitions and multinomial coefficients as monomials.     

A direct combinatorial proof of the Jacobi identity

An alternate form of the Jacobi identity is equivalent to the assertion that the number of partitions of a Gaussian integer r + si into an odd number of distinct non-zero Gaussian integers p + qi such that ip ? qi ≤ 1,p≥0,q≥0, is equal to the number of partitions into an even number of such integers, except when r and s are consecutive triangular numbers. A proof of this assertion is given, based on a dot diagram analogous to that used in Franklin's proof of Euler's theorem relating to the number of partitions of a natural integer into an odd and an even number of distinct parts.     

An answer to Hirasaka and Muzychuk: Every p-Schur ring over Cp3 is Schurian

In Hirasaka and Muzychuk [An elementary abelian group of rank 4 is a CI-group, J. Combin. Theory Ser. A 94 (2) (2001) 339–362] the authors, in their analysis on Schur rings, pointed out that it is not known whether there exists a non-Schurian p-Schur ring over an elementary abelian p-group of rank 3. In this paper we prove that every p-Schur ring over an elementary abelian p-group of rank 3 is in fact Schurian.     

Congruences for the number of spin characters of the double covers of the symmetric and alternating groups

Let p be an odd prime. The bar partitions with sign and p-bar-core partitions with sign respectively label the spin characters and p-defect zero spin characters of the double cover of the symmetric group, and by restriction, those of the alternating group. The generating functions for these objects have been determined by J. Olsson. We study these functions from an arithmetic perspective, using classical analytic tools and elementary generating function manipulation to obtain many Ramanujan-like congruences.     

Galois ring extensions and localized modular rings of invariants of p-groups

We apply recent results on Galois-ring extensions and trace surjective algebras to analyze dehomogenized modular invariant rings of finite p-groups, as well as related localizations. We describe criteria for the dehomogenized invariant ring to be polynomial or at least regular and we show that for regular affine algebras with possibly non-linear action by a p-group, the singular locus of the invariant ring is contained in the variety of the transfer ideal. If V is the regular module of an arbitrary finite p-group, or V is any faithful representation of a cyclic p-group, we show that there is a suitable invariant linear form, inverting which renders the ring of invariants into a “localized polynomial ring” with dehomogenization being a polynomial ring. This is in surprising contrast to the fact that for a faithful representation of a cyclic group of order larger than p, the ring of invariants itself cannot be a polynomial ring by a result of Serre. Our results here generalize observations made by Richman [R] and by Campbell and Chuai [CCH].     

Counterexamples to a rank analog of the Shepherd-Leedham-Green-Mckay theorem on finite p-groups of maximal nilpotency class

By the Shepherd-Leedham-Green-McKay theorem on finite p-groups of maximal nilpotency class, if a finite p-group of order p ⁿ has nilpotency class n?1, then f has a subgroup of nilpotency class at most 2 with index bounded in terms of p. Some counterexamples to a rank analog of this theorem are constructed that give a negative solution to Problem 16.103 in The Kourovka Notebook. Moreover, it is shown that there are no functions r(p) and l(p) such that any finite 2-generator p-group whose all factors of the lower central series, starting from the second, are cyclic would necessarily have a normal subgroup of derived length at most l(p) with quotient of rank at most r(p). The required examples of finite p-groups are constructed as quotients of torsion-free nilpotent groups which are abstract 2-generator subgroups of torsion-free divisible nilpotent groups that are in the Mal’cev correspondence with “truncated” Witt algebras.     

On Conjugacy p-Separability of Free Products of Two Groups with Amalgamation

It is proved that a free product of two finite p-groups with amalgamated central subgroups is a conjugacy p-separable group. With the help of this result, it is proved that a free product with amalgamated subgroups of two finitely generated Abelian groups is a residually finite p-group if and only if it is conjugacy p-separable.     

The Lattice of Fully Invariant Subgroups of the Cotorsion Hull

In this paper, we consider the lattice of fully invariant subgroups of the cotorsion hull of a separable p-group, which is assumed to be an arbitrary direct sum of torsion-complete p-groups. It is shown that this lattice is isomorphic to the lattice of filters of a lower semilattice made up of infinite matrices.     

可除阿贝尔p-群的自同构群

主要探讨了秩大于或者等于p-1的可除阿贝尔p-群的p-自同构群,并且得到这些p-自同构如何作用在该可除阿贝尔p-群上.这些结论有助于进一步理解 ?ernikov p-群的结构.     

A characterization of powerful p-groups

In [10] Benjamin Klopsch and Ilir Snopce recently posted the conjecture that for p ≥ 3 and G a torsion-free pro-p group, d(G) = dim(G) is a sufficient and necessary condition for the pro-p group G to be uniform. They pointed out that this follows from the more general question of whether for a finite p-group d(G) = log _p (|Ω₁(G)|) is a sufficient and necessary condition for the group G to be powerful. In this short note we will give a positive answer to this question for p ≥ 5.     

An application of Taylor series in the approximation of solutions to stochastic differential equations with time-dependent delay

The subject of this paper is the analytic approximation method for solving stochastic differential equations with time-dependent delay. Approximate equations are defined on equidistant partitions of the time interval, and their coefficients are Taylor approximations of the coefficients of the initial equation. It will be shown, without making any restrictive assumption for the delay function, that the approximate solutions converge in L^p-norm and with probability 1 to the solution of the initial equation. Also, the rate of the L^p convergence increases when the degrees in the Taylor approximations increase, analogously to what is found in real analysis. At the end, a procedure will be presented which allows the application of this method, with the assumption of continuity of the delay function.     

Congruences for broken 3-diamond and 7 dots bracelet partitions

Andrews and Paule introduced broken k-diamond partitions by using MacMahon’s partition analysis. Later, Fu found a generalization which he called k dots bracelet partitions. In this paper, with the aid of Farkas and Kra’s partition theorem and a p-dissection identity of f(?q), we derive many congruences for broken 3-diamond partitions and 7 dots bracelet partitions.     

Embedding problems with local conditions and the admissibility of finite groups

Let K be a field of characteristic p > 0, which has infinitely many discrete valuations. We show that every finite embedding problem for Gal(K) with finitely many prescribed local conditions, whose kernel is a p-group, is properly solvable. We then apply this result in studying the admissibility of finite groups over global fields of positive characteristic. We also give another proof for a result of Sonn.     

On <Emphasis Type="Italic">p</Emphasis>-groups having the minimal number of conjugacy classes of maximal size

A long-standing question is the following: do there exist p-groups of odd order having precisely p-1 conjugacy classes of the largest possible size? We exhibit a 3-group with this property.     

On an embedding of certainp-groups

It is shown that ap-group with cyclic centre can be embedded in a finite group as a normal subgroup contained in its Frattini subgroup if and only if it is either an extraspecial 2-group of order at least 2⁷ or the central product of a cyclic groupQ of order ≧4 and an extraspecial groupE of order ≧2⁵, amalgamating Ω₁ (Q) and the centre ofE.     

Virtually free pro-p groups

We prove that in the category of pro-p groups any finitely generated group G with a free open subgroup splits either as an amalgamated free product or as an HNN-extension over a finite p-group. From this result we deduce that such a pro-p group is the pro-p completion of a fundamental group of a finite graph of finite p-groups.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.