Foundations for algebra