Related papers: On Heisenberg groups

Let $G=G_1 \times G_2$ be a finite group. We know that the second cohomology group $H^2(G,\mathbb C^\times)$ is isomorphic to $H^2(G_1,\mathbb C^\times) \times H^2(G_2,\mathbb C^\times) \times Hom(G_1/G_1' \otimes_\mathbb Z G_2/G_2',…

For many finite groups a symmetric $2$-cocycle $\alpha$ ($\alpha(g,h)=\alpha(h,g)$, for all pairs $(h,g)$ of the group) with values in $\mathbb{C}^\times$ is a coboundary. We show using a theoretic arguement and GAP that there is a group of…

A group is called $(m,n)$-bicyclic if it can be expressed as a product of two cyclic subgroups of orders $m$ and $n$, respectively. The classification and characterization of finite bicyclic groups have long been important problems in group…

This paper compares two generalizations of Heisenberg groups and studies their connection to one of the major open problems in the field of locally compact abelian groups, namely the description of the self-dual locally compact abelian…

We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This…

Let $G$ be a torsion-free, finitely-generated, nilpotent and metabelian group. In this work we show that $G$ embeds into the group of orientation preserving $C^{1+\alpha}$-diffeomorphisms of the compact interval, for all $\alpha< 1/k$ where…

We show an isomorphism between an algebra which is naturally constructed from the Toeplitz algebra generated by d-shifts, and an ideal of the C * -algebra of the (2d + 1)-dimensional Heisenberg group. This is a particular case of a more…

For $\beta\in{\mathbb Z}$, let $G(\beta)=\langle A,B\,|\, A^{[A,B]}=A,\, B^{[B,A]}=B^\beta\rangle$ be the infinite Macdonald group, and set $C=[A,B]$. Then $G(\beta)$ is a nilpotent polycyclic group of the form $\langle…

We show that every product of f.g.\ submonoids of a group $G$ is a section of a f.g.\ submonoid of $G{\times}H_5(\mathbb{Z})$, where $H_5(\mathbb{Z})$ is a Heisenberg group. This gives us a converse of a reduction of Bodart, and a new…

A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free…

We exhibit an explicit construction for the second cohomology group $H^2(L, A)$ for a Lie ring $L$ and a trivial $L$-module $A$. We show how the elements of $H^2(L, A)$ correspond one-to-one to the equivalence classes of central extensions…

We calculate asymptotic estimates for the conjugacy growth function of finitely generated class 2 nilpotent groups whose derived subgroup is infinite cyclic, including the so-called higher Heisenberg groups. We prove that these asymptotics…

For $N \geq 2$, we study the structure of definable abelian group extensions of the additive group $(\mathbb{R}^N,+)$ by countable abelian (Borel) groups $G$. Given an extension $H$ of $(\mathbb{R}^N,+)$ by $G$, we measure the definability…

There are two abelian groups which can naturally be associated to an additive category A: the split Grothendieck group of A and the triangulated Grothendieck group of the homotopy category of (bounded) complexes in A. We prove that these…

We prove that the Heisenberg groups can be distinguished from the other connected and simply connected Lie groups via their group $C^*$-algebras. The main step of the proof is a characterization of the nilpotent Lie groups among the…

This is a further investigation of our approach to group actions in homological algebra in the settings of homology of {\Gamma}-simplicial groups, particularly of {\Gamma}-equivariant homology and cohomology of {\Gamma}-groups. This…

We extend the notion of a partial cohomology group $H^n(G,A)$ to the case of non-unital $A$ and find interpretations of $H^1(G,A)$ and $H^2(G,A)$ in the theory of extensions of semilattices of abelian groups by groups.

A group $G$ is self-similar if it admits a triple $(G,H,f)$ where $H$ is a subgroup of $G$ and $f: H \to G$ a simple homomorphism, that is, the only subgroup $K$ of $H$, normal in $G$ and $f$-invariant ($K^f \leq K$) is trivial. The group…

Suppose that $G$ is a group, $H$ and $K$ are proper isomorphic central subgroups of $G$, and $\mathfrak{G}$ is an HNN-extension of $G$ with the associated subgroups $H$ and $K$. We prove necessary and sufficient conditions for…

Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of…