Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $S$ be a collection of disjoint sets. Let a binary operation '*' defined $\forall x,y$ each belonging to two different sets or a same set in $S$ with the property that $z=x*y$ belongs to some set in $S$ . Let $\forall A_1,A_2 \in S$ a binary operation $ \otimes$ is defined between $A_1,A_2$ as $B=A_1 \otimes A_2$ as the collection of all $z=(x*y)$ where $x\in A_1,y\in A_2$. Now the set $S$ is closed under the binary operation $\otimes$.

I want to study the properties of such a set $S$ under the operation $\otimes$.My question is what is the subject in mathematics which deals with such a situation ?

share|cite|improve this question
up vote 3 down vote accepted

Sets with a binary operation that is not assumed to be associative are called Magmas (they are sometimes also called "quasigroups", especially in older literature, but that term has a different meaning in category Theory). Your set $S$ with operation $\otimes$ is a magma.

If the operation happens to be associative, then you have semigroup, though that will depend, in this case, on the binary operation *.

share|cite|improve this answer
Thank you very much for taking the pains to insert links. – Rajesh Dachiraju Dec 1 '10 at 17:40

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.