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 .
Articles by others on the same topic
There are currently no matching articles.