Related papers: Generators for Group Homology and a Vanishing Conj…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by…

We build on our construction of Hopf algebroids from noncommutative calculi under the further assumption of surjectivity for the calculus. We also introduce the notions of Hopf ideals and isotopy quotients for arbitrary Hopf algebroids.…

We investigate the fundamental group of Griffiths' space, and the first singular homology group of this space and of the Hawaiian Earring by using (countable) reduced tame words. We prove that two such words represent the same element in…

A strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the…

The "quantum duality principle" states that a quantisation of a Lie bialgebra provides also a quantisation of the dual formal Poisson group and, conversely, a quantisation of a formal Poisson group yields a quantisation of the dual Lie…

We study topological Hopf algebras that are holomorphically finitely generated (HFG) as Fr\'echet Arens--Micheal algebras in the sense of Pirkovskii. Some of them, but not all, can be obtained from affine Hopf algebras by applying the…

For $G$ and $H_1,\dots, H_n$ finite groups, does there exist a $3$-manifold group with $G$ as a quotient but no $H_i$ as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with…

For a locally compact group G and a compact subgroup K, the corresponding Hecke algebra consists of all continuous compactly supported complex functions on G that are K-bi-invariant. There are many examples of totally disconnected locally…

Let H(G) be the Hecke algebra of a reductive p-adic group G. We formulate a conjecture for the ideals in the Bernstein decomposition of H(G). The conjecture says that each ideal is geometrically equivalent to an algebraic variety. Our…

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for…

Let $\mathbb{F}_{\Theta }=G/P_{\Theta }$ be a flag manifold associated to a non-compact real simple Lie group $G$ and the parabolic subgroup $% P_{\Theta }$. This is a closed subgroup of $G$ determined by a subset $% \Theta $ of simple…

Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…

A Hom-group G is a nonassociative version of a group where associativity, invertibility, and unitality are twisted by a map \alpha: G\longrightarrow G. Introducing the Hom-group algebra KG, we observe that Hom-groups are providing examples…

Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element of $G$ belongs to a generating pair of $G$. Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the…

We prove that, if $A$ is a positively graded, graded commutative, local, finite Hopf algebra, its cohomology is finitely generated, thus unifying classical results of Wilkerson and Hopkins-Smith, and of Friedlander-Suslin. We do this by…

In this paper we extend a result for representations of the Additive group $G_a$ given in [3] to the Heisenberg group $H_1$. Namely, if $p$ is greater than 2d then all $d$-dimensional characteristic $p$ representations for $H_1$ can be…

Kuz'min (1996) characterized groups having Wirtinger presentations in relation to their second group homology. In this paper, we further refine the relation between these groups and their second group homology.

B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…

This is a collection of examples showing how the GAP system can be used to compute information about the probabilistic generation of finite almost simple groups. It includes all examples that were needed for the computational results in the…