Lo que haría es hablar de enteros modulares. Primero haga que vean que si toma el resto después de la división por, digamos, 9, cuando suma o resta, los restos también suman o restan. Para 9, esto corresponde a una regla de divisibilidad bien conocida que deberían conocer. Luego puede escribir una tabla de suma y ver si obtienen eso. También puede hacer un grupo [math] \ mathbb {Z} _n [/ math] bajo multiplicación, pero comience con un primo n. Muestre que tiene propiedades similares. Luego puede hacer un grupo de permutaciones, como [math] S_4 [/ math]. También puede dejar que piensen en [math] \ mathbb {R} ^ {+} [/ math] en multiplicación y [math] \ mathbb {R} [/ math] en suma y se den cuenta de que tienen propiedades comunes, y muestra una asignación a través de la función [math] \ log [/ math].
En resumen, en lugar de definir las cosas formalmente, haría un montón de ejemplos simples y los ayudaría a ver que hay algo común en todos estos casos. Y luego puede extraer esas cosas como una definición de un grupo, y hacer algunas pruebas simples, como la singularidad de un inverso.