The author in $($On the order of Schur multiplier of non-abelian $p$-groups. J. Algebra (2009).322: 4479--4482$)$ showed that for any $p$-group $G$ of order $p^n$ there exists a nonnegative integer $s(G)$ such that the order of Schur multiplier of $G$ is equal to $p^{\f{1}{2}(n-1)(n-2)+1-s(G)}$. Furthermore, he characterized the structure of all non-abelian $p$-groups $G$ when $s(G)=0$. The present paper is devoted to characterization of all $p$-groups when $s(G)=2$.
We give a bound on the order of the Schur multiplier of $p$-groups refining earlier bounds. As an application we complete the classification of groups having Schur multiplier of maximum order. Finally we prove that the order of the Schur multiplier of a finite $p$-group of maximal class and order $p^n$ is at most $p^{\frac{n}{2}}$.
We describe an algorithm for computing successive quotients of the Schur multiplier $M(G)$ for a group $G$ given by an invariant finite $L$-presentation. As application, we investigate the Schur multipliers of various self-similar groups such as the Grigorchuk super-group, the generalized Fabrykowski-Gupta groups, the Basilica group and the Brunner-Sidki-Vieira group.
In this paper, we determine the structure of the nilpotent multipliers of all pairs $(G,N)$ of finitely generated abelian groups where $N$ admits a complement in $G$. Moreover, some inequalities for the nilpotent multipliers of pairs of finite groups and their factor groups are given.
Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.
An explicit formula for the Schur multiplier of the group of unitriangular matrices over products of cyclic rings $\ZZ/m\ZZ$ and $\ZZ$ is derived. We use it to provide presentations of the corresponding covering groups and touch upon the question of finding their nonisomorphic representatives.
The aim of this work is to find some exact sequences on the $c$- nilpotent multiplier of a group $G$. We also give an upper bound for the $c$- nilpotent multiplier of finite $p$-groups and give the explicit structure of groups whose take the upper bound. Finally, we will get the exact structure of the $c$- nilpotent multiplier and determine $c$-capable groups in the class of extra-special and generalized extra-special $p$-groups. It lets us to have a vast improvement over the last results on this topic.
There has been a great importance in understanding the nilpotent multipliers of finite groups in recent past. Let a group $G$ be presented as the quotient of a free group $F$ by a normal subgroup $R$. Given a positive integer $c$, the $c$-nilpotent multiplier of the group $G$ is the abelian group $\mathcal M^{(c)}(G)=(R\cap γ_{c+1}(F))/γ_{c+1}(R,F)$, where $γ_1(R,F)=R$, $γ_{c+1}(R,F)=[γ_c(R,F),F]$, and $γ_{c+1}(F)=γ_{c+1}(F,F)$. In particular, $\mathcal{M}^{(1)}(G)$ is the Schur multiplier of $G$. The crucial aspect of the research in to the $c$-nilpotent multipliers of groups includes either …
In this article, we compute the Schur multiplier, non-abelian tensor square and exterior square of non-abelian $p$-groups of order $p^5$. As an application we determine the capability of groups of order $p^5$.
Given a group G, we consider its classifying space for the family of virtually cyclic subgroups. We show for many groups, including for example, one-relator groups, acylindrically hyperbolic groups, 3-manifold groups and CAT(0) cube groups, that they do not admit a finite model for this classifying space unless they are virtually cyclic. This settles a conjecture due to Juan-Pineda and Leary for these classes of groups.
In this article, we prove that the Schur Multiplier of a finite $p$-group of maximal class of order $p^n ~(4 \leq n \leq p+1)$ is elementary abelian. The case $n = p+1$ settles a question raised by Primož Moravec in an earlier article.
A group G is called special p-group of rank k if the commutator subgroup [G,G] and centre Z(G) are equal, which is elementary abelian p-group of rank k and G/[G,G] is also elementary abelian p-group. In this article we determine the Schur multiplier of special p-groups of rank 2 explicitly.
This note is an implementation of the algorithm for computing Bogomolov multipliers as given in \cite{Mor11} in combination with \cite{Eic08} to effectively determine the multipliers of groups of order $128$. The two serving purposes are a continuation of the results \cite{Chu08,Chu09}, and an application \cite{Jez13}.
We describe an algorithm to compute the Schur multipliers of all nilpotent Lie $p$-rings in the family defined by a symbolic nilpotent Lie $p$-ring. Symbolic nilpotent Lie $p$-rings can be used to describe the isomorphism types of $p$-groups of order $p^n$ for $n \leq 7$ and all primes $p \geq n$. We apply our algorithm to compute the Schur multipliers of all $p$-groups of order dividing $p^6$.
We construct groups G that are virtually torsion-free and have virtual cohomological dimension strictly less than the minimal dimension for any model for the classifying space for proper actions of G. They are the first examples that have these properties and also admit cocompact models for this classifying space. We exhibit groups G whose virtual cohomological dimension and Bredon cohomological dimension are two that do not admit any 2-dimensional contractible proper G-CW-complex.
In 1998, G. Ellis defined the Schur multiplier of a pair $(G,N)$ of groups and mentioned that this notion is a useful tool for studying pairs of groups. In this paper, we characterize the structure of a pair of finite $p$-groups $(G,N)$ in terms of the order of the Schur multiplier of $(G,N)$ under some conditions.
The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is the subgroup of the Schur multiplier $H^2(G,\mathbb Q/\mathbb Z)$ consisting of the cohomology classes which vanish after restricting to every abelian subgroup of $G$. We give a new proof of a Hopf-type formula for $B_0(G)$ and derive an exact sequence for the cohomological version of the Bogomolov multiplier. Using this exact sequence we provide necessary and sufficient conditions for the corresponding inflation homomorphism to be an epimorphism and to be the zero map. Finally, we give a complete list of groups of order $p^6$, for odd…
Let $G$ be a finite $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. In this article we classify non-abelian $p$-groups $G$ of order $p^n$ for $t(G)=\log_p(|G|)+1$.
Let $G$ be a $p$-group of maximal class and order $p^n$. We determine whether or not the Bogomolov multiplier $B_0(G)$ is trivial in terms of the lower central series of $G$ and $P_1 = C_G(γ_2(G) / γ_4(G))$. If in addition $G$ has positive degree of commutativity and $P_1$ is metabelian, we show how understanding $B_0(G)$ reduces to the simpler commutator structure of $P_1$. This result covers all $p$-groups of maximal class of large enough order and, furthermore, it allows us to give the first natural family of $p$-groups containing an abundance of groups with nontrivial Bogomolov multipliers…
In this paper, we find an upper bound for the exponent of the Schur multiplier of a pair $(G,N)$ of finite $p$-groups, when $N$ admits a complement in $G$. As a consequence, we show that the exponent of the Schur multiplier of a pair $(G,N)$ divides $\exp(N)$ if $(G,N)$ is a pair of finite $p$-groups of class at most $p-1$. We also prove that if $N$ is powerfully embedded in $G$, then the exponent of the Schur multiplier of a pair $(G,N)$ divides $\exp(N)$.
The aim of this paper is to determine the non-abelian tensor square and Schur multiplier of groups of square free order and of groups of orders $p^2q$, $pq^2$ and $p^2qr$, where $p$, $q$ and $r$ are primes and $p<q<r$.
In this paper we present some inequalities for the order, the exponent, and the number of generators of the c-nilpotent multiplier (the Baer invariant with respect to the variety of nilpotent groups of class at most $c \geq 1$) of a powerful p-group. Our results extend some of Lubotzky and Mann$^{,}$s (Journal of Algebra, 105 (1987), 484-505.) to nilpotent multipliers. Also, we give some explicit examples showing the tightness of our results and improvement some of the previous inequalities.
In the first part, we prove that the number of $(1,β)$-BM relations is $3 \cdot 5 \cdot \ldots \cdot (2β+ 1)$, which was conjectured by Kimberley. In the second part, we construct two isomorphisms between certain $(2,2)$-BM groups. This completes the classification of $(2,2)$-BM groups initiated by Kimberley and Robertson.
In this paper, we present an explicit formula for the Baer invariant of a finitely generated abelian group with respect to the variety of polynilpotent groups of class row $(c_1,...,c_t)$, ${\cal N}_{c_1,...,c_t}$. In particular, one can obtain an explicit structure of the $\ell$-solvable multiplier (the Baer invariant with respect to the vaiety of solvable groups of length at most $\ell\geq 1,\ {\cal S}_{\ell}$.) of a finitely generated abelian group.
In 1956, Green provided a bound on the order of the Schur multiplier of $p$-groups. This bound, given as a function of the order of the group, is the best possible. Since then, the bound has been refined numerous times by adding other inputs to the function, such as, the minimal number of generators of the group and the order of the derived subgroup. We strengthen these bounds by adding another input, the group's nilpotency class. The specific cases of nilpotency class 2 and maximal class are discussed in greater detail.
We investigate the structure of the minimal displacement set in $8$-located complexes with the SD'-property. We show that such set embeds isometrically into the complex. Since $8$-location and simple connectivity imply Gromov hyperbolicity, the minimal displacement set in such complex is systolic. Using these results, we construct a low-dimensional classifying space for the family of virtually cyclic subgroups of a group acting properly on an $8$-located complex with the SD'-property.
Let $G$ be a non-abelian $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)| \leq p^{\frac{1}{2}n(n-1)}$. So $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. The groups has already been classified for $t(G) \leq 5$ by several authors. For $t(G)=6$ the classification has been done. In this paper we classify $p$-groups $G$ for $t(G) = 6$ in different method.
Let $G$ be a finite $p$-group of order $p^{n}$ with $|M(G)|=p^{\frac{n(n-1)}{2}-t},$ where $M(G)$ is the Schur multiplier of $G$. Ya.G. Berkovich, X. Zhou, and G. Ellis have determined the structure of $G$ when $t=0,1,2,3$. In this paper, we are going to find some structures for an abelian $p$-group $G$ with conditions on the exponents of $G, M(G),$ and $S_2M(G)$, where $S_2M(G)$ is the metabelian multiplier of $G$.
In this note, we give short proofs of the well-known results that the exponent of the Schur multiplier $\M$ divides the exponent of $\G$ for finite $\p$-groups of maximal class and potent $\p$-groups. Moreover, we prove the same for a finite $\p$-group $\G$ satisfying $\G^{\p^2}\subset γ_{\p}(\G)$, and for $3$-groups of class $5$. We do this by proving a general lemma, and show that these three classes of groups satisfy the hypothesis of our lemma.
Recall that a group $G$ is a Camina group if every nonlinear irreducible character of $G$ vanishes on $G \setminus G'$. Dark and Scoppola classified the Camina groups that can occur. We present a different proof of this classification using Theorem 2, which strengthens a result of Isaacs on Camina pairs. Theorem 2 is of independent interest.
In this paper we present some inequalities for the order, the exponent and the number of generators of the $c$-nilpotent multiplier (the Baer invariant with respect to the variety of nilpotent groups of class at most $c \geq 1$) of a finite group and specially of a finite $p$-group. Our results generalize some previous related results of M.R. Jones and M.R.R. Moghaddam. Also, we show that our results improve some of the previous inequalities.
A group is tubular if it acts on a tree with $\mathbb{Z}^2$ vertex stabilizers and $\mathbb{Z}$ edge stabilizers. We prove that a tubular group is virtually special if and only if it acts freely on a locally finite CAT(0) cube complex. Furthermore, we prove that if a tubular group acts freely on a finite dimensional CAT(0) cube complex, then it virtually acts freely on a three dimensional CAT(0) cube complex.
A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of generators of $G$. Our main result classifies the uniformly generated groups without using the simple group classification. These groups are related to finite projective geometries by a result of Iwasawa on subgroup lattices.
The problem of classifying equivalence classes of presentations up to isomorphism of Cayley graphs is considered in this article in the case of dicyclic groups. The number of equivalence classes of presentations is uniformly bounded - it is a "finite presentation type" case. We find all equivalence classes of presentations of dicyclic groups having two generators. For the dicyclic group of order $4n$ apart from the classical presentation with order multiset $\{\{2n,4\}\}$ for all $n$ there are presentations with order multiset $\{\{4,4\}\}$. If $n$ is odd there is an additional presentation ha…
Let $G$ be a finite $p$-group. We prove that whenever the commuting probability of $G$ is greater than $(2p^2 + p - 2)/p^5$, the unramified Brauer group of the field of $G$-invariant functions is trivial. Equivalently, all relations between commutators in $G$ are consequences of some universal ones. The bound is best possible, and gives a global lower bound of $1/4$ for all finite groups. The result is attained by describing the structure of groups whose Bogomolov multipliers are nontrivial, and Bogomolov multipliers of all of their proper subgroups and quotients are trivial. Applications incl…
Let $π$ be a finite $p$-group and $\mathbb{F}_q$ a finite field with $q=p^n$ elements. Denote by $\mathrm{I}_{\mathbb{F}_q}$ the augmentation ideal of the group ring $\mathbb{F}_q[π]$. We have found a surprising relation between the abelianization of $1+\mathrm{I}_{\mathbb{F}_q}$, the Bogomolov multiplier $\mathrm{B}_0(π)$ of $π$ and the number of conjugacy classes $\mathrm{k}(π)$ of $π$: \[ | (1+\mathrm{I}_{\mathbb{F}_q})_{\mathrm{ab}} |=q^{\mathrm{k}(π)-1}|\mathrm{B}_0(π)|. \] In particular, if $π$ is a finite $p$-group with a non-trivial Bogomolov multiplier, then $1+\mathrm{I}_{\mathbb{F}_…
The paper is devoted to finding a homomorphic image for the $c$-nilpotent multiplier of the verbal product of a family of groups with respect to a variety ${\mathcal V}$ when ${\mathcal V} \subseteq {\mathcal N}_{c}$ or ${\mathcal N}_{c}\subseteq {\mathcal V}$. Also a structure of the $c$-nilpotent multiplier of a special case of the verbal product, the nilpotent product, of cyclic groups is given. In fact, we present an explicit formula for the $c$-nilpotent multiplier of the $n$th nilpotent product of the group $G= {\bf {Z}}\stackrel{n}{*}...\stackrel{n}{*}{\bf {Z}}\stackrel{n}{*} {\bf {Z}}_…
We prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$.
We show that elementary amenable groups, which have a bound on the orders of their finite subgroups, admit a finite dimensional model for the classifying space with virtually cyclic isotropy.
In this paper, using a relation between Schur multipliers of pairs and triples of groups, the fundamental group and homology groups of a homotopy pushout of Eilenberg-MacLane spaces, we present among other things some behaviors of Schur multipliers of pairs and triples with respect to free, amalgamated free, and direct products and also direct limits with topological approach.
The subgroup of the Schur multiplier of a finite group G consisting of all cohomology classes whose restriction to any abelian subgroup of G is zero is called the Bogomolov multiplier of G. We prove that if G is quasisimple or almost simple, its Bogomolov multiplier is trivial except for the case of certain covers of PSL(3,4).
One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show that it has infinitely many non-trivial homotopy groups. Moreover they are either p-torsion free or else infinitely many of them contain p-torsion. By means of techniques related to fusion systems we exhibit concrete examples where p-torsion appears.
The Bogomolov multiplier of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. This invariant of $G$ plays an important role in birational geometry of quotient spaces $V/G$. We show that in many cases the vanishing of the Bogomolov multiplier is guaranteed by the rigidity of $G$ in the sense that it has no outer class-preserving automorphisms.
We prove that every finite connected simplicial complex is homotopy equivalent to the quotient of a contractible manifold by proper actions of a virtually torsion-free group. As a corollary, we obtain that every finite connected simplicial complex is homotopy equivalent to the classifying space for proper bundles of some virtual Poincaré duality group.
Given a group action on a simplicial complex such that each simplex stabiliser admits a cocompact model of classifying space for proper actions, we give conditions implying the existence of a cocompact model of classifying space for proper actions for the whole group. This is used to generalise previous combination results for boundaries of groups and hyperbolic groups.
In this paper we complete the description of the $B\mathbb{Z} /p$-cellularization of the classifying spaces of all finite groups, for all primes $p$. The techniques are based in a careful analysis of the $p$-fusion structure of the groups involved -with special attention to their strongly closed subgroups- and Chachólski's description of the $A$-cellular approximation.
The Bogomolov multiplier is a group theoretical invariant isomorphic to the unramified Brauer group of a given quotient space. We derive a homological version of the Bogomolov multiplier, prove a Hopf-type formula, find a five term exact sequence corresponding to this invariant, and describe the role of the Bogomolov multiplier in the theory of central extensions. A new description of the Bogomolov multiplier of a nilpotent group of class two is obtained. We define the Bogomolov multiplier within K-theory and show that proving its triviality is equivalent to solving a long-standing problem pos…
We describe a cocompact model for the classifying space for proper actions of the mapping class group of a surface with punctures and boundary components. Our construction relies on a known model for the case of a closed surface and uses an induction on the number of punctures and boundary components.
In this paper we obtain a description of the Grothendieck group of complex vector bundles over the classifying space of a p-local finite group in terms of representation rings of subgroups of its Sylow. We also prove a stable elements formula for generalized cohomological invariants of p-local finite groups, which is used to show the existence of unitary embeddings of p-local finite groups. Finally, we show that the augmentation map for the cochains of the classifying space of a p-local finite group is Gorenstein in the sense of Dwyer-Greenlees-Iyengar and obtain some consequences about the co…
Among the generalizations of Serre's theorem on the homotopy groups of a finite complex we isolate the one proposed by Dwyer and Wilkerson. Even though the spaces they consider must be 2-connected, we show that it can be used to both recover known results and obtain new theorems about p-completed classifying spaces.
In this article, we study the Schur mutiplier of the discrete as well as the finite Heisenberg groups and their t-variants. We describe the representation groups of these Heisenberg groups and through these give a construction of their finite dimensional complex projective irreducible representations.
We describe how an Ore category with a Garside family can be used to construct a classifying space for its fundamental group(s). The construction simultaneously generalizes Brady's classifying space for braid groups and the Stein--Farley complexes used for various relatives of Thompson's groups. It recovers the fact that Garside groups have finite classifying spaces. We describe the categories and Garside structures underlying certain Thompson groups. The Zappa--Szép product of categories is introduced and used to construct new categories and groups from known ones. As an illustration of our m…
The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. In this paper we give a positive answer to an open problem posed by Kang and Kunyavskiĭ in \cite{KK}. Namely, we prove that if $G$ is either a unitriangular group over $\f$, a quotient of its lower central series, a subgroup of its lower central series, or a central product of two unitriangular groups, then $B_0(G)=0$.
The Bogomolov multiplier of a group is the unramified Brauer group associated to the quotient variety of a faithful representation of the group. This object is an obstruction for the quotient variety to be stably rational. The purpose of this paper is to study these multipliers associated to nilpotent pro-$p$ groups by transporting them to their associated Lie algebras. Special focus is set on the case of $p$-adic Lie groups of nilpotency class $2$, where we analyse the moduli space. This is then applied to give information on asymptotic behaviour of multipliers of finite images of such groups…
The set of all closed subgroups of a profinite carries a natural profinite topology. This space of subgroups can be classified up to homeomorphism in many cases, and tight bounds placed on its complexity as expressed by its scattered height.
