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 'Prove that the integral is equal to ##\pi^2/8##'

Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
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
505
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