Equational theory of algebras with a majority polynomial

This note gives a simple proof of a result of R. N. McKenzie that any finitely based variety of algebras which admit a majority polynomial and is definable by absorption identities is one-based. In the case of lattices, for example, this yields a “short” identity with only seven variables.