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

8
votes
0answers
159 views

Functoriality of the correspondence between oligomorphic actions and $\aleph_0$-categorical theories

If a group $G$ acts on a set $X$, then the action is said to be oligomorphic if the number of orbits of $X^n$ under the action is finite for each $n$. There is a classic theorem in model theory that ...
0
votes
0answers
30 views

Finding conjugacy classes of $D_{10}$

Looking at the group $D_{10}$, I have found that for some (non-identity) rotation $\rho$ its centraliser has order 5, and for some reflection $\tau$ its centraliser has order 2. By the ...
3
votes
0answers
46 views

Partial order on the orbits of the variety of commuting nilpotent matrices

The variety of nilpotent $n\times n$ matrices $\mathcal{N}_n$ over an algebraically closed field $k$ is the disjoint union of orbits under the action of conjugation by $GL_n(k)$. These orbits are ...
0
votes
4answers
111 views

Prove that the number of elements of every conjugacy class of a finite group G divides the order of G.

Prove that the number of elements of every conjugacy class of a finite group $G$ divides the order of $G$. I'm studying for my Group Theory exam and this was a question on a previous exam. I ...
1
vote
1answer
48 views

Express $ G_y$ in terms of $G_x$. [duplicate]

A finite group $G$ acts on a finite set $X$, the action of $g \in G$ on $x \in X$ being denoted by $gx$. For each $x \in X$ the stabilizer of $x$ is the subgroup $G_x = \{g \in G : gx = x\}$. If $x, y ∈ ...
1
vote
1answer
40 views

Group theory: group actions on finite group.

I'm having trouble with the following question: Let $G$ be a finite group acting on a finite set $X$. For $g\in G$, let $Fix_X(g) =\{x\in X \mid xg = x\}$ and, for $x\in X$, let $G_x = \{g\in G \mid ...
1
vote
2answers
69 views

Counterexample that $a\in G$, $a^n\notin H$, for $H$ a subgroup of finite index $n$ in $G$. [duplicate]

Let $G$ be a group and $H$ a subgroup of finite index $n$. Give a counterexample that $a\in G$, $a^n\notin H$ (although I can prove that there exists $k\in\{1,2,\dots,n\}$ such that $a^k\in H$). ...
4
votes
1answer
37 views

Graph with sharply 1-transitive automorphism group

What finite Graphs $G$ have the property that for all $v,w\in G$, there is exactly one automorphism $\phi$ of $G$ with $\phi(v)=w$? Of course, each of the three graphs with one or two vertices have ...
1
vote
1answer
73 views

how should i describe this combination of group actions?

let $A$ be a multiplicative abelian group and let $D_m=D_m(A)$ for integer $m \gt 0$ be the group of $m \times m$ diagonal matrices with entries in $A$. now $D_m$ has a subgroup $A^* \cong A$ which is ...
1
vote
1answer
92 views

If $X$ is $G$-paradoxical then $G$ is $G$-paradoxical. Is my proof correct?

I am currently reading Stan Wagon's Banach-Tarski Paradox book, and this was left as an exercise to prove (converse of Proposition 1.10). Let $X$ be a set, and let $G$ act on $X$ with no ...
1
vote
0answers
38 views

Orbits and rational points in a $G$-variety

Let $K/k$ be a field extension, let $V_0$ be a variety over $k$, and let $V=V_0\times_k\mathrm{Spec}\;K$, so that we can speak of the $k$-rational points of $V$ as morphisms $\mathrm{Spec }\;k\to ...
-1
votes
2answers
120 views

Group acting on a set.

Let $G$ be a group of order $7$ acting on a set of $5$ elements. Show that the action of $G$ must have a fixed point.
0
votes
1answer
52 views

A combinatorial action of a discrete group is proper if and only if it has finite vertex stabilizers

