路代数的同构

设K(Δ)表示有向图Δ在域K上的路代数,本文证明:(1)K(Δ)^+与K(Γ)^+代数同构当且仅当Δ与Γ边同构。(2)K(Δ)与K(Γ)代数同构当且仅当Δ与Γ同构。