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

  • 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.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 26 ·
Replies
26
Views
703
Replies
5
Views
959
  • · Replies 25 ·
Replies
25
Views
3K
Replies
3
Views
3K
Replies
33
Views
1K
Replies
8
Views
3K
  • · Replies 52 ·
2
Replies
52
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
27
Views
2K