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

1
vote
1answer
32 views

Inequality regarding orbits of groups

I've been working on a question for a few days now, and I'm stuck on proving a claim that I don't know if there's any reason for it to be true. I'll write it here in the greatest generality I can ...
1
vote
0answers
38 views

How we show primitive action shows alternating group

I have a graph (as shown in figure), which represents a quotient of the group $$G=\langle A,B,C,D; A^3=B^2=C^3=D^2=(AC)^2=(AD)^2=(BC)^2=(BD)^2=1 \rangle.$$ I proved that $G$ acts 2-transitively and so ...
3
votes
1answer
82 views

Is there an easy way to tell if these two SO(2)s in SO(4) are conjugate?

I am currently interested in quotients of Lie groups by submaximal tori. $G = Sp(1) \times Sp(1)$ double-covers $SO(4)$, as noted at The Quaternions and $SO(4)$. Define a circle subgroup $T = \{1\} ...
3
votes
0answers
53 views

Dimension of a constructible set intersecting each orbit of a $G$-variety

In preparing a talk I'm having trouble with exercise 3 and 4 on page 25 of the following Lecture Notes of Crawley-Boevey (I only need the case $X=Y$ there): $\text{3.}$ Let $X$ be a variety ...
0
votes
0answers
41 views

“Fundamental region” for non-discrete Moebius groups.

Suppose we are given a discrete, faithful representation $\rho$ of $F_2=\langle a,b|\rangle$, the free group on two generators, into $\mathbb{P}SL(2,\mathbb{R})$, so that the quotient is homeomorphic ...
2
votes
1answer
55 views

Orbits that 'coalesce'

Let $R$ be a commutative ring, $G$ a group scheme over $\mathrm{Spec}\;R$, and $X$ a scheme over $\mathrm{Spec}\;R$ on which $G$ acts $R$-morphically via $G\times X\to X$. Suppose $S$ is another ...
1
vote
1answer
85 views

What are the conjugacy classes in $\mathrm{Aut}(G)$?

Let $G$ be an arbitrary group, and let $\mathrm{Aut}(G)$ be the group of automorphisms of $G$ (with composition of morphisms as multiplication). I'd like to learn more about the problem of ...
0
votes
1answer
51 views

The anti-symmetrization and simetrization operators are mutually orthogonal

For each vector $x=(x_1,\dots,x_n)$ of an $n$-dimensional vector space $V$, and for each permutation $s$ of the symmetric group on the $n$-element set $S_n$, put $s(x)=(x_{s(1)},\dots,x_{s(n)})$. Then ...
1
vote
1answer
47 views

What motivates the definition of “Periodic” group action

Consider a group $G$ acting on a set $\Omega$. For example, let $G=\{g\in A(\mathbb R):(\alpha +1)g=\alpha g+1\}$ for all $\alpha\in\mathbb R$, where $A(\mathbb R)$ are the order-preserving ...
1
vote
1answer
82 views

Group action on set of maps - formula

It is given that $G:X$ and $G:Y$. Does this $[g\bullet f](x) := g\bullet f(g\bullet x)$ formula define group action $G:(Y^{X})$ I guess it doesn't, but I can't prove it as for now. And there must be ...
0
votes
1answer
37 views

Notation for permutation corresponding to the action of a group element

Let $G \times X \to X,\ \ (g,x) \mapsto g.x$ be an action of $G$ on $X$, i.e., $e.x = x$ for all $x \in X$; $gh.x = g.(h.x)$ for all $g \in G$, $x \in X$. For a fixed $g \in G$, how should I refer ...
8
votes
0answers
160 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
47 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
41 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
74 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
95 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
40 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
121 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
57 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
116 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
128 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
179 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
459 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
75 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
95 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
346 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
100 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
46 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
15 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
112 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
76 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
99 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
20 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 ...