Related papers: On the Cubical Homology Groups of Free Partially C…

We show that a set with an action of a locally finite-dimensional free partially commutative monoid and the corresponding semicubical set have isomorpic homology groups. We build a complex of finite length for the computing homology groups…

The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups…

We study the homology of $[P_n,P_n]$, the commutator subgroup of the pure braid group on $n$ strands, and show that $H_l([P_n,P_n])$ contains a free abelian group of infinite rank for all $1\leq l\leq n-2$. As a consequence we determine the…

The paper is devoted to homology groups of cubical sets with coefficients in contravariant systems of Abelian groups. The study is based on the proof of the assertion that the homology groups of the category of cubes with coefficients in…

For every $n\geq 1$, we calculate the Hochschild homology of the quantum monoids $M_q(n)$, and the quantum groups $GL_q(n)$ and $SL_q(n)$ with coefficients in a 1-dimensional module coming from a modular pair in involution.

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant…

This paper investigates the homology groups of the clique complex associated with the zero-divisor graph of a finite commutative ring. Generalizing the construction introduced by F. R. DeMeyer and L. DeMeyer, we establish a Kunneth-type…

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy…

We study the homology of simplicial and cubical sets with symmetries. These are simplicial and cubical sets with additional maps expressing the symmetries of simplices and cubes. We consider the chain complex computing the homology groups…

This article records basic topological, as well as homological properties of the space of homomorphisms Hom(L,G) where L is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If L is a free abelian group of…

The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a…

Leech's (co)homology groups of finite cyclic monoids are computed.

In 2012 Monod introduced examples of groups of piecewise projective homeomorphisms which are not amenable and which do not contain free subgroups, and later Lodha and Moore introduced examples of finitely presented groups with the same…

Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…

For an element $a$ of a monoid $H$, its set of lengths $\mathsf L (a) \subset \mathbb N$ is the set of all positive integers $k$ for which there is a factorization $a=u_1 \cdot \ldots \cdot u_k$ into $k$ atoms. We study the system $\mathcal…

We consider the torsion of homology groups of right pointed sets over a partially commutative monoid M(E,I)

A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends…

Eleven different types of "maximally superintegrable" Hamiltonian systems on the real hyperboloid $(s^0)^2-(s^1)^2+(s^2)^2-(s^3)^2=1$ are obtained. All of them correspond to a free Hamiltonian system on the homogeneous space…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…