Tensor products of bimodules over monoids

Louis H. Rowen

2024-10-23

Abstract:We modify the well-known tensor product of modules over a semiring, in order to treat modules over hyperrings, and, more generally, for bimodules (and bimagmas) over monoids. The tensor product of residue hypermodules is functorial. Special attention is paid to different kinds of morphisms and the work of Nakamura and Reyes.

Rings and Algebras

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to provide a tensor product construction suitable for dealing with bimodules and bimodule pairs in a broader algebraic framework for fields such as tropical mathematics, idempotent semirings, F1 - geometry, and hyperfields. Specifically:

1. **Extension of Tensor Product Theory**: The paper aims to generalize the classical tensor product theory of modules to bimodules and semi - algebras over hyperrings, hypergroups, and more general monoids. This generalization requires dealing with weak morphisms and other types of morphisms specific to these structures.

2. **Dealing with Weak Morphisms**: When dealing with morphisms in hyperfields, such as "weak morphisms", basic categorical theory results (for example, the adjoint isomorphism theorem) are often hindered by the existence of additional addition operations. The paper attempts to define the tensor product of weak morphisms and explore its properties.

3. **Maintaining Compatibility with Residue Hypermodule Constructions**: The goal of the paper is to develop a theory that not only includes the usual tensor product of modules but is also compatible with the residue hypermodule construction introduced by Krasner. This includes obtaining the tensor extension of weak morphisms and the tensor product when one of the tensor components is a free module.

4. **Solving the Example of Non - commutative Hypergroups**: The research of Nakamura and Reyes provides interesting examples of non - commutative hypergroups, but their methods may lose the associativity of addition. The paper explores how to avoid this problem while maintaining the generality of the tensor product.

### Specific Goals

- **Constructing Tensor Products**: Define tensor products applicable to different algebraic structures (such as hyperrings, hypergroups) and prove their properties.
- **Dealing with Different Types of Morphisms**: Study tensor products under homomorphisms, weak morphisms, and surpassing relations.
- **Maintaining Categorical Properties**: Ensure that the new tensor product construction behaves well in category theory, especially the weak version of the adjoint isomorphism theorem.

### Conclusion

Through these efforts, the paper hopes to provide a more general and powerful algebraic tool for tropical mathematics and other related fields, which can handle various complex algebraic structures and lay the foundation for future research.

Formula part:
- The definition of the tensor product involves the following formula:
\[
f(\sum v_i\otimes w_i)=\bigwedge\left\{\sum f_1(v'_i)\otimes f_2(w'_i):\sum v'_i\otimes w'_i = \sum v_i\otimes w_i\right\}
\]
Here \(f\) is a \(\preceq\)-morphism, and \(v_i, w_i\) are the corresponding elements.

Through these contents, the paper successfully generalizes the tensor product theory in a broader algebraic framework and solves the challenges brought by weak morphisms.