# 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.

779 questions
Filter by
Sorted by
Tagged with
31 views

### which X solves: $X \oplus 24 = X$ [closed]

which X solves the following equation? $X \oplus 24 = X$ I tried many numbers and nothing seems to solve it... Update: $X$ is a natural number and $\oplus$ is bitwise XOR
42 views

### What kind of operation is cube root extraction?

I came across this question in a random test and the correct answer was marked as "Binary Operation". I am pretty sure that to find the cube root of a number you only need that number alone ...
57 views

### Set $G=\{C\subset\mathbb{R}^n\}$. Is there a binary operation $\cdot$ such that $(G,\cdot)$ is a group?

Set $G=\{C\subset\mathbb{R}^n\}$. Is there a binary operation $\cdot$ such that $(G,\cdot)$ is a group? The biggest trouble I'm having is concerning the existence of inverses. A standard notion of &...
• 3,426
1 vote
45 views

### Prove or disprove: there exists no binary operation $*$ on $\mathbb Q^+$ s.t. $(\mathbb Q^+,*)$ is not isomorphic to $(\mathbb Q^+,×)$

I am a first year college student who just started studying abstract algebra. I have been discussing the following problem with my friends at another university for a couple of days: Prove or disprove:...
68 views

### Algebraic structure satisfying interchange law

Is there a name for an algebraic structure that satisfies a rule equivalent to the interchange law from category theory? Say, a set $A$ with associative (not necessarily commutative) operations $\cdot$...
• 172
31 views

### Is it necessary that a binary operation is commutative so as to have a two sided identity element? [closed]

Is it important that a binary operation is committed for having a two sided identity element in it
18 views

### Binary Relation definition in Set Theory?

Do binary relations have multiple definitions? For example equality: $$= \subset U \times U$$ $$(a,b) \in =$$ appears used typically as: $$a = b, =(a,b)$$ which would require a functional definition ...
• 939
124 views

• 154
46 views

### Define a binary operation on {e,(12)}×{e,(123),(132)} so that it becomes isomorphic to $S_3$ [closed]

Since {e,(12)} isomorphic to $Z_2$ and {e,(123),(132)} isomorphic to $Z_3$ and gcd(2,3)=1, so, {e,(12)}×{e,(123),(132)} isomorphic to $Z_6$ which is not isomorphic to $S_3$. But can a binary ...
• 572
84 views

### Puzzle: binary number shrinkage on operation

