SMS: Algebra abstracta