A285051 Idempotent equivalence class multiplications for the full transformation semigroup.

1, 11, 268, 13705, 1122726

Offset

1,2

Comments

Over all n^n transformations create a list of 3-tuples (a,b,c) where a*b = c. For each tuple map each of the three elements to its idempotent under self-composition, (g^i)*(g^i) = g^i. Collect the unique 3-tuples.

Links

Table of n, a(n) for n=1..5.

Example

For n=2: [([0,0],[0,0],[0,0]),([0,0],[0,1],[0,0]),([0,0],[1,1],[0,0]),([0,1],[0,0],[0,0]),([0,1],[0,1],[0,1]),([0,1],[1,1],[1,1]),([0,1],[0,0],[1,1]),([0,1],[1,1],[0,0]),([1,1],[0,0],[1,1]),([1,1],[0,1],[1,1]),([1,1],[1,1],[1,1])]

Crossrefs

Sequence in context: A232695 A027019 A255955 * A267900 A168147 A108519

Adjacent sequences: A285048 A285049 A285050 * A285052 A285053 A285054

Keyword

nonn,more

Author

Chad Brewbaker, Apr 08 2017

Status

approved