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 am trying to solve an exercise in D. Robinson’s book A Course in the Theory of Groups, which asks me to show that if $G$ is polycyclic and residually finite p-group for infinitely many prime p, then $G$ is nilpotent and finitely generated torsion-free. How do I show the nilpotent part? The hint given […]

I have an exercise. I cannot solve. Please help me to solve it: Prove that any periodic abelian group is the direct sum of its maximal $p$-subgroups.

I have the following definition of a semi-direct product: Let $G$ be a group. Suppose $N\triangleleft G$ and $H<G$ such that every element of $G$ can be uniquely written $g=nh$. Then $G$ is the semi-direct product of $N$ and $H$. I have to prove the following lemma: Let $N \triangleleft G$ and $H<G$. Then $G=N\rtimes […]

I would like to clarify a few things in the answer to this question: Faithful irreducible representations of cyclic and dihedral groups over finite fields 1) When a representation extends, what does the remaining generator map to under the representation? 2) Why does a representation extend if and only if $z^{-1} = z^{p^{d}}$ for some […]

Does anyone have a program written in Mathematica (or SAGE or GAP) that computes the invariant subspace lattice of a matrix group?

This is a multiple choice for finite groups. For which one of the following groups, the converse of Lagrange’s Theorem is not generally satisfied? I know the converse is true for cyclic groups. 1) All abelian groups 2) All groups of order 8 3) The group $S_4$ 4) All groups of order 12 Thank you […]

I have been trying to prove the following: Let $G$ be simple, and write $\Gamma=G \times G$. Let $D \le \Gamma$ be the diagonal subgroup, which consists of all elements of the form $(x,x)$, where $x \in G$. Show that $D$ is a maximal subgroup of $\Gamma$. As a hint I am given: Write $\Gamma=A […]

I need to find what are the at the group $\mathbb{Q}/\mathbb{Z}$. I think that any element at this group has a finite order, but I don’t know how to prove it… I’d like to get help with the proof writing… If I’m wrong, I’d like to to know it too… BTW: $\mathbb{Z}=(\mathbb{Z},+)$ $\mathbb{Q}=(\mathbb{Q},+)$ Thank you!

Not a duplicate of this exquisite answer, the numbers in which I abide by here. Not querying the proof, hence please don’t discourse on it. Proof blueprint: Steps 1-2 in words. Left multiplication of every element in the group by a fixed element in the group constitutes a permutation of those elements. Steps 1-2 in […]

Intereting Posts

Show that there is no discrete uniform distribution on N.
Differential operators confussion
How to read letters such as $\mathbb A$, $\mathbb B$, etc., or $\mathfrak A$, $\mathfrak B$, etc.?
Codimension 1 homology represented by Embedded Submanifold
Does anything precede incrementation in the operator “hierarchy?”
Is Lipschitz's condition necessary for existence of unique solution of an I.V.P.?
Find the solution of the Dirichlet problem in the half-plane y>0.
Special Differential Equation (continued-2)
New proof about normal matrix is diagonalizable.
Proving a distance between molecules defines a metric space.
Two congruent segments does have the same length?
Are there an infinite number of prime numbers where removing any number of digits leaves a prime?
Prove that $\def\Aut{\operatorname{Aut}}\Aut(\mathbf{Z_{n}})\simeq \mathbf{Z_{n}^{*}}$
If $\langle a,b \rangle=0$, then $a,b$ are perpendicular?
Introductory text for calculus of variations