A new representation of finite Hoops using a new type of product of structures
Abstract
In this paper we show that a new type of products hoops can be defined which, in the case of finite hoops, can describe an arbitrary hoop A as the product of its arbitrary filter F and the corresponding homomorphic image A/F. Moreover, this product satisfies a certain kind of associativity, and as a consequence we show that every finite hoop is in this sense a product of finite MV-chains.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.