#algebraic properties