Related papers: Abelian extensions and solvable loops

Using a proofs-as-programs correspondence, Terui was able to compare two models of parallel computation: Boolean circuits and proof nets for multiplicative linear logic. Mogbil et. al. gave a logspace translation allowing us to compare…

We generalize the prequantization central extension of a group of diffeomorphisms preserving a closed 2-form \omega (\omega-invariant diffeomorphisms) to an abelian extension of a group of diffeomorphisms preserving a closed vector valued…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.

A special case of a conjecture raised by Forrest and Runde (Math. Zeit., 2005) asserts that the Fourier algebra of every non-abelian connected Lie group fails to be weakly amenable; this was aleady known to hold in the non-abelian compact…

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…

Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under $G$ extends to a linear order on X also invariant under G. We…

Recent papers of the authors have completely described the hyperbolic actions of several families of classically studied solvable groups. A key tool for these investigations is the machinery of confining subsets of Caprace, Cornulier,…

We present an explicit structure for the Baer invariant of a finitely generated abelian group with respect to the variety $[\mathfrak{N}_{c_1},\mathfrak{N}_{c_2}]$, for all $c_2\leq c_1\leq 2c_2$. As a consequence we determine necessary and…

We suggest an extension of a certain logarithm of the total Johnson map in terms of solvable Lie groups. Here, the domain of the map is extended to a subset consisting of exponential solvable elements in the mapping class group of a…

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

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 state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel…

Given a group $G$ and an integer $n\geq2$ we construct a new group $\tilde{{\cal K}}(G,n)$. Although this construction naturally occurs in the context of finding new invariants for complex algebraic surfaces, it is related to the theory of…

The notion of essential submodules and essential extensions of modules are extended to groups (typically nonabelian), and several necessary and sufficient conditions for a group to possess a proper essential subgroup are investigated.…

An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it…

We study conformally invariant boundary conditions that break part of the bulk symmetries. A general theory is developped for those boundary conditions for which the preserved subalgebra is the fixed algebra under an abelian orbifold group.…

We introduce the notion of a bicollapsible 2-complex. This allows us to generalize the hyperbolicity of one-relator groups with torsion to a broader class of groups with presentations whose relators are proper powers. We also prove that…

Let $S^{\cdot}$ be a noetherian graded algebra over a commutative $k$-algebra $A$, where $k$ is a commutative ring, and assume it is a module over a Lie algebroid ${\mathfrak g}_{A/k}$. If $S^\cdot$ is semi-simple over ${\mathfrak g}_{A/k}$…

We consider a pure U(1) quantum gauge field theory on a general Riemannian compact four manifold. We compute the partition function with Abelian Wilson loop insertions. We find its duality covariance properties and derive topological…