How Many Elements Are in the Semigroup X^X?

  • Thread starter Thread starter yaganon
  • Start date Start date
  • Tags Tags
    Confused
yaganon
Messages
16
Reaction score
0
(Moderator's note: thread moved from "Linear & Abstract Algebra")

problem # 12).

Suppose X is a finite set with n elements. Show that the semigroup X^x has n^n elements.

I'm confused. Isn't semigroup a set of functions? So when it says n elements, it actually means n functions? Also what is X^x defined as?
 
Last edited by a moderator:
Physics news on Phys.org
yaganon said:
problem # 12).

Suppose X is a finite set with n elements. Show that the semigroup X^x has n^n elements.

I'm confused. Isn't semigroup a set of functions? So when it says n elements, it actually means n functions? Also what is X^x defined as?

Well, if this semigroup is isomorphic to the set of functions from X to X, then n^n is clearly the right number. I looked at the semigroup page on Wikipedia and couldn't find that notation, though. Can't find it in your textbook?
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'

Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'

Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
View full post »

Similar threads

Prove every subset of countable set is either finite or else countable
Replies
1
Views
2K
Show that a set has no "unique nearest point" property
Replies
14
Views
1K
Prove ##a + b = b + a## using Peano postulates
Replies
3
Views
1K
How Do Vector Spaces of Linear Maps Differ from Standard Vector Spaces?
Replies
9
Views
2K
Prove ##(a+b)\cdot c=a\cdot c+b\cdot c## using Peano postulates
Replies
3
Views
1K
Understanding the Dicyclic Group of Order 12: Composition and Element Orders
Replies
3
Views
2K
I Meaning of "passage to the quotient"?
Replies
3
Views
560
Proving intersection of finitely many open sets is open
Replies
1
Views
2K
Show Standard Deviation is Zero When X=k
Replies
3
Views
1K
Prove: f_n Convergence Implies f(x)=c
Replies
7
Views
2K

Hot Threads

Recent Insights

Back
Top