_:vb7733430 "As we can see every principal ideal domain is a Dedekind domain."@en . _:vb7733430 "2007, Leonid Kurdachenko, Javier Otal, Igor Ya. Subbotin, Artinian Modules over Group Rings, Springer (Birkh\u00E4user), page 55:"@en .