Noncommutative Fitting invariants and improved annihilation results

TL;DR

This paper extends the concept of Fitting invariants to noncommutative settings, providing explicit bounds and identifying classes of orders with optimal properties for annihilation results.

Contribution

It generalizes Fitting invariants to noncommutative orders, determines explicit bounds for associated ideals, and introduces 'nice' orders with favorable properties.

Findings

Explicit lower bounds for H(Lambda) in many cases

Identification of 'nice' orders with optimal Fitting invariant properties

Enhanced understanding of annihilation ideals in noncommutative algebra

Abstract

To each finitely presented module M over a commutative ring R one can associate an R-ideal Fit_R(M) which is called the (zeroth) Fitting ideal of M over R and which is always contained in the R-annihilator of M. In an earlier article, the second author generalised this notion by replacing R with a (not necessarily commutative) o-order Lambda in a finite dimensional separable algebra, where o is an integrally closed complete commutative noetherian local domain. To obtain annihilators, one has to multiply the Fitting invariant of a (left) Lambda-module M by a certain ideal H(Lambda) of the centre of Lambda. In contrast to the commutative case, this ideal can be properly contained in the centre of Lambda. In the present article, we determine explicit lower bounds for H(Lambda) in many cases. Furthermore, we define a class of `nice' orders Lambda over which Fitting invariants have several useful properties such as good behaviour with respect to direct sums of modules, computability in a certain sense, and H(Lambda) being the best possible.