Given a random binary number with n digits. Define operation P: count number of ones, suppose there are k ones in this binary number, then flip k-th digit(1 to 0, 0 to 1) counting from left(or right, ...
• 103
51 views

### Example of a set not closed under multiplication

It might be a stupid question, but can you give me some example of multiplication not being closed in some set? I could find a case in "addition"(e.g., a set of odd numbers is not closed ...
• 368
70 views

### Does this property of two binary operations have a name?

I am wondering whether the following property of two binary operations $\diamond$ and $\star$ has a name. I haven't seen it listed in overviews of properties of binary operations, and I wouldn't know ...
• 133
50 views

### How do we add multiple binary bits with carry using boolean operators XOR and AND.

My question is similar to How do I add multiple binary numbers without using a partial sum?. For example, if we add two bits, a and b, then sum bit = a XOR b and carry bit = a AND b. Is there a way to ...
103 views

### Boolean Logic - Conversion from AND to OR and OR to AND

is there a simple boolean equation that : Given Equals A+B AB AB A+B !A+!B !A!B !A!B !A+!B I figured that it would require to flip the sign, but then it lead me to this Given Flip Equals AB A !...
22 views

### Class of Operations With Verifiable Parameters

What is the proper terminology for operations that allow checking if a specific parameter/operand value was used? For instance, an imperfect example would be the concatenation operation: concatenate(&...
• 51
27 views

### Binary multiplication of 11001000 and 10011010 - Different answer?

I've run into a bit of an issue during my multiplication of these two binary values: $11001000\ (0.11001000 \times 2^2)$ and $10011010\ (0.10011010 \times 2^0)$. The answer I get when I did the ...
• 11
30 views

### In Polish/Prefix notation of binary operations, are all expression unambiguous w.r.t. which operator is applied first?

Take binary operator ~ and a chain like a ~ b ~ c. It is ambiguous as it can mean either of: ...
• 1,059
45 views

### What is the identity number for exponentiation/logarithm?

If the identity number of the addition/subtraction pair of operations is 0. and the identity number of the multiplication/division pair of operations is 1. what is the identity number of the ...
• 245
27 views

### Dividing with a bigger divisor

I have a task with binary operations 10 ÷ 10011 I have trouble in solving this equation. I tried searching but i can't find one with same given values (where divisor is bigger than dividend). If ...
56 views

### Untyped λ-calculus: proof that for any binary relation $R \vDash \lozenge \Rightarrow R^* \vDash \lozenge$

I'm currently in the process of reading Barendregt's "The Lambda Calculus - Its Syntax and Semantics" (1985 revised edition) and I've stumbled across a lemma whose proof I can't quite ...
141 views

### Distinguishing the $+$ in $\mathbb R^n$ from the $+$ in $\mathbb R$ (where NOT distinguishing MAY INDEED cause confusion)

Edit based on 2 answers given: The context is that this question was originally part of another question. I believe the lack of distinguishing between the 2 $+$'s is because the instructor wants to ...
• 1
74 views

### Is integration unary or binary operator?

Is integration unary operation or binary operation? If we think about numbers, then integrals are interated binary operation. But if we think in terms of functions, then integrals seem unary operators....
1 vote
103 views

### Are there commonly used symbols for the negation of implications?

Exhaustively, there are 16 possible truth tables for two propositions. If we interpret the values in the rows as binary digits, we can conveniently use the resulting hexadecimal digit as the ...
• 1,608
71 views

### Booth algorithm for multiplying signed numbers

The algorithm of the Booth for multiplying signed numbersrs of fixed complement representation decimal point by 2 is implemented by multi-consecutive digit stain control of the multiplier, so after ...
• 12.2k
1 vote
68 views

### All combinations for $x_i+y_j$ in a finite sets of real numbers

Consider $m, n \in \mathbb{N}$ and $\{x_1, x_2, \cdots, x_n\},\{y_1, y_2, \cdots, y_m\} \subset \mathbb{R}\setminus \{0\}$. Question. How many possible combinations we can form with elements of the ...
• 1,397
1 vote
96 views

### Multiplicative $\mathbb{Z}^{*}_p$

Question: How to prove that $\mathbb{Z}^{*}_p$ is a group under multiplication operation where $p$ is prime. Proof: We define $$\mathbb{Z}^{*}_p=\{[a] \in \mathbb{Z}_p: [a] \neq [0]\}$$ 1. For well-...
47 views

### Fewest applications of associativity

By repeatedly applying the basic associativity law $(x+y)+z = x+(y+z)$, one can get from any one expression with binary addition to any other with the variables in the same order. Specifically, given ...
• 1,722
60 views

### Help with binary division problem dividing $1001011010000$ by $1001$

I have this binary division practice problem, I am not sure how to deal with a leading 1 when pulling down the next bit. Here is my process, I'll try to make it clear to where my confusion comes about,...
• 657
49 views

### Is there a standard name for this property of ordered pairs of binary operations?

I know that the distributive property of ordered pairs of binary operations is well-known. However, I have thought of a new property of ordered pairs of binary operations. Let $+$ and $*$ be the ...
• 13.3k
192 views

### Are there precedence (BODMAS kind of) rules in set operations?

Let's say we have three set's $A, B, C$ with elements $\in \Bbb Z$ . If there is an operation $A \setminus (A\cap (B \setminus C)^\mathsf{c})\cup(B\cap C)$ let $x=(A\cap (B\setminus C)^\mathsf{c})$ ...
157 views

### How to show associativity with set of only two elements.

Considering the set $S= \{-1, 1\}$, I need to show if associativity holds under binary operation multiplication. We used to take any three elements to verify the associative property, but here only ...
18 views

### Is closure enough for an operation to be chained?

Say we have a set S and a binary operation $\star$ under which S is closed. Is this enough for us to derive an arbitrary (possibly infinitary) operation $\star$ in which the order of operations ...
• 77
1 vote
34 views

### Non-contradictory axiom system for a binary operation

Suppose we want to define a binary operation $\otimes:\mathbb{N} \times\mathbb{N} \rightarrow \mathbb{N}$ on a ring $(\mathbb{N},+,\cdot)$ with an arbitrary system of axioms. The axioms may be given ...
37 views

### XORing two fractions of integers

I was wondering if it is possible to apply the XOR operator between two fractions of integers. 2 ⨁ 13 = 0010 ⨁ 1101 = 1111 = 15. ...
• 13
Let $A = \{1, 2, 3, 4\}$. What is the number of binary operations $*$ defined on $A$, such that $(A,*)$ is a group isomorphism to $(\Bbb Z_4,+)$, and the order of $3$ is $2$ in this group ? I tried ...
### How to find cyclic subgroups of $S_4$ with certain numbers of elements [duplicate]
In the group $S_n$ consisting of the set of all bijections from $\{1,2,...,n\}$ to $\{1,2,...,n\}$ with a binary operation $◦$ denoting composition of functions. I am asked to find cyclic subgroups of ...