The generalisation of algebra ic methods originally concerned with number systems to deal with arbitrary algebraic structures over arbitrary domains.