ALGEBRAIC DETAILS
