The envelope of a subcategory in topology and group theory.
Let be a prime number. This paper introduces the Roquette category of finite -groups, which is an additive tensor category containing all finite -groups among its objects. In , every finite -group admits a canonical direct summand , called the edge of . Moreover splits uniquely as a direct sum of edges of Roquette -groups, and the tensor structure of can be described in terms of such edges. The main motivation for considering this category is that the additive functors from to...