Misplaced Pages

Fixed-point subgroup

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Algebraic expression
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Fixed-point subgroup" – news · newspapers · books · scholar · JSTOR (September 2015)

In algebra, the fixed-point subgroup G f {\displaystyle G^{f}} of an automorphism f of a group G is the subgroup of G:

G f = { g ∈ G ∣ f ( g ) = g } . {\displaystyle G^{f}=\{g\in G\mid f(g)=g\}.}

More generally, if S is a set of automorphisms of G (i.e., a subset of the automorphism group of G), then the set of the elements of G that are left fixed by every automorphism in S is a subgroup of G, denoted by G.

For example, take G to be the group of invertible n-by-n real matrices and f ( g ) = ( g T ) − 1 {\displaystyle f(g)=(g^{T})^{-1}} (called the Cartan involution). Then G f {\displaystyle G^{f}} is the group O ( n ) {\displaystyle O(n)} of n-by-n orthogonal matrices.

To give an abstract example, let S be a subset of a group G. Then each element s of S can be associated with the automorphism g ↦ s g s − 1 {\displaystyle g\mapsto sgs^{-1}} , i.e. conjugation by s. Then

G S = { g ∈ G ∣ s g s − 1 = g  for all  s ∈ S } {\displaystyle G^{S}=\{g\in G\mid sgs^{-1}=g{\text{ for all }}s\in S\}} ;

that is, the centralizer of S.

See also

References

  1. Checco, James; Darling, Rachel; Longfield, Stephen; Wisdom, Katherine (2010). "On the Fixed Points of Abelian Group Automorphisms". Rose-Hulman Undergraduate Mathematics Journal. 11 (2): 50.


Stub icon

This group theory-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: