2024-07-28

696: Conjugation for Group by Element

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of conjugation for group by element

Topics


About: group

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of conjugation for group by element.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( G\): \(\in \{\text{ the groups }\}\)
\( p\): \(\in G\)
\(*f_p\): \(: G \to G, p' \mapsto p p' p^{-1}\)
//

Conditions:
//


2: Natural Language Description


For any group, \(G\), and any element, \(p \in G\), the map, \(f_p: G \to G, p' \mapsto p p' p^{-1}\)


References


<The previous article in this series | The table of contents of this series | The next article in this series>