It is shown that black-box derandomization of polynomial identity testing (PIT) is essentially equivalent to derandomization of Noether's Normalization Lemma for explicit algebraic …
We consider two group actions on m-tuples of n× n matrices with entries in the field K. The first is simultaneous conjugation by GL n and the second is the left-right action of SL n× SL n …
We prove a characteristic free version of Weyl's theorem on polarization. Our result is an exact analogue of Weyl's theorem, the difference being that our statement is about …
Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K [X] G in the case where G is reductive …
E Dufresne - Advances in Mathematics, 2009 - Elsevier
A separating algebra is, roughly speaking, a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In …
G Kemper - Journal of Symbolic Computation, 2009 - Elsevier
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 …
Roughly speaking, a separating algebra is a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In …
T Kamke, G Kemper - Qualitative Theory of Dynamical Systems, 2012 - Springer
The main purpose of this paper is to give a survey of algorithms in invariant theory, with emphasis on nonreductive groups and on recent developments. But the article has some …
Plusieurs lois de comportement mécaniques possèdent une formulation tensorielle, comme c'est par exemple le cas pour l'étude des matériaux élastiques. Dans ce cas in-tervient un …