Finite p-groups with a minimal non-abelian subgroup of index p(Ⅲ)

This paper finishes the classification of three-generator finite p-groups G such that Φ(G) Z(G).This paper is a part of classification of finite p-groups with a minimal non-abelian subgroup of index p, and partly solves a problem proposed by Berkovich(2008).     

Finite p-groups with a minimal non-abelian subgroup of index p(Ⅱ)

We classify completely three-generator finite p-groups G such that Ф(G)≤Z(G)and|G′|≤p2.This paper is a part of the classification of finite p-groups with a minimal non-abelian subgroup of index p,and solve partly a problem proposed by Berkovich.     

Sufficient discreteness conditions for 2-generator subgroups in PSL(2, ℂ)

Every element in PSL(2, ?) is elliptic, parabolic, or loxodromic. For the groups generated by two elliptic elements, sufficient discreteness conditions were obtained by Gehring, Maclachlan, Martin, and Rasskazov. In this article we establish sufficient discreteness conditions for the groups generated by two loxodromic elements and the groups generated by a loxodromic element and an elliptic element.     

Finite p-groups all of whose cyclic subgroups A, Bwith A ∩ B ≠ {1} generate an abelian group

We characterize the title p-groups for all primes p.     

A classification of some regular p-groups and its applications

In this paper we classify regular p-groups with type invariants (e, 1,1,1) for e≥2 and (1,1,1,1,1). As a by-product, we give a new approach to the classification of groups of order p5, p ≥ 5 a prime.     

Finite factorizable groups with solvable ℙ2-subnormal subgroups

A subgroup H of a finite group G is called ?²-subnormal whenever there exists a subgroup chain H = H ₀ ≤ H ₁ ≤ ... ≤ H _n = G such that |H _i+1: H _i | divides prime squares for all i. We study a finite group G = AB on assuming that A and B are solvable subgroups and the indices of subgroups in the chains joining A and B with the group divide prime squares. In particular, we prove that a group of this type is solvable without using the classification of finite simple groups.     

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

Finite π-Quasisurpersolvable Groups

Ｆｉｎｉｔｅπ－ＱｕａｓｉｓｕｒｐｅｒｓｏｌｖａｂｌｅＧｒｏｕｐｓＹｕＹｕｅｈｕａ（于越华）（ＩｎｓｔｉｔｕｔｅｏｆＩｎｆｏｒｍａｔｉｏｎａｌＥｎｇｉｎｅｅｒｉｎｇ，Ｚｈｅｎｇｚｈｏｕ４５０００２）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒｗｅｈａｖｅ...     

On Bilinear Complexity of Multiplying 2 × 2-Matrix by 2 × m-Matrix over Finite Field

Moscow University Computational Mathematics and Cybernetics - The problem of the least number of multiplications required to compute the product of a 2 × 2-matrix X and a 2 × m-matrix Y...     

On automorphisms of finite Abelian <Emphasis Type="Italic">p</Emphasis>-groups

Let A be a finitely generated abelian group. We describe the automorphism group Aut(A) using the rank of A and its torsion part p-part A _p . For a finite abelian p-group A of type (k ₁, ..., k _n ), simple necessary and sufficient conditions for an n × n-matrix over integers to be associated with an automorphism of A are presented. Then, the automorphism group Aut(A) for a finite p-group A of type (k ₁, k ₂) is analyzed. This work has begin during the visit of the second author to the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University during the period July 31–August 13, 2005. This visit was supported by the Nicolaus Copernicus University and a grant from Cnpq.     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

Essential dimension of finite <Emphasis Type="Italic">p</Emphasis>-groups

We prove that the essential dimension and p-dimension of a p-group G over a field F containing a primitive p-th root of unity is equal to the least dimension of a faithful representation of G over F. Mathematics Subject Classification (2000) 20G15; 14C35     

Omega subgroups of powerful <Emphasis Type="Italic">p</Emphasis>-groups

Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all i ≥ 0: (i) exp Ω_i(G) ≤ p ⁱ for odd p, and expΩ_i(G) ≤ 2 ⁱ⁺¹ for p = 2; (ii) the index |G: G ^{p i}| coincides with the number of elements of G of order at most p ⁱ. Supported by the Spanish Ministry of Science and Education, grant MTM2004-04665, partly with FEDER funds, and by the University of the Basque Country, grant UPV05/99.     

Dimension subgroups and<Emphasis Type="Italic">p</Emphasis>-th powers in<Emphasis Type="Italic">p</Emphasis>-groups

We prove that if the nilpotence class of ap-group is strictly less thanp ^kthen every product ofp ^k-thpowers can be written as thep-th power of an element. Scoppola and Shalev have proven the same thing for groups of class strictly less thanp ^k−p ^k−1. They also provide an example which proves that ours is the best possible result. This is a generalization of the well known fact that in groups of class strictly less thanp every product ofp-powers is again ap-th power. Along the way we prove results of independent interest on dimension subgroups ofp-groups.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

<Emphasis Type="Italic">p</Emphasis>-Ideals in <Emphasis Type="Italic">p</Emphasis>-Regular Semirings

In this paper, we introduce p-ideals in semirings. A new form of regularity, which is compatible with p-ideals, is defined. Our aim is to explore the possibilities of establishing an ideal theory in semirings, going alongside the existing literature of semiring theory.AMS Subject Classification (2000): Primary 16Y60     

A note on <Emphasis Type="Italic">p</Emphasis>-groups of order ≤ <Emphasis Type="Italic">p</Emphasis><Superscript>4</Superscript>

In [1], we defined c(G), q(G) and p(G). In this paper we will show that if G is a p-group, where p is an odd prime and |G| ≤ p ⁴, then c(G) = q(G) = p(G). However, the question of whether or not there is a p-group G with strict inequality c(G) = q(G) < p(G) is still open.     

On automorphisms of some finite <Emphasis Type="Italic">p</Emphasis>-groups

We give a sufficient condition on a finite p-group G of nilpotency class 2 so that Aut _c (G) = Inn(G), where Aut _c (G) and Inn(G) denote the group of all class preserving automorphisms and inner automorphisms of G respectively. Next we prove that if G and H are two isoclinic finite groups (in the sense of P. Hall), then Aut _c (G) ≃ Aut _c (H). Finally we study class preserving automorphisms of groups of order p ⁵, p an odd prime and prove that Aut _c (G) = Inn(G) for all the groups G of order p ⁵ except two isoclinism families.