Unipotent automorphism: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
===Definition with symbols=== | ===Definition with symbols (right action convention)=== | ||
Let <math>G</math> be a group. For <math>\sigma \in Aut(G)</math> and <math>g \in G</math>, denote by <math>[g,\sigma]</math> the element <math>g^{-1}\sigma(g)</math>. Then <math>\sigma</math> is said to be unipotent of class <math>n</math> if for any <math>g \in G</math>: | Let <math>G</math> be a group. For <math>\sigma \in \operatorname{Aut}(G)</math> and <math>g \in G</math>, denote by <math>[g,\sigma]</math> the element <math>g^{-1}\sigma(g)</math>. Then <math>\sigma</math> is said to be unipotent of class <math>n</math> if for any <math>g \in G</math>: | ||
<math>[[[\ldots[g,\sigma],\sigma],\ldots] = e</math> | <math>[[[\ldots[g,\sigma],\sigma],\ldots] = e</math> | ||
with <math>\sigma</math> written <math>n</math> times. | |||
Latest revision as of 00:04, 20 July 2009
This article defines an automorphism property, viz a property of group automorphisms. Hence, it also defines a function property (property of functions from a group to itself)
View other automorphism properties OR View other function properties
Definition
Definition with symbols (right action convention)
Let be a group. For and , denote by the element . Then is said to be unipotent of class if for any :
with written times.