环论研究環的結構、環的代數表現方式(英语:representation of an algebra)(或稱為modules(英语:module (ring theory)))、特殊的環(例如群環、除环、泛包絡代數等),也包括一些和环论有關的定理以及其應用,例如同調代數、及PI環(英语:PI ring)。
Agda”,歌词讲述了一只名叫 Agda 的母鸡的故事。这实际上影射了 Coq(Coq 在法语中意为公鸡)。 将下述程序保存于文件hello-world.agda中: module hello-world where open import IO main = run (putStrLn "Hello, World!") 在
Algebra — An Approach via ModuleTheory, William Adkins, Steven Weintraub (1992, ISBN 978-0-387-97839-0) Harmonic Function Theory, Sheldon Axler, Paul Bourdon