Polynomial automorphism IAPS
From Apstheory
Contents |
[edit] Definition
[edit] Definition with symbols
The polynomial automorphism IAPS over a ring Failed to parse (Can't write to or create math temp directory): R
is an IAPS of groups whose Failed to parse (Can't write to or create math temp directory): n^{th} member is the automorphism group of Failed to parse (Can't write to or create math temp directory): R[x_1,x_2,...,x_n] as an Failed to parse (Can't write to or create math temp directory): R
-algebra.
The block concatenation map is defined as ...
[edit] As a functor
The polynomial automorphism functor is an IAPS functor from the category of rings to the category of groups, that is, it takes as input a ring and returns an IAPS of groups.