This thesis examines the connections between Bézout domains and elementary divisor domains. I establish what both of these domains are, and I provide some clarifying examples of each. I state and prove some key results that have been established already in the literature. I describe a process by which I tried to show a distinction between Bézout domains and elementary divisor domains, and then provide an explicit example which shows that this process as formulated would not lead to an example of a Bézout domain which is not an elementary divisor domain. Throughout the thesis, I also state open questions that could lead to future research in this area.

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第24038号 / 情博第794号 / 新制||情||134(附属図書館) / 京都大学大学院情報学研究科数理工学専攻 / (主査)准教授 辻本 諭, 教授 梅野 健, 教授 矢ヶ崎 一幸 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM