Use with the (group-theory) tag. Groups describe the symmetries of an object through their actions on the object. For example, Dihedral groups of order $2n$ acts on regular $n$-gons, $S_n$ acts on the numbers $\{1, 2, \ldots, n\}$ and the Rubik's cube group acts on Rubik's cube.

learn more… | top users | synonyms

0
votes
0answers
18 views

Set stabilizer of subset vs. set stabilizer of inverse subset

Let $G$ be a finite group and $A\subseteq G$ a subset. The left regular action of $G$ on itself induces a natural action on the powerset of $G$: $$G\times 2^G\rightarrow 2^G,(g,A)\longmapsto ...
6
votes
1answer
75 views

Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?

Here $G$-sets denote the category of sets which have a left $G$-action. So the question is whether a functor $F \colon \text{$G$-sets} \to \text{$H$-sets}$ implies that we have an isomorphism of ...
0
votes
0answers
31 views

Are permutation group block only defined in the context of finite sets?

From Dummit and Foote (emphasis mine): Let $G$ be a transitive permutation group on the finite set $A$. A block is a nonempty subset $B$ of $A$ s.t. $\forall \sigma\in G:$ either $\sigma(B)\cap B ...
2
votes
1answer
29 views

Where do I use that $G$ is a permuation group?

This is about question $4.1.7$ from Dummit and Foote, and also related to my previous question. The question is (summarised a bit): Let $G$ be a transitive permutation group on a finite set $A$. ...
3
votes
1answer
37 views

Difference between “$G$ acts on $A$” and “G is a permutation group on $A$ (i.e. $G\leq S_A$)”

This question is inspired by questions $4.1.1$ and $4.1.2$ of Dummit and Foote. The hypothesis for the first question is formulated as: "Let $G$ act on the set $A$", and the hypothesis for the second ...
0
votes
0answers
15 views

Are there any resources on this notion of a “directed” semigroup?

Given two additive semigroups $G$ and $H$, and a semigroup action $ \& : G \times H \to G$, then intuitively $H$ can be thought of as a set of "directions" in which we can move in the space $G$. ...
3
votes
1answer
33 views

Level set as the orbit of the action of a Lie Group?

I'm wondering the following. Given a smooth function $f:\mathbb R^n\rightarrow \mathbb R^m$ with $m<n$ and level sets $\mathcal O(y)=\{x\in\mathbb R^n| f(x)=y \}$. What are the conditions on $f$ ...
1
vote
2answers
30 views

Question about action on groups in Bourbaki (Algebra I)

