anillos libres, grupos abelianos libres, y los módulos libres siguen el mismo patrón.