We give an algorithmic way to construct a free bimodule resolution of an algebra admitting a Gröbner base. It enables us to compute the Hochschild (co)homology of the algebra. Let A be a finitely generated algebra over a commutative ring K with a (possibly infinite) Gröbner base G on a free algebra F , that is, A is the quotient F/I(G) with the ideal I(G) of F generated by G. Given a Gröbner ba...

let $ m , n in mathbb{n}$, $d$ be a division ring, and $m_{m times n}(d)$ denote the bimodule of all $m times n$ matrices with entries from $d$. first, we characterize one-sided submodules of $m_{m times n}(d)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $d$. next, we introduce the notion of a nest module of matrices with entries from $d$. we ...

Let $ m , n in mathbb{N}$, $D$ be a division ring, and $M_{m times n}(D)$ denote the bimodule of all $m times n$ matrices with entries from $D$. First, we characterize one-sided submodules of $M_{m times n}(D)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $D$. Next, we introduce the notion of a nest module of matrices with entries from $D$. We ...