请输入您要查询的字词:

 

单词 PathAlgebraOfADisconnectedQuiver
释义

path algebra of a disconnected quiver


Let Q be a disconnected quiver, i.e. Q can be written as a disjoint unionMathworldPlanetmathPlanetmath of two quivers Q and Q′′ (which means that there is no path starting in Q and ending in Q′′ and vice versa) and let k be an arbitrary field.

PropositionPlanetmathPlanetmath. The path algebraMathworldPlanetmathPlanetmath kQ is isomorphicPlanetmathPlanetmathPlanetmath to the productMathworldPlanetmathPlanetmathPlanetmath of path algebras kQ×kQ′′.

Proof. If w is a path in Q, then w belongs either to Q or Q′′. Define linear map

T:kQkQ×kQ′′

by T(w)=(w,0) if wQ or T(w)=(0,w) if wQ′′ and extend it linearly to entire kQ. We will show that T is an isomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmath of algebras.

If w,w are paths in Q, then since Q and Q′′ are disjoint, then each of them entirely lies in Q or Q′′. Now since Q and Q′′ don’t have common vertices it follows that ww=ww=0. Without loss of generality we may assume, that w is in Q and w is in Q′′. Then we have

T(ww)=T(0)=(0,0)=(w,0)(0,w)=T(w)T(w).

If both lie in the same component, for example in Q, then

T(ww)=(ww,0)=(w,0)(w,0)=T(w)T(w).

Since T preservers multiplication on paths, then T preserves multiplication and thus T is an algebra homomorphism.

Obviously by definition T is 1-1.

It remains to show, that T is onto. Assume that (a,b)kQkQ′′. Then we can write

(a,b)=i,jλi,j(vi,wj)=i,jλi,j(vi,0)+i,jλi,j(0,wj),

where vi are paths in Q and wj are paths in Q′′. It can be easily checked, that

T(i,jλi,j(vi+wj))=(a,b).

Here we consider all vi and wj as paths in Q.

Thus T is an isomorphism, which completesPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath the proof.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 1:09:18