Notes on noncommutative Fitting invariants

To each finitely presented module $M$ over a commutative ring $R$ one can associate an $R$-ideal ${\mathrm{F}\mathrm{i}\mathrm{t}\mathrm{t}}_R(M)$, which is called the (zeroth) Fitting ideal of $M$ over $R$. This is of interest because it is always contained in the $R$-annihilator ${\mathrm{A}\mathrm{n}\mathrm{n}}_R(M)$ of $M$, but is often much easier to compute. This notion has recently been generalised to that of so-called `Fitting invariants’ over certain noncommutative rings; the present author considered the case in which $R$ is an $\mathfrak{o}$-order $\mathrm{\Lambda }$ in a finite dimensional separable algebra, where $\mathfrak{o}$ is an integrally closed commutative noetherian complete local domain. This article is a survey of known results and open problems in this context. In particular, we investigate the behaviour of Fitting invariants under direct sums. In the appendix, we present a new approach to Fitting invariants via Morita equivalence.