# zbMATH — the first resource for mathematics

If $${\mathfrak X}$$ is a class of groups, a rule on $${\mathfrak X}$$ is a function $${\mathfrak r}$$ assigning to each $${\mathfrak X}$$-group G a subgroup $${\mathfrak r}(G)$$. The rule $${\mathfrak r}$$ is called radical (respectively coradical) if whenever $$S\leq T$$ and S,T$$\in {\mathfrak X}$$, one has $$S\cap {\mathfrak r}(T)\leq {\mathfrak r}(S)$$ (respectively $$S\cap {\mathfrak r}(T)\geq {\mathfrak r}(S))$$. The rule $${\mathfrak r}$$ is called functorial if $$\alpha$$ ($${\mathfrak r}(G))={\mathfrak r}(\alpha (G))$$ for every isomorphism $$\alpha$$ from an $${\mathfrak X}$$-group G.
The author discusses properties and constructs examples of functorial rules which are radical or coradical. For example, if $${\mathfrak X}$$ is an image closed class and $${\mathfrak r}_ 1,{\mathfrak r}_ 2$$ are radical functorial rules on $${\mathfrak X}$$, define a new rule $${\mathfrak r}_ 2\circ {\mathfrak r}_ 1$$ by $${\mathfrak r}_ 2\circ {\mathfrak r}_ 1(G)/{\mathfrak r}_ 1(G)={\mathfrak r}_ 2(G/{\mathfrak r}_ 1(G))$$. Then $${\mathfrak r}_ 2\circ {\mathfrak r}_ 1$$ is a radical functorial rule on $${\mathfrak X}$$. There is a similar result for coradical functorial rules.