Ultrapowers of banach algebras and modules

The Arens products are the standard way of extending the product from a Banach algebra to its bidual . Ultrapowers provide another method which is more symmetric, but one that in general will only give a bilinear map, which may not be associative. We show that if is Arens regular, then there is at least one way to use an ultrapower to recover the Arens product, a result previously known for C*-algebras. Our main tool is a principle of local reflexivity result for modules and algebras.