I Number of Binary Operations on a Set with a Special Property

  • I
  • Thread starter Thread starter Expiring
  • Start date Start date
  • Tags Tags
    Set
Expiring
Messages
4
Reaction score
3
TL;DR
I was wondering if anyone could look over my solution to the question

"How many different binary operations on a set S with n elements have the property that for all x ∈ S, x * x = x ?"
Hello all,

The question I am tackling is as follows:

How many different binary operations on a set S with n elements have the property that for all x ∈ S, x * x = x ?

I was wondering if any of you could look over my solution and tell me if my logic is correct.

Solution:

Thinking of all the possible operations as entries on an n x n matrix, the entries x * x would lie on the diagonal of the matrix. The total number of entries in the matrix would be n^2, and, since the elements on the diagonal of the matrix (the elements x * x) have a pre-determined value (and there are n of these elements), the number of elements that we need to map would total n^2 - n.

So, when when we map n^2 - n elements to n elements, there will be n^(n^2 - n) total binary operations.

Any feedback would be great!
 
  • Like
Likes Bosko and Hill
Physics news on Phys.org
Very good. makes sense to me.
 
Expiring said:
I was wondering if any of you could look over my solution and tell me if my logic is correct.
Yes, you are right. ##n^{n(n-1)}## is the solution , if there no any other constraint on the binary operation *.
There are n(n-1) places in the matrix that are not on the diagonal.
On any of them you can put any of n elements of the set S.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...