论文标题
Tame Quivers特殊表示的树模块属性的证明
Proof of the tree module property for exceptional representations of tame quivers
论文作者
论文摘要
本文档是论文[13]的附录的ARXIV入口点（辅助文件e6_proof.pdf-``````Quiver $ \ widetilde {\ Mathbb {e}}} _ 6 $'''''''树模块属性的证明，' Quiver $ \ widetilde {\ Mathbb {d}} _ 6 $'''）的特殊表示的树模块属性的特殊表示。辅助文件分别在[13] [12]中分别包含了主要结果证明的计算机部分，给出了对应于与规范为方面的Euclidean Quiver $ \ wideTilde {\ Mathbb {e} _ 6 $的特殊模块相对应的树表示的完整列表。 $ \ widetilde {\ mathbb {d}} _ 6 $。有目的开发的计算机软件部分生成了证明（涉及归纳和符号计算的象征计算），以详细的分步方式输出，就好像写了``手工''一样。 我们还在这里提供了简短的理论介绍，并概述了用于证明论文[13]和[12]中给出的公式的计算方法。
This document serves as an arXiv entry point for the appendix to the paper [13] (the ancillary file e6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{E}}_6$'') and the appendix to the paper [12] (the ancillary file d6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{D}}_6$''). The ancillary files contain the computer generated part of the proofs of the main results in [13] respectively [12], giving a complete and general list of tree representations corresponding to exceptional modules over the path algebra of the canonically oriented Euclidean quiver $\widetilde{\mathbb{E}}_6$, respectively $\widetilde{\mathbb{D}}_6$. The proofs (involving induction and symbolic computation with block matrices) were partially generated by a purposefully developed computer software, outputting in a detailed step-by-step fashion as if written ``by hand''. We also give here a short theoretical introduction and an overview of the computational method used to prove the formulas given in the papers [13] and [12].
