Construção de reticulados via álgebras de divisão e algoritmos eficientes para solução linear em redes distribuídas