daConverselyifaOKisanonzeroidealandd2OKf0gthen1 daisanOKmoduleinKwithcommondenominatordso1 daisafractionalidealExample22SinceZisaPIDthefractionalidealsinQaresubgroupsZsubmodulesofQhavingt ID: 293081
da.Conversely