In Bourbaki, Algebra I, chapter I, §5 "Groups operating on a set" paragraph 1, Bourbaki defines the operation of a group $G$ on a set $E$ as a morphism $\alpha \in G\mapsto f_\alpha \in S(E)$ ($S(E)$ ...
3
votes
0answers
32 views

A non-singular quotient of $\mathbb{A}^n$ by a cyclic group is isomorphic to $\mathbb{A}^n$

Let $G$ be a cyclic group acting linearly on $X := \mathbb{A}^n$. If we assume that the quotient $Y:=X/G$ is non-singular, does it follow that $Y \simeq \mathbb{A}^n$? If so, is it necessary to assume ...
11
votes
2answers
104 views

Subgroups of $S_n$ with exactly one fixed point for each element all have the same fixed point.

Let $G$ be a subgroup of $S_n$ (where $n$ is a positive integer) such that each non identity element $g\in G$ has exactly one fixed point. Prove there is an element of $[n]$ that is fixed by every ...
1
vote
2answers
26 views

Group acting on $X$ and element of normal subgroup $H$ fixes an element of $X$ implies $H$ fixes all of $X$

A group $G$ acts on a set $X$ transitively and a normal subgroup $H$ fixes a point $x_{0} \in X$, i.e. $h \cdot x_{0}=x_{0}$ for all $h \in H$. Show that $h \cdot x = x$ for all $h \in H$ and $x \in ...
1
vote
1answer
45 views

Tensor power modulo cyclic group action

Let $M$ be some $R$-module and $n \geq 1$ be some positive integer. The cyclic group $\mathbb{Z}/n\mathbb{Z}$, with a chosen generator $t$, acts on $M^{\otimes n}$ via $t(m_1 \otimes \dotsc \otimes ...
0
votes
1answer
27 views

Transitive Lie group actions and surjectivity of maps

I am reading a paper at the moment and I have come across two statements which I want to understand. Here is the setup: Suppose that $G$ is a Lie group which acts on a manifold $E$ differentiably and ...
1
vote
0answers
19 views

Ref. Request — Non-Transitive Lie Group Actions, Applications to Orbifolds/Groupoids

I'm working on a problem where I have a (highly) non-transitive Lie group action on a manifold, and I am trying to deduce the geometric structure of the quotient space. I've been looking at some ...
0
votes
0answers
23 views

Unique factorization of $G$-sets

According to some sources on (like here or here), in the theory of combinatorial species, every molecular species has a unique factorization into atomic species. As I understand it, this is equivalent ...
1
vote
1answer
20 views

Dihedral Group question involving $D_{4n}$

Let $D_{4n}$ be the dihedral group of the order $4n$. Prove that $D_{4n}/\langle T^n \rangle$ is isomorphic to $D_{2n}$. We tried to configure an action on the diagonals of the $n$-gon and prove ...
5
votes
2answers
73 views

actions of $\mathbb{Z}_2$ on spheres

Let $S^m$ be the $m$-sphere and $$F(S^m,2)/\mathbb{Z}_2=\{(a,b)\mid a,b\in S^m, a\neq b\}/(a,b)\sim (b,a)$$ be the $2$-nd unordered configuration space on $S^m$. Why $F(S^m,2)/\mathbb{Z}_2$ is ...
1
vote
1answer
38 views

Are there different combinatorial species with the same symmetry type?

First off: for my purposes, let $\sf B$ be the category of finite sets with bijections, and ${\sf B}_n$ the subcategory of sets with cardinality $n$, and define a combinatorial species to be a functor ...
1
vote
1answer
91 views

Calculate the homology group of $S^3/G$, an Harvard qualifying exam problem with “unclear” solution

Problem Suppose that $G$ is a finite group whose abelianization is trivial. Suppose also that $G$ acts freely on $S^3$. Compute the homology groups (with integer coeffcients) of the orbit space ...
1
vote
1answer
53 views

Group of order $2m$ where $m$ odd has a subgroup of index 2. [duplicate]

Show that a group $G$ of order $2m$, where $m$ is odd, has a subgroup of index $2$. I am feeling a little dubious about my proof. Let $G$ act on itself by left multiplication to induce the ...
3
votes
2answers
45 views

What are good references for the action of $\Gamma := \pi_1(S)$ on $S^1 = \partial \mathbb{H}^2$, where $S$ is a closed hyperbolic surface

To give some examples: what can we say about the action of $\Gamma$ on the set $V$ of points of $S^1$ that are not fixed for any element of $\Gamma$? Does there exist a Borel fundamental domain for ...
0
votes
1answer
14 views

Is the orbit map for a group action closed in this case?

Suppose a compact Lie group $G$ acts on a manifold $M$ and let $\pi : M \rightarrow M/G$ be the orbit map. Can I say that $\pi$ is closed map? If $C \subseteq M$ is a closed set in $M$ then I only ...
1
vote
0answers
28 views

G acts freely on X. G is paradoxical implies X is also paradoxical

I am proving the Banach-Tarski paradox using a series of small results. For definition of certain terms, see here. Group $G$ acts freely on $X$ i.e. $\operatorname{Stab}(x)=e, \ \forall \ x\in X$. ...
3
votes
2answers
26 views

Group Actions: Verify a Bijective Correspondence

This is an old exam problem: Given an action of $G$ on $X$, we can define $\varphi: G \to S_X$ by the rule $\varphi(g) = \sigma_g$, where $\sigma_g$ is left multiplication by $g \in G$. Prove that ...
2
votes
2answers
36 views

Does transitive imply it's the entire symmetric group

Let $G$ denote a finite group and recall that $G$ acts transitively (on itself) if and only if for all $x,y \in G$ there is a $g \in G$ such that $gx = y$. I am wondering if transitive may imply that ...
1
vote
3answers
20 views

The Stabilizer of the coset for the action of G on $G/H$ by left multiplication.

Let $H$ be a subgroup of $G$. What is the stabilizer of the coset $aH$ for the action of $G$ on $X=G/H$ by left multiplication? So, I think I've done this one correctly: The Stabilizer is of the ...
0
votes
1answer
24 views

action of a monoid on a mapping telescope

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 281, line 14-line 15: For a topological monoid $M$, if $\pi_0(M)=\{0,1,2,3,......\}$, then the action of $M$ on ...
0
votes
0answers
17 views

Continuous action on tensor product

Let $G$ be a profinite group and $V,W$ be $k$-vector spaces with discrete topology. Suppose $G$ acts continuously on $V$ and $W$, we extend the action of $G$ to $V \otimes_k W$ by defining on simple ...
2
votes
1answer
12 views

Group orbit computations

Can someone please verify these? Compute the orbit of a vertex of the square under the tautological action of $D_4$. Compute the orbit of a point $x \in G$ under the action of $G$ on itself by ...
2
votes
1answer
44 views

the largest prime number $p$ dividing $ \left|G\right| $ is also divide $ \left|X\right| $.

Let $ G $ be a finite simple group which acts on finite set $ X $ non-trivially. The goal is that the largest prime number $p$ dividing $ \left|G\right| $ is also divide $ \left|X\right| $. I know ...
3
votes
0answers
29 views

Transfer homomorphism in transformation groups

I am aware of the existence of a transfer homomorphism in the setting of so called "regular $G$-complexes", as described e.g. in Bredon's Introduction to Compact Transformation Groups. But suppose ...
0
votes
0answers
12 views

In which condition the restriction of the orbit map is open?

Let $(X,G)$ be a group action, must the restriction of the orbit map be an open mapping? In other words, $\phi: G \times X \to X$ is a group action, for any $x\in X$, $\phi_x:G \to Gx$ is an open ...
1
vote
1answer
31 views

The topology on $X / G$ where $G$ acts on $X$

The elements are orbits, but how do we find the neighbourhoods? In particular, let $G= ( \mathbb R^+ , \cdot )$ and $X=[0, \infty )$. Let $G$ act on $X$ via the usual multiplication. Then $X/G = ...
1
vote
1answer
47 views

Group action on finite set of integers: is it necessarily a permutation group?

I'm just starting to learn about group actions and there is something not clear to me. Let $S = \{1, \dots, n\}$ and let $G$ be a group acting on $S$. Does this imply that $G$ is a permutation ...
0
votes
1answer
28 views

Action on finite non-abelian group

Let $G$ be a finite, non-abelian group. Show that if $Aut(G)$ acts on $G$ by $\sigma.g=\sigma(g)$ for each $\sigma \in Aut(G)$, $g \in G$, then there exist at least three orbits. I think I could ...
0
votes
1answer
30 views

restriction of the orbit map must be open?

Let $(X,G)$ be a group action, must the restriction of the orbit map be an open mapping? In other words, $\phi: G \times X \to X$ is a group action, for any $x\in X$, $\phi_x:G \to Gx$ is an open ...
0
votes
0answers
15 views

three questions about syndetic sets

$G$ is a topological group. Definition: A subset $S$ of $G$ is said to be syndetic in $G$ provided that $G=SK$ for some compact subset $K$ of $G$. 1.If $S$ is a syndetic subgroup in $G$, then $G/S$ ...
1
vote
0answers
47 views

Certain principle bundle structure on $\mathbb{R}^{n}\setminus \{0\}$

Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a principle fibre bundle. Here $\mathbb{H}^{2}$ is the Poincare upper plane ...
0
votes
0answers
19 views

$ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $is a principal $ O(n-k) $-bundle.

I'm trying to prove that $ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $; $ A \longmapsto (Ae_1, ... ,Ae_k) $ (the projection from the orthogonal group to the Stiefel manifold) is a ...
2
votes
2answers
73 views

Subgroups as Stabilizers

In any group action, stabilizers are subgroups of the group. Question: Given a finite group $G$, does there always exists a set $X$ and an action of $G$ on $X$ such that every subgroup of $G$ is ...
10
votes
0answers
260 views

Distributing groups of objects into boxes

How can I enumerate the number of ways of distributing distinct groups of identical objects (but various cardinality) into $k$ boxes such that at most one box is empty $(1)$ and no combination of ...
0
votes
0answers
28 views

Space of $G$-invariant Riemannian metrics contractible?

A well-known result in (psuedo)Riemannian geometry is that the moduli space of (pseudo)Riemannian metrics on a smooth manifold is contractible. In the case when you have a smooth action of a group $G$ ...
1
vote
1answer
37 views

Determining the orbit decomposition of a certain group action on $R^2$

I have the group $$G = \left\{ \begin{bmatrix}a&b\\0&1\end{bmatrix} : a,b \in R, a \neq 0\right\}$$ and the map $\wedge: G \times R^2 \to R^2$ defined by ...
3
votes
0answers
38 views

Homogeneous metric on a homogeneous space $G/K$ - is this the same as a $G$ - invariant metric?

I have trouble putting down the notion of a homogeneous Riemannian metric. Suppose we are given a Riemannian manifold $(M,g)$ on which a compact Lie group $G$ acts transitively by isometries (this ...
2
votes
2answers
77 views

Finite groups whose non-trivial elements have no fixed points

(I first asked this question on MathOverflow, but was recommended to ask here at Mathstackexchange instead.) I am interested in finite groups $G$ acting on a finite set $X$ with the following ...
1
vote
1answer
20 views

Identification of the Lie algebra of an isotropy group with the tangent space - stuck with a statement

I think I am stuck with the following statement that I read on the Encyclopedia of Mathematics website regarding Isotropy representations: "If $G$ is a Lie group acting smoothly and transitively on ...
0
votes
0answers
23 views

Finite groups whose non-trivial elements have no fixed points [duplicate]

I am interested in finite groups $G$ acting on a finite set $X$ with the following property: (*) fix(g)=$\emptyset$ for all $g\in G\setminus\{1\}$, where fix(g):=$\{x\in X|gx=x\}$ denotes the set ...
0
votes
1answer
25 views

The action of the orthogonal group $O_n(\mathbb{R})$ on the Stiefel manifold $V_{k,n}(\mathbb{R}) $ .

I'm trying to prove that $O_n(\mathbb{R}) / O_{(n-k)}(\mathbb{R}) \cong V_{k,n}(\mathbb{R})$ where $ O_n(\mathbb{R}) = \left\lbrace A \in M_n(\mathbb{R}) / A A^t = I_{n}\right\rbrace $ is the ...
12
votes
0answers
166 views

Is there a “ping-pong lemma proof” that $\langle x \mapsto x+1,x \mapsto x^3 \rangle$ is a free group of rank 2?

Let $f,g: \mathbb R \to \mathbb R$ be the permutations defined by $f: x \mapsto x+1$ and $g: x \mapsto x^3$, or maybe even have $g:x \mapsto x^p$, $p$ an odd prime. In the book, by Pierre de la ...
1
vote
0answers
12 views

Showing the action of $SO(p,q)$ in the punctured cone of isotropic vectors is transitive

Consider a real vector space $T$ of dimension $p+q$ with a non-degenerate symmetric bilinear form, $B:T\times T\to\mathbb{R}$, with signature $(p,q)$. Define the cone $$ ...