Abstract | ||
---|---|---|
This paper studies separating subsets of an invariant ring or, more generally, of any set consisting of functions. We prove that a subset of a finitely generated algebra always contains a finite separating subset. We also show that a general version of Noether's degree bound holds for separating invariants, independently of the characteristic. While the general finiteness result is non-constructive, the Noether bound provides an easy algorithm for computing separating invariants of finite groups. The paper also contains a conceptual investigation of the difference between separating and generating subsets. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.jsc.2008.02.012 | J. Symb. Comput. |
Keywords | DocType | Volume |
invariant ring,Separating invariants,paper study,general version,easy algorithm,conceptual investigation,general finiteness result,finite group | Journal | 44 |
Issue | ISSN | Citations |
9 | Journal of Symbolic Computation | 1 |
PageRank | References | Authors |
0.48 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gregor Kemper | 1 | 70 | 11.53 |