Induction in Algebra: a First Case Study