Related papers: A primer on computational group homology and cohom…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
A Hom-group G is a nonassociative version of a group where associativity, invertibility, and unitality are twisted by a map \alpha: G\longrightarrow G. Introducing the Hom-group algebra KG, we observe that Hom-groups are providing examples…
We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…
This article is intended to an introductory lecture in material physics, in which the modern computational group theory and the electronic structure calculation are in collaboration. The effort of mathematicians in field of the group…
This article explains basic constructions and results on group algebras and their cohomology, starting from the point of view of commutative algebra. It provides the background necessary for a novice in this subject to begin reading Dave…
This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…
This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by…
I dedicated the volume $1$ of monograph 'Introduction into Noncommutative Algebra' to studying of algebra over commutative ring. The main topics that I covered in this volume: definition of module and algebra over commutative ring; linear…
The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R.…
Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the…
We define several versions of the cohomology ring of an associative algebra. These ring structures unify some well known operations from homological algebra and differential geometry. They have some formal resemblance with the quantum…
Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles…
In this article, we prove the algebraic counterpart of the topological results $H^1(S^1, \mathbb{Z}) \cong \mathbb{Z}$ and $H^1(S^2, \mathbb{Z}) \cong \{0\}$. We also see that a non-trivial element of the algebraic cohomotopy groups of…
We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible…
The article is developing homological algebra in modules over non-unital rings and algebras. The main application is the definition and study of (directed) homology of $(\infty,1)$-categories and of directed spaces, including relative…
This paper is mainly a semi-tutorial introduction to elementary algebraic topology and its applications to Ising-type models of statistical physics, using graphical models of linear and group codes. It contains new material on systematic…
We describe the cohomology ring of the moduli space of a flexible polygon in geometrically meaningful terms. We propose two presentations, both are computation friendly: there are simple rules for cup product.
Contents * Introduction -- Why $S^1$-extended phase space? -- Why central extensions of classical symmetries? * Central extension \Gt of a group $G$ -- Group cohomology -- Cohomology and contractions: Pseudo-cohomology -- Principal bundle…
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…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…