Number of Binary Operations on a Set with a Special Property

  • I
  • Thread starter Expiring
  • Start date
  • Tags
    Set
In summary, the article discusses the concept of binary operations on a set with a special property, focusing on how these operations can be systematically counted. It explores the characteristics that define such operations, including closure, associativity, and identity elements, and provides a mathematical framework for determining the number of distinct binary operations that can be defined on a given set. The analysis highlights the implications of these operations in various mathematical contexts and their significance in abstract algebra.
  • #1
Expiring
4
3
TL;DR Summary
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
  • #2
Very good. makes sense to me.
 
  • #3
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.
 
Back
Top