Constructing the hereditary crossed product order containing a given weak crossed product order and a criterion for weakness. (Q2803567)

Many authors, beginning at least with \textit{M. Auslander} and \textit{O. Goldman} [Trans. Am. Math. Soc. 97, 1-24 (1960; Zbl 0117.02506)], have dealt with the question when a crossed product order for a finite Galois extension \(L|K\) with Galois group \(G\) is hereditary. Precisely, let \(R\) be a discrete valuation domain with quotient field \(K\), and let \(f\colon G\times G\to L^\times\) be a normalized 2-cocycle with values in the integral closure \(S\) of \(R\) in \(L\). Then the crossed product \(R\)-order \(\Lambda_f\) in \((L|K,f)\) can be formed. Under favourable conditions (\(S\) local and tamely ramified) there is a unique hereditary hull of \(\Lambda_f\), which can be obtained as the end term of a chain of iterated multipliers of the radical (see, e.g., \textit{H. Benz} and \textit{H. Zassenhaus} [J. Number Theory 20, 282-298 (1985; Zbl 0593.16005)]; or former papers of the Russian school). If \(\Lambda_f\) is maximal among the crossed product orders in \((L|K,f)\), it must be hereditary. It is shown that conversely, hereditary crossed product orders are maximal among the crossed product orders in \((L|K,f)\).