Finite generation from finitely many principal localizations

ID: finite-generation-from-finitely-many-principal-localizations

Suppose a -algebra has elements with , and each is a finitely generated algebra. Let contain the and numerators of finite generating sets of all . Then is finitely generated and . For , clear denominators so that all belong to . A unit-ideal identity for powers gives in , hence . Thus .

New to topics? Read the docs here!