Displaying 541 – 560 of 859

Showing per page

The Roquette category of finite p -groups

Serge Bouc (2015)

Journal of the European Mathematical Society

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

The semantical hyperunification problem

Klaus Denecke, Jörg Koppitz, Shelly Wismath (2001)

Discussiones Mathematicae - General Algebra and Applications

A hypersubstitution of a fixed type τ maps n-ary operation symbols of the type to n-ary terms of the type. Such a mapping induces a unique mapping defined on the set of all terms of type t. The kernel of this induced mapping is called the kernel of the hypersubstitution, and it is a fully invariant congruence relation on the (absolutely free) term algebra F τ ( X ) of the considered type ([2]). If V is a variety of type τ, we consider the composition of the natural homomorphism with the mapping induced...

Currently displaying 541 – 560 of 859