This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A214396 #45 Oct 25 2024 15:36:17
%S A214396 1,5,44,657,13577,672740
%N A214396 Number of HSI-algebras on n elements, up to isomorphism.
%C A214396 An HSI-algebra is a structure (1, +, *, ^) over some set such that Tarski's high-school identities hold: addition and multiplication are commutative and associative, multiplication distributes over addition, 1 is the multiplicative identity, x^1 = x, 1^x = 1, x^y * x^z = x^(y+z), (xy)^z = x^z * y^z, and (x^y)^z = x^(y*z).
%C A214396 Burris & Lee (1992) find a(3) = 44.
%H A214396 Stanley Burris and Simon Lee, <a href="https://doi.org/10.1142/S0218196792000104">Small models of the high school identities</a>, International Journal of Algebra and Computation 2:2 (1992), pp. 139-178.
%H A214396 Stanley Burris and Simon Lee, <a href="http://www.jstor.org/stable/2324454">Tarski's high school identities</a>, Amer. Math. Monthly 100 (1993), 231-236.
%H A214396 Choiwah Chow, Mikoláš Janota, and João Araújo, <a href="https://doi.org/10.3233/FAIA240980">Cube-based Isomorph-free Finite Model Finding</a>, IOS ebook, Volume 392: ECAI 2024, Frontiers in Artificial Intelligence and Applications. See p. 4105.
%F A214396 Trivial upper bound: a(n) <= n^(3n^2+1). - _Charles R Greathouse IV_, Jun 19 2013
%e A214396 From _Bert Dobbelaere_, Sep 13 2020: (Start)
%e A214396 The following operator definitions over the set of elements {1,A,B} is consistent with the identities. There are 44 such solutions that cannot be transformed into eachother by swapping symbols, hence a(3) = 44.
%e A214396 x + y | y = 1 A B x * y | y = 1 A B x ^ y | y = 1 A B
%e A214396 ------+-------------- -------+-------------- -------+--------------
%e A214396 x = 1 | A A 1 x = 1 | 1 A B x = 1 | 1 1 1
%e A214396 A | A A A A | A A B A | A A 1
%e A214396 B | 1 A B B | B B B B | B B B
%e A214396 (End).
%Y A214396 Cf. A007459.
%K A214396 nonn,nice,hard,more
%O A214396 1,2
%A A214396 _Charles R Greathouse IV_, Aug 21 2012
%E A214396 a(4) from _Bert Dobbelaere_, Sep 13 2020
%E A214396 a(5)-a(6) from _Choiwah Chow_, Oct 21 2024