Unipotent automorphism: Difference between revisions

From Groupprops
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 G be a group. For σAut(G) and gG, denote by [g,σ] the element g1σ(g). Then σ is said to be unipotent of class n if for any gG:

[[[[g,σ],σ],]=e

with σ written n times.