# How to show that this is an Algebraic System

Define $\oplus$ on $\mathbb{R} \times \mathbb{R}$ by setting $$(a,b) \oplus (c,d)=(ac-bd, ad+bc).$$ How to show that $(\mathbb{R} \times \mathbb{R}, \oplus)$ is an algebraic system. I don't understand the difference between algebraic structure andalgebraic system I read this article but I didnt understand it properly. Can anybody help me me understand by giving hints?

-
It's generally considered rude here to ask questions in the imperative. You might get better responses if you phrase them in the form "I have a question about this problem: ..." or something similar. –  Calvin McPhail-Snyder Aug 16 '12 at 21:29
What do you mean by "algebraic system"? Do you have a specific definition in mind? What have you tried so far? –  Calvin McPhail-Snyder Aug 16 '12 at 21:30
continued from here –  Santosh Linkha Aug 16 '12 at 21:31
@CalvinMcPhail-Snyder I am new to this site and not sure what is required and what are the requirements. Well the only algebraic structure that I am familiar with is a group. So I am assuming we can show that it is a group –  math101 Aug 16 '12 at 21:37
@math101 No problem! Just letting you know for the future. –  Calvin McPhail-Snyder Aug 16 '12 at 21:39

$\oplus$ on $\mathbb{R} \times \mathbb{R}$ is a just multiplication of the complex numbers on $\mathbb{C}$. It is not a group since $(0,0) \in \mathbb{R} \times \mathbb{R}$ does not have a inverse under $\oplus$.
However $\mathbb{R} \times \mathbb{R} - \{0\}$ is a group under $\oplus$.
$(\mathbb{R} \times \mathbb{R}, \oplus)$ however is a commutative monoid. It is associative, has an identity element, but not every element has an inverse.