general question is this really correct is called an n ring if its integral closure in its quotient field is a finite a module requiring the module to be finite seems like a rather strong condition so i wonder if finitely generated is what was intended more references would be nice too i've never heard of this ring don't have access to all the references and had trouble finding stuff online except for one reference which also has the finite a module terminology