Unsolvable algorithmic problems for semigroups, groups, and rings