2
$\begingroup$

I'm looking for the names of algebraic structures that are more general than a near-semiring. My preferred structure requires both + and · only be magmas; two semigroups is still over-constraining (associativity is not necessary, but distributivity is required).

I'm trying to pin down the semantic requirements for the C++ algorithm inner_product. In short, inner_product computes a result not unlike a dot product, but where the binary operations can be very general. Based on the algorithm's specification, associativity is not necessary, and I'm particularly interested in the case where both operations are magmas.

Does such a structure have a name? If not, I'm inclined to call this a magmaring, since both operations are magmas.

$\endgroup$
2
  • 1
    $\begingroup$ It seems unlikely there is a name, because there has probably not been any interest in the topic. You are talking about a generalization of two things that are already on the far end of the general spectrum for ring-like objects (semirings and nearrings) $\endgroup$
    – rschwieb
    Jun 26, 2019 at 17:51
  • $\begingroup$ Maybe also you should detail the requirements of your "preferred structure." Surely it isn't just a set that is a magma in two ways. $\endgroup$
    – rschwieb
    Jun 26, 2019 at 17:52

1 Answer 1

Reset to default
2
$\begingroup$

There is an algebraic object known as a double magma that is a nonempty set $S$ with two binary operations. However, there is an additional requirement that the two binary operations satisfy an interchange law $$(w \cdot x) \star (y \cdot z) = (w \cdot y) \star (x \cdot z)$$

It can be found in the following:

Edmunds, C. (2015). Constructing Double Magma on Groups Using Commutation Operations. Canadian Mathematical Bulletin, 58(3), 497-506.

In ten minutes of browsing, this seems to be the most general structure of interest and that has its own name.

$\endgroup$
1
  • $\begingroup$ But near-rings usually don't satisfy the interchange role. $\endgroup$
    – Berci
    Jun 26, 2019 at 19:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .