Related papers: How to generalize known results on equations over …

For each lattice one can define a free boson theory propagating on the corresponding torus. We give an alternative definition where one employs any automorphism of the group $M^*/M$. This gives a wealth of conformal data, which we realize…

In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.

We generalize Dirichlet's $S$-unit theorem from the usual group of $S$-units of a number field $K$ to the infinite rank group of all algebraic numbers having nontrivial valuations only on places lying over $S$. Specifically, we demonstrate…

We give an analog of Frobenius' theorem about the factorization of the group determinant on the group algebra of finite abelian groups and we extend it into dihedral groups and generalized quaternion groups. Furthermore, we describe the…

A theory has been presented previously in which the geometrical structure of a real four-dimensional space time manifold is expressed by a real orthonormal tetrad, and the group of diffeomorphisms is replaced by a larger group. The group…

Three versions of the Freiheitssatz are proved in the context of one-relator quotients of limit groups, where the latter are equipped with 1-acylindrical splittings over cyclic subgroups. These are natural extensions of previously published…

We prove that any tensor product factorization with a commutative factor of a modular group algebra over a prime field comes from a direct product decomposition of the group basis. This extends previous work by Carlson and Kov\'acs for the…

The classical Euler--Poinsot case of the rigid body dynamics admits a class of simple but non-trivial integrable generalizations, which modify the Poisson equations describing the motion of the body in space. These generalizations possess…

We consider the general free field theory such that system of equations of motion includes a subsystem with a special property. If the subsystem is considered by itself, it would be a topological field theory having no local degrees of…

We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm…

The method of exhaustion is generalized to a simple formula that can be used to integrate functions under very general conditions, provided that the integral exists. Both a geometric proof (following the usual procedure for the method of…

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse…

We give a condition sufficient to ensure that an amalgam of groups is generalized torsion-free. As applications, we construct a closed 3-manifold whose fundamental group is generalized torsion-free and non bi-orderable; a one-relator group…

We lay down the fundations of the theory of groups of finite Morley rank in which local subgroups are solvable and we proceed to the local analysis of these groups. We prove the main Uniqueness Theorem, analogous to the Bender method in…

We show that for any $n\geq 3$ the theory of open generalized $n$-gons is complete, decidable and strictly stable, yielding a new class of examples in the zoo of stable theories.

A general framework for the solutions of the constraints of pure gravity is constructed. It provides with well defined mathematical criteria to classify their solutions in four classes. Complete families of solutions are obtained in some…

We prove that the isomorphism problem is decidable for generalized Baumslag-Solitar (GBS) groups with one quasi-conjugacy class and full support gaps. In order to do so we introduce a family of invariants that fully characterize the…

The article $-$ part of a larger thesis which aims to give a detailed description of the generalisation to the category of groups with operators of the classical theory of semisimplicity for modules $-$ presents a straightforward…

In this paper, we generalise Magnus' Freiheitssatz and solution to the word problem for one-relator groups by considering one relator quotients of certain classes of right-angled Artin groups and graph products of locally indicable…

We present a study of generalization for data-dependent hypothesis sets. We give a general learning guarantee for data-dependent hypothesis sets based on a notion of transductive Rademacher complexity. Our main result is a generalization…