algebraisk likhet