Related papers: Free Product on Semihypergroups
First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…
Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a…
It is shown that a nontrivial normal subgroup $N$ of a group $G$ is a free factor of the $N$'s normal closure in the $G$'s free product with arbitrary nontrivial groups.
We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon \Delta_{\operatorname{inert}} \to \Delta$ takes general…
A natural topology on the set of left orderings on free abelian groups and free groups $F_n$, $n>1$ has studied in [1]. It has been proven already that in the abelian case the resulted topological space is a Cantor set. There was a…
We study the synchronous and asynchronous automatic structures on the fundamental group of a graph of groups in which each edge group is finite. Up to a natural equivalence relation, the set of biautomatic structures on such a graph product…
We introduce the notion of multielement order separability and study this property for free groups and free products.
A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…
We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large…
The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a…
We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…
For an arbitrary group $G$, it is shown that either the semigroup rank $G{\rm rk}S$ equals the group rank $G{\rm rk}G$, or $G{\rm rk}S = G{\rm rk}G+1$. This is the starting point for the rest of the article, where the semigroup rank for…
We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…
The paper is devoted to the study of free objects in the variety of Steiner loops and of the combinatorial structures behind them, focusing on their automorphism groups. We prove that all automorphisms are tame and the automorphism group is…
The constructions of free subproducts of von Neumann algebras and free scaled products are introduced, and results about them are proved, including rescaling results and results about free trade in free scaled products.
In this paper, we consider topological semigroup actions on compact topological spaces. Under mild assumptions on the semigroup and the action, we construct a semi-direct product groupoid with a Haar system. We also show that it is…
A real Milnor manifold is the non-singular hypersurface of degree $(1,1)$ in the product of two real projective spaces. These manifolds were introduced by Milnor to give generators for the unoriented cobordism algebra, and they admit free…
We study line patterns in a free group by considering the topology of the decomposition space, a quotient of the boundary at infinity of the free group related to the line pattern. We show that the group of quasi-isometries preserving a…
Motivated by intuitive properties of physical quantities, the notion of a non-anomalous semigroup is formulated. These are totally ordered semigroups where there are no `infinitesimally close' elements. The real numbers are then defined as…
We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized…