Certain partitions on a set and their applications to different classes of graded algebras (Q2245610)

The paper presents a very general framework allowing to perform structure theory of a broad class of objects. Let \((\mathfrak{A}, \epsilon_u)\) and \((\mathfrak{B}, \epsilon_b)\) be two pointed sets. Given a family of three maps \[\mathcal{F} = \{f_1\colon\mathfrak{A}\to\mathfrak{A}; f_2\colon\mathfrak{A}\times\mathfrak{A}\to\mathfrak{A}; f_3\colon\mathfrak{A}\times\mathfrak{A}\to\mathfrak{B}\},\] this family provides an adequate decomposition of \(\mathfrak{A}\setminus\{\epsilon_u\}= \dot\cup_{i\in I}\mathfrak{A}_i\) as the orthogonal disjoint union of certain \(\mathcal{F}\)-invariant subsets. The \(\mathcal{F}\)-invariance means that \(f_1(\mathfrak{A}_i)\subset \mathfrak{A}_i\cup\{\epsilon_u\}\) and \(f_2(\mathfrak{A}_i,\mathfrak{A})\cup f_2(\mathfrak{A},\mathfrak{A}_i)\subset\mathfrak{A}_i\cup\{\epsilon_u\}\). The orthogonality means that \(f_3(\mathfrak{A}_i,\mathfrak{A}_j)=\{\epsilon_b\}\) for any \(i,j\in I\) different. This presentation is ample enough so as to accommodate all kind of structures: algebras of arbitrary arities, with involution or not, possibly with gradings, and possibly bearing an analytic structure (as in the case of \(H^*\)-things). One of the motivating examples of this is a graded weak \(H^*\)-algebra \(A\) (Definition 3 in the paper). By using the above mentioned decomposition one gets a splitting of \(A\) as an orthogonal direct sum of graded ideals. The main artifice of the abstract decomposition above is the so called connection techniques developed by A. J. Calderón with growing generality over the last years.