First, let me fix some definitions. The action of a group $G$ on a topological space $X$ is proper if for every compact subspace $K \subseteq X$ the set $\{g \in G \ | \ g K \cap K \neq\varnothing ...
1
vote
1answer
54 views

Question on equivariant functions and subconjugacy

I proved the following proposition as an exercise: Suppose $H \leq K \leq G$ are groups and that $G$ acts on $\frac{G}{H}$ and $\frac{G}{K}$. If $H$ is subconjugate to $K$ (i.e., if $\exists g \in ...
0
votes
1answer
34 views

Determining whether this is a group action

I'm having trouble with an exercise we were given. I have to determine for which values $a,b\in\mathbb{R}$ $$n\cdot t=\phi_n(t)=2^nt+a^n+b$$ defines a group action of the group $(\mathbb{Z},+)$ on ...
1
vote
2answers
113 views

Group Action Questions?

We discussed Group Actions in my undergraduate Modern Algebra class today. I understand the definition and example we went over in lecture, but the problem set is proving difficult. If I want to ...
2
votes
1answer
56 views

Relationship between decompositions of a $G$-variety $V$

Let $V$ be a variety over a field $k$, and let $G$ be an algebraic group over $k$ which acts morphically on $V$. $V$ has three canonical decompositions, and I'm interested in the relationships ...
0
votes
1answer
60 views

Group action with finite stabilizer.

Let $G$ be a group generated by $\{g_1,g_2,\ldots , g_n\}$. Let $X$ be a space with a $G$-action on it, i.e. $G$ is acting on $X$. Suppose for each $x\in X$, the set $\{g_i;g_i(x)=x\}$ is trivial. ...
5
votes
1answer
126 views

Two subgroups $H_1, H_2$ of a group $G$ are conjugate iff $G/H_1$ and $G/H_2$ are isomorphic

Let $H_1$ and $H_2$ be subgroups of some group $G$. Prove that the left $G$-sets $G/H_1$ and $G/H_2$ are isomorphic (as left $G$-sets) iff the subgroups $H_1$ and $H_2$ are conjugate. If $H_1$ ...
2
votes
1answer
73 views

Action on Pairs, On Sets and on points in GAP

I am trying to understand GAP in group action. I am confused in few things what is the difference between action on pairs, on sets, with the domain sometimes on list, and on blocks. Please help me to ...
3
votes
1answer
171 views

Action of a Galois Group on an Algebraic Variety

I've to solve the following exercise. Let's be $X$ a connected algebraic variety over $k$ and let $K$ be a finite Galois Extension of $k$ with Gaolis Group $G$. Now I have to prove that $G$ acts ...
1
vote
1answer
197 views

Smooth diffeomorphisms preserving common symmetries

Let $A$ and $B$ be two $C^\infty$ orientation-preserving diffeomorphic, connected, bounded, open subsets of ${\mathbb R}^n$, with finitely many ends and $G$ the group of isometries of ${\mathbb R}^n$ ...
0
votes
2answers
427 views

About stabilizer in group action

Let $X$ be a finite set and $x$ is an element of $X$. Let $G_x$, the stabilizer subgroup, be the subset of $S_X$ consisting of permutations that fix $x$. The question is Is stabilizer always a ...
2
votes
1answer
74 views

When is the action of $G$ on $\text{Syl}_p(G)$ by conjugation is double transitive?

We know that the action of $G$ on $\text{Syl}_p(G)$ by conjugation is transitive. I wonder when this action can be double transitive on $\text{Syl}_p(G)$. Thanks for your help.
6
votes
2answers
92 views

Eigenbundle decomposition

Let $G$ be a finite cyclic group and $X$ a smooth manifold equipped with a trivial $G$-action. It is known that we can decompose every $G$-equivariant vector bundle with respect to the action: ...
5
votes
3answers
336 views

Without using Sylow: Group of order 28 has a normal subgroup of order 7

Prove that a group of order 28 has a normal subgroup of order 7. How can I prove this without using Sylow's theorem? I know by Cauchy’s theorem, there exists an $x\in G$ with order 7, now I just ...
1
vote
3answers
96 views

Relationship between group actions and homomorphisms

I know that there exist no nontrivial homomorphism from $S_3$ into $Z_5$ as they are groups of co-prime order. I am not looking for an explanation of this but for an explanation concerning the obvious ...
1
vote
0answers
45 views

invariance of 2-form under $SO(3)$

I'm trying to understand how to derive forms that invariant under action of some group. For example 2-form on $S^2$ and on $\mathbb{R}^3$ is very interesting for me (because I have troubles with it). ...
0
votes
0answers
51 views

Lifting group actions to universal covers

Let $\tilde{G}$ be universal cover of a lie group $G$. Then we can easily lift any action of $G$ on a connected manifold $X$ to an action of $\tilde{G}$ on the universal cover $\tilde X$ of $X$. (cf. ...
1
vote
0answers
53 views

Find the orbit space $T^2 / \mathbb Z_2$

Let $T^2$ be the unit torus $$ T^2 = \left\{ (\lambda, \lambda') \in \mathbb C^2 \mid |\lambda| = |\lambda'| = 1 \right\}. $$ Then the group $\mathbb Z_2$ is acting on $T^2$ by the rule ...
1
vote
0answers
66 views

Terminology on group actions

Johnson, D. L. "Minimal permutation representations of finite groups." Amer. J. Math. 93 (1971), 857-866. My knowledge of group theory is undergraduate-level stuff. I'm looking at the paper cited ...
0
votes
0answers
14 views

How can I see the set $S_k(V):=\{A: \mathbb R^k\rightarrow V: A\ \textrm{is linear and}\ \textrm{ker}(A)=\{0\}\}$ as an homogeneous space..

how can I see the set $S_k(V):=\{A: \mathbb R^k\rightarrow V: A\ \textrm{is linear and}\ \textrm{ker}(A)=\{0\}\}$ as an homogeneous space? Thanks..
7
votes
1answer
109 views

Understanding what an action is?

This is a very simple question, and I am quite embarrassed to ask it! I'm trying to understand what an action is in general, and perhaps the best place to start is to try and outline my current ...
3
votes
1answer
101 views

Orbits of $\mathbb{Z}_n^{*}$ acting on a set $\mathbb{Z}_n$

Let $n\geq 2$ be an integer and consider the action $\Phi: \mathbb{Z}_n^{*}\times \mathbb{Z}_n \rightarrow \mathbb{Z}_n$ defined as $$\Phi(\alpha)(x)=(\alpha x \textrm{ mod } n),$$ i. e. simply the ...
1
vote
0answers
75 views

Lift a group action from a quotient

Let $p$ be a rational prime and $H$ be a finite cyclic group of prime order $l$ prime to $p$, i.e. $(l,p) = 1$. Let $G$ be a finite abelian group of $p$-power order. If I can write an (abelian) group ...
0
votes
1answer
33 views

Defining a map based on a group action on left cosets

If $H$ is subgroup of $G$ such that the index of $H$ in $G$ is $n$ and $\pi_H$ is the permutation representation of the action of $G$ on the left cosets of $H$, is $\pi_H$ a map from $H$ to $S_n$? I ...
0
votes
2answers
97 views

Orbit and Stabilizer

Are the following definitions essentially the same: Orbit: Let $G$ be a group of permutations of a set $S$. For each $s \in S$, let $\operatorname{orb}_G(s)= \{f(s) \mid f \in G\}$. The set ...
1
vote
1answer
57 views

Question about primitive group actions

In Glass' Partially Ordered Groups Corollary 7.4.4 says: If $G$ is an ordered group and $(G,G)$ is the right regular representation, then $(G,G)$ is primitive if and only if $G$ is ...
0
votes
0answers
19 views

Existence of dense subsets $G$-invariant.

Let $G$ be a group that acts on a manifold $X$. It is well know that the orbir space $X/G$ isn't in general a manifold. But how can I prove that there is always a dense open $U \subset X$ that is ...
1
vote
2answers
113 views

Using counting formula to get |G| = |kernel φ||image φ|

The counting formula I am saying : Let S be a finite set on which a group G operates, and let Gs and Os be the stabilizer and orbit of an element s of S. Then |G|=|Gs||Os| or ...
2
votes
1answer
137 views

Classification of transitive G-sets for a given group of small order

Given a group of small order (<30), how does one go about systematically finding all the transitive G-sets up to isomorphism? By X and Y being isomorphic we mean there are maps $f:X \rightarrow Y$ ...
2
votes
0answers
93 views

Stabilizer map on transitive G-set defines a morphism with G acting on subgroups by conjugation

This is part of a homework problem for a graduate course on abstract algebra. Given a transitive G-set $X$, show that the map that assigns to $x \in X$ its stabilizer defines a morphism of G-sets ...
1
vote
1answer
92 views

Is the kernel of this group action the centralizer?

In Dummit and Foote, they state "... let the group $N_G(A)$ (normalizer) act on the set $A$ by conjugation. It is easy to check that the kernel of this action is the centralizer $C_G(A)$." From ...
5
votes
0answers
130 views

Why are they called orbits?

When we study actions in group theory, we consider sets of the form $$\text{Orb}_G(x)=\{gx\mid g\in G\} $$ that are called orbits. Although, the only reason I find convincing for that name is that in ...
0
votes
1answer
24 views

Modules over a group presented via a free group.

Say $G$ is presented via a free group $F$ freely generated by $S=\{s_i, 1=1,2,\dots\}$. Then $\pi:F \rightarrow G$ the canonical projection. Let $R$ be any commutative ring. Can we follow that any ...
2
votes
1answer
128 views

Find Orbit of element $m \in M, M = M(2, \mathbb{R})$ under action of group $G = GL(2, \mathbb{R})$ mapping $m$ to $g^{-1}mg$, $g \in G$.

Find Orbit of element $m \in M, M = M(2, \mathbb{R})$ under action of group $G = GL(2, \mathbb{R})$ mapping $m$ to $g^{-1}mg$, $g \in G$. The element $m$ is $ \left( \begin{matrix} 2 & 1 \\ 0 ...
3
votes
1answer
120 views

How to define own group action in GAP?

I am beginner in GAP. I have a group and a set. I wish to define an action the group on the set in my own way and wish to calculate its orbits and stabilizers. Is it possible? What is process?
1
vote
3answers
161 views

Action in Groups (transitively)

Let X be a set of order n. a) If G acts transitively on X then n divides $| G |$. b) If G acts 2-transitively on X then n(n-1) divides $| G |$ For a) i first prove that if G acts transitively on ...
0
votes
0answers
46 views

Smooth group actions ----> “Action Lie groupoids”?

It is well known that any group action of a group G on a set X gives rise to the corresponding action groupoids, see http://math.ucr.edu/home/baez/week249.html , for instance. Now in a perfect ...
4
votes
2answers
117 views

Finding the kernel of an action on conjugate subgroups

I'm trying to solve the following problem: Let $G$ be a group of order 12. Assume the 3-Sylow subgroups of $G$ are not normal. Prove that $G\cong A_4$. Here's my attempt: let $\mathscr S$ be ...