Questions tagged [binary-operations]

A binary operation on a set $X$ is a map $\ast : X \times X \to X$. Usually, we denote $\ast(x, y)$ by $x\ast y$. For questions about operations in binary arithmetic (base 2), use the tag (binary) instead.

Note: Whether or not a given operation is a binary operation can depend on the set. For example, subtraction is not a binary operation on $\mathbb{N}$ but it is on $\mathbb{Z}$.

There are many objects in abstract algebra which require binary operations as part of their definition. These include: magma, semigroup, monoid, quasigroup, ring, and field.

An $n$-ary operation on $X$ which is a map $\ast : X^n \to X$. A binary operation is the special case $n = 2$.

908 questions
118
votes
13 answers

Does commutativity imply Associativity?

Does commutativity imply associativity? I'm asking this because I was trying to think of structures that are commutative but non-associative but couldn't come up with any. Are there any such examples? NOTE: I wasn't sure how to tag this so feel free…
82
votes
7 answers

Does associativity imply commutativity?

I used to think that commutativity and associativity are two distinct properties. But recently, I started thinking of something which has troubled this idea: $$(1+1)+1 = 1+ (1+1)\implies 2+1=1+2$$ Here using associativity of addition operation,…
34
votes
4 answers

Real life examples of commutative but non-associative operations

I've been trying to find ways to explain to people why associativity is important. Subtraction is a good example of something that isn't associative, but it is not commutative. So the best I could come up with is paper-rock-scissors; the operation…
33
votes
5 answers

Prove XOR is commutative and associative?

Through the use of Boolean algebra, show that the XOR operator ⊕ is both commutative and associative. I know I can show using a truth table. But using boolean algebra? How do I show? I totally have no clue. Any help please?
33
votes
10 answers

Non-associative commutative binary operation

Is there an example of a non-associative, commutative binary operation? What about a non-associative, commutative binary operation with identity and inverses? The only example of a non-associative binary operation I have in mind is the…
31
votes
5 answers

Why Two's Complement works

About to read computer science, I have just stumbled accross the concept of "Two's complement". I understand how to apply the "algorithm" to calculate these on paper, but I have not yet obtained an understanding of why it works. I think this site:…
Jhonny
  • 605
  • 1
  • 8
  • 15
30
votes
4 answers

Can you multiply 3 matrices simultaneouly?

I know that the algorithm for multiplying 2 matrices is defined as: $$(AB)_{ij} = (\text{row }i\text{ of matrix }A) ⋅ (\text{column }j\text{ of matrix }B)$$ And I know that matrix multiplication is associative. So in the case of 3 matrices: $$(A ⋅…
Alice
  • 337
28
votes
7 answers

Can a binary operation have an identity element when it is not associative and commutative?

I tried getting the answers in similar questions, everyone says that it's not necessary, but if $e$ is the identity element for any binary operation $*$, which is not associative and commutative, how can $$a*e=a=e*a$$ when it is not commutative,…
Fullatron
  • 403
27
votes
3 answers

Is multiplication of real numbers uniquely defined as being distributive over addition?

In the set of real numbers, I wonder whether the distributive law uniquely determines multiplication. Suppose that for a function $f$: $\Bbb{R}\times\Bbb{R}$ $\to$ $\Bbb{R}$ the following hold for every $x,y,z$, where $+$ is the usual addition (as…
exp8j
  • 587
26
votes
7 answers

How can I visualise groups in Group Theory?

I'm having a hard time grasping groups in Group Theory. Is it okay to visualise them as being sets with the group axioms and a binary operation, intuitively as a Venn diagram? Also, $(G,*)$ and $G$ without $*$ is really confusing me. I can't seem to…
user419269
25
votes
5 answers

Cross product in $\mathbb R^n$

I read that the cross product can't be generalized to $\mathbb R^n$. Then I found that in $n=7$ there is a Cross product: https://en.wikipedia.org/wiki/Seven-dimensional_cross_product Why is it not possible to define a cross product for other…
25
votes
4 answers

Does symbol "$+$" denote an operation in the notation of a complex number: "$a+ib$"? In case it does, which operation does "$+$" denote?

This is a beginner's question. A complex number is an element of R², that is an ordered pair (a,b) , the numbers a and b being elements of R. A complex number can be written : a + ib . I know that a special kind of addition can be defined for…
user655689
22
votes
5 answers

How is addition different than multiplication?

Is there a fundamental difference in the things we call multiplication and those we call addition? In a field, both binary operations obey exactly the same rules (commutativity, associativity, identity element, and inverse element [actually this one…
user137731
19
votes
1 answer

A question from 1989 leningrad mathematical olympiad

Prove that we cannot define an binary operation $*$ on the set of integers Z satisfy all of the three properties below simultaneously: For any $A∈Z,B∈Z,C∈Z:$ 1.$A*B=-(B*A)$ 2.$(A*B)*C=A*(B*C)$ (Associative Law) 3.For every $A\in Z$ there exist…
17
votes
3 answers

Do binary operations need to be surjective functions?

Let $\star$ be a binary operation on the set $S=[0,1]$ defined to be $$\star : [0,1] \times [0,1] \to [0,1] $$ $$\text{where } a \star b = \text{min}\left(\frac12 a , \frac12 b\right) $$ From observation we can see that the set $S$ is closed under…
WaveX
  • 5,580
1
2 3
60 61