Lectures related to Group action

Explores active learning implications in understanding group structures and symmetric actions.

Explores adjoint functors, points fixes, orbits, and non-trivial actions in group theory.

Explores Lie groups, scalar fields, and vector spaces transformations.

Covers G-equivariant morphisms in group actions, emphasizing natural transformations and conditions for morphisms.

Covers the local structure of totally disconnected locally compact groups, exploring properties and applications.

Explores group actions, subsets, points fixes, orbits, and stabilizers.

Covers abelian groups, Sylow subgroups, and variants on beta action.

Formalizes the construction of orbits and fixed points in group actions, defining morphisms and verifying naturalness.