Number of n-element binary operation tables, out of a total n^n^2 tables, that satisfy the axioms for an Average system. Not culled for isomorphism. The Average system axioms are avg(A,A)=A, avg(A,B)=avg(B,A), avg(avg(A,B),avg(C,D)) = avg(avg(A,C),avg(B,D)).
A111773
Number of n-element binary operation tables, out of a total n^n^2 tables, that satisfy the axioms for an Average system. Not culled for isomorphism. The Average system axioms are avg(A,A)=A, avg(A,B)=avg(B,A), avg(avg(A,B),avg(C,D)) = avg(avg(A,C),avg(B,D)).
Terms
- a(0) =1a(1) =2a(2) =10a(3) =92a(4) =1321a(5) =27882a(6) =819330
External references
- oeis: A111773