00:04
Let phi be automorphism of group g.
00:16
So basically, g be an automorphic, so we can define h equals x is a set of all element of g.
00:40
And that fixed by the automorphism phi.
00:53
So basically h is the fixed point subgroup of phi.
00:59
So the idea is that you apply phi to an element of g.
01:04
If it doesn't move, then it belongs to h.
01:07
Since we show h is a subgroup of g, and so let's say non -empty, non -empty 5 equals e for the identity, e is a subset of g.
01:47
So basically it's a homomorphism sent identity to identity.
01:52
So also e is also a subset of h because h is a subgroup of g.
02:10
Thus, h is not empty.
02:22
Now, so first of all, we shows that h is, is not empty...