Search

Abstract: In this paper we analyze O''Hara''s partition bijection. We present three type of results. First, we show that O''Hara''s bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a number of new complexity bounds, proving that O''Hara''s bijection is efficient in several special cases and mildly exponential in general. Finally, we prove that for identities with finite support, the map of the O''Hara''s bijection can be computed in polynomial time, i.e. much more efficiently than by O''Hara''s construction. [Copyright &y& Elsevier]

Abstract: Two kinds of decompositions of a -module are introduced in this article, a Loewy-decomposition and a primary decomposition. Algorithms are described which allow to construct decompositions for finite-dimensional -modules. Both decompositions rely on the concept of the -module of relative syzygies introduced in the paper. Furthermore an algorithm is described which tests whether two given -modules are isomorphic under the relevant type of transformations. [Copyright &y& Elsevier]