So I’ve come up with a proof for the following question, and I’d like to know if it’s correct (as I couldn’t find anything online along the lines of what I did). Question Let $p$ and $q$ be primes with $p<q$. Prove that a non-abelian group of order $pq$ has a nonnormal subgroup of index […]

Consider $G,H \leq S_n$ and their natural action on $[n] = \{1,\ldots,n\}.$ We say that $G$ and $H$ are permutation isomorphic if there is a bijection $\varphi:[n] \mapsto [n]$ and group isomorphism $f:G \mapsto H$ so that $$\varphi(g(o)) = f(g) (\varphi(o))$$ or in the standard notation involving group actions $\varphi(o^g) = \varphi(o)^{f(g)}.$ I would like […]

I’m currently taking my first abstract algebra course and am learning about group actions, orbits, and stabilizers. I’m reading the Artin textbook and I am not very clear of what exactly a group action allows us to do, what it looks like, and why it’s important. I know the two properties that must be satisfied […]

Let $G$ be the set of bijections $\mathbb{R} \to \mathbb{R}$ which preserve the distance between pairs of points, and send integers to integers. Then $G$ is a group under composition of functions. The following two elements are obviously in $G$: the function $t$ (translation) where $t(x)=x+1$ for each $x \in \mathbb{R}$ and the function $r$ […]

I have a somewhat broad question related to group actions and their restriction to a normal subgroup. If we have a group action $\sigma : G \times X \rightarrow X$ with orbits $G_x$, and a normal subgroup, $H$ of $G$, such that the restriction of the action $\sigma$ to $H$, $\sigma |_H : H \times […]

Suppose the additive group $\mathbb Z^n$ acts on $\mathbb R^n$ through translation. How to show $\mathbb R^n/\mathbb Z^n$ is diffeomorphic to torus $\mathbb T^n$? The translation action is given by $$\psi_g:\mathbb R^n\rightarrow \mathbb R^n,\ x\mapsto g+x.$$

I was wondering if there is a simple argument showing that the complex projective line defined as $\mathbb{CP^1} = \big(\mathbb{C}^2 \setminus \{0\}\big)/{\mathbb{C}^{\times}}$ is hausdorff when equipped with the quotient topology. So far I was picturing this scenario by analogy with $\big(\mathbb{R}^3 \setminus 0\big)/\mathbb{R}^{\times}$ and the 2-sphere therein. Imagining open, disjoint double cones surrounding distinct lines […]

I’m working on the following question, and honestly have no idea how to begin. Any hints would be greatly appreciated! Let $H$ be a subgroup of $S_n$, the symmetry group of the set $\{1,2,\dots, n\}$. Show that if $H$ is transitive and if $H$ is generated by some set of transpositions, then $H=S_n$.

This is in some sense a continuation of this problem. Given a group $G$ I would like to exhibit two actions of $G$ on a set $[n] =\{1,\ldots,n\}$ such that the two actions are isomorphic yet not equivalent. To recall we say that two group actions $\alpha,\beta : G \mapsto S_n$ are isomorphic if there […]

Let $M$ be an abelian group and let $G$ be a group acting on $M$ such that $M$ is a $G$-operator group, i.e. we have for $u, v \in M$ and $g,h \in G$ (1) $u\cdot 1_G = u$ (2) $(ug)h = u(gh)$ (3) $(u+v)g = ug + vg$ If $M$ is also a $\mathbb […]

Intereting Posts

Closed formula for the sum of the following series
Non-constructive axiom of infinity
Relation between function discontinuities and Fourier transform at infinity
Errors of Euler interpretation?
Toss a coin 10 times, run of 4 head occurs
Intersection of two finite abelian subgroups
Non brute force proof of multiplicative property of determinants
efficient and accurate approximation of error function
$AB-BA$ is a nilpotent matrix if it commutes with $A$
Faster Convergence for the Smaller Values of the Riemann Zeta Function
Hensel's Lemma: $f'(x) \equiv 0 \pmod{p}$ case.
Get the last two digits of $16^{100}$ and $17^{100}$
A generalized (MacLaurin's) average for functions
Homework question on whether two quotient spaces are homeomorphic
If derivative of a function is the zero function in $\mathbb R^n$, then the function is constant when the domain is path-connected