Un viaje algebraico en guagua

Suponemos la linea 1 de guaguas de la ciudad que va de A a E, parando en B, C y D (simplificando). La línea es de ida y vuelta, cuando llega a E vuelve hacia A parando en los mismos puntos. Un pasajero no tiene por qué bajarse en el principio o final de línea, puede continuar. Tenemos las siguientes operaciones que puede hacer un pasajero que sube a la guagua:

1. Subir en una parada y bajar en otra. Si x son las paradas que recorre, entonces está garantizado que acaba en una parada
2. También puede no subir cuando llega la guagua. Sería la operación nula.
3. Si va de un punto a otro, puede tomar la de vuelta y retornar al punto de partida. Si recorre x paradas, al recorrer las mismas en sentido opuesto, -x, vuelve al mismo sitio.
4. Puede asociar de distintas formas tres trayectos consecutivos llegando siempre al mismo punto. Si recorre primero x paradas, después y, y después z, el resultado final es el mismo contabilizado como (x+y)+z=x+(y+z)
5. El recorrido es conmutativo. Si recorre primero x paradas y luego y paradas, es lo mismo que si recorre primero y paradas y después x, x+y=y+x.

Estamos ante una estructura de grupo conmutativo.