Algebraic Stepper for Simple Modules. - Kenichi Asai; Hinano Akiyama (PEPM, 2025)