Noetherianity and Specht problem for varieties of bicommutative algebras (Q1703114)

A nonassociative algebra over a field is said to be bicommutative if it satisfies the identities \(x_1(x_2x_3) = x_2(x_1x_3)\) and \((x_1x_2)x_3 = (x_1x_3)x_2\). The authors observe that finitely generated bicommutative algebras satisfy the ascending chain condition for two-sided ideals (Theorem 3.2); at the same time the free one-generated bicommutative algebra does not satisfy the ascending chain condition for left nor right ideals (Theorem 3.1). Using the Higman-Cohen method of partially well-ordered sets, they also prove that every variety of bicommutative algebras (over a field of arbitrary characteristic) admits a finite identity basis (Theorem 4.7).