Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a reference request.

Suppose $(G, \cdot)$ is a group and consider the structure on $G^{<\omega}$ where, for $\mathbf{p} = (p_1, \dots, p_n) \in G^{<\omega}$ and $\mathbf{q} = (q_1, \dots, q_m)$ we have

$\mathbf{p} \oplus \mathbf{q} = (p_1, p_2,..., p_n, q_1, q_2, ..., q_m)$

(i.e. concatenation) and

$\mathbf{p} \otimes \mathbf{q} = (p_1\cdot q_1,p_1\cdot q_2,\dots,p_1\cdot q_m,p_2\cdot q_1,p_2\cdot q_2,\dots,p_2\cdot q_m,\cdots ,p_n\cdot q_1,p_n\cdot q_2,\cdots,p_n\cdot q_m)$

What are structures of the from $(G, \oplus, \otimes)$ called? What is a good place to look to begin learning about them?


share|cite|improve this question
That is not a ring: it does not have additive inverses. A semiring, maybe. in any case, why do you think this construction has already been studied? As a data point, I have never seen it before. – Mariano Suárez-Alvarez Jul 21 '13 at 2:37
maybe you would like to see about the free monoid functor and monoidal categories? – user40276 Jul 21 '13 at 2:48
Mariano: Thanks, I fixed the statement. As for why I think this has been studied, mainly because this seems like a very natural pair of operations and in my experience when you come across natural feeling operation on natural structures, someone has already thought about them. – Nate Ackerman Jul 21 '13 at 3:20
User40276: While they are very interesting, I am specifically interested in how the above operations of $\oplus$ and $\otimes$ interact. – Nate Ackerman Jul 21 '13 at 3:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.