Defect theory for maximal ideals and simple functors (Q1175759)

Let \(G\) be a finite group, \(R\) a complete local commutative ring, \(A^ G\) the fixed point algebra in a \(G\)-algebra \(A\) over \(R\). This paper is influenced by \textit{L. Puig}'s approach to defect theory for \(G\)-algebras [Math. Z. 176, 265-292 (1981; Zbl 0464.20007) and J. Algebra 116, No. 1, 7-129 (1988; Zbl 0658.20004)]. The author generalizes the notion of defect group in the following way. Let \(A\) be a \(G\)-functor over \(R\), that is \(A\) be a family of \(R\)-algebras \(A(H)\) indexed by the set of subgroups of \(G\) together with restriction maps \(r^ H_ K: A(H) \to A(K)\), transfer maps \(t^ H_ K: A(K) \to A(H)\) where in both cases \(K \leq H\), and conjugation maps \(c_ g: A(H) \to A(gHg^{-1})\) where \(g \in G\), such that some natural axioms are satisfied. An \(A\)-pair is a pair \((H,{\mathfrak m})\) where \(H \leq G\) and \(\mathfrak m\) is a maximal (two- sided) ideal of \(A(H)^ G\). The author calls an \(A\)-pair \((P,{\mathfrak p})\) a defect pair of an \(A\)-pair \((H,{\mathfrak m})\) if it is minimal with respect to some transfer and restriction conditions. The first purpose of this paper is to develop this defect theory and a number of classical results are shown to hold in this more general case. A functorial ideal \(I\) is a family of ideals \(I(H)\) which are preserved by restriction, transfer, and conjugation. A \(G\)-functor without non- trivial proper functorial ideal is called simple. A quotient \(G\)-functor \(A/I\) is given by \((A/I)(H) = A(H)/I(H)\). The defect theory is strongly related to quotient functors and an important special case occurs when \(A/I\) is simple. So the second purpose of the paper is to classify simple \(G\)-functors. The author proves that every simple functor \(B\) is obtained by a straightforward procedure from a simple \(H/P\) algebra, where \(H \leq G\) and \(P \triangleleft H\).