The study of symmetry: groups, subgroups, homomorphisms, group actions.

learn more… | top users | synonyms (2)

0
votes
0answers
9 views

Quick question: G-set functor

The Wikipedia page on Representable Functor says: A group G can be considered a category (even a groupoid) with one object which we denote by •. A functor from G to Set then corresponds to a ...
1
vote
3answers
47 views

Can we conclude that $A= B$?

Let $G$ be a group. Suppose that $A\leq B\leq G$ and $[G,A]= [G,B]$. Can we conclude that $A= B$ ?
2
votes
0answers
30 views

For a simple nonabelian group every automorphism with $xf(x)=f(x)x$ is trivial.

Suppose that $G$ is a simple nonabelian group. Prove that if $f$ is an automorphism of $G$ such that $xf(x) = f(x)x$ for every $x\in G$, then $f = 1$.
1
vote
3answers
38 views

Two problems in Group theorem related to Sylow's theorem(maybe)

Prove that any subgroup of order $ p^{n-1} $ in a group $G$ of order $p^{n}$, p a prime number, is normal in $G$. $(a)$ Prove that a group of order 28 has a normal subgroup of order 7. To deal ...
4
votes
1answer
37 views

Proving that if the semigroup (A, *) is a group, then the relation is an equivalence relation.

I'm aware that posting exam questions is probably frowned upon, but this isn't homework, I think I'm genuinely misunderstanding some part of the algebra. The question is this: Throughout this ...
2
votes
0answers
30 views

Homomorphism between finite groups

I have to prove or disprove the following statement: If $\phi:G \rightarrow H$ is a homomorphism between finite groups, with non-trivial image (i.e. $\phi(G)\neq\{e_H\}$), then $\#G$ and $\#H$ ...
1
vote
0answers
27 views

Sylow subgroup of $S_{11}$

I want to construct some Sylow $3$-subgroup of $S_{11}$.This subgroup has $3^4$ elements. I know any Sylow $3$-subgroup is isomorphic to $(\mathbb{Z}/3\mathbb{Z})^3\rtimes P$ where $P$ is a Sylow ...
1
vote
1answer
23 views

Injective homomorphism between a finite group $G$ and $GL_n(\mathbb{F}_p)$ where $p$ is prime

I'm looking for a solution to the following problem: Given a natural number $n$, a prime number $p$ and a finite group $G$, I need to find an injective homomorphism between $G$ and the group ...
0
votes
1answer
25 views

Isomorphism of quotient of direct sum modules

Let $M, N, M'$ and $N'$ be R-modules. If $M'$ and $N'$ are submodules of both $M$ and $N$ then is it true that \begin{equation} \frac{M}{M'} \oplus \frac{N}{N'} \cong \frac{M \oplus N}{M' \oplus N'} ...
2
votes
1answer
36 views

Prove that (G,*) is a group.

G is a monoid and satisfies the right inverse law. Show that G is a group. I tried next: It is obviously sufficient to show that G satisfies left inverse law. (I use $a'$ notation for $a$ inverse.) We ...
2
votes
0answers
29 views

free group with 2 generators (two matrices)

Let $\alpha$ be complex number such that $| \alpha | \geq 1$.Show that $\left(\begin{array}{cc}1&0\\\alpha&1\end{array}\right) $ and ...
0
votes
0answers
25 views

I can't prove theorem 13.9 on finite permutation groups of Wielandt book.

I can't prove this theorem on finite permutation groups of Wielandt book. Theorem 13.9: Let $p$ be a prime and $G$ a primitive group of degree $n=p+k$ with $k\geq3$. if $G$ contains an element of ...
2
votes
1answer
32 views

Subgroups and an union of orbits

I have to prove or disprove the following statement: If a group $G$ acts on a set $X$, then every subgroup $H$ of $G$ acts on the set $X$ as well, and every orbit of the action $G$ on $X$ is an ...
2
votes
2answers
45 views

Group theory, the squares of G

We have a group $G$ with a subgroup $G_2$, which is defined by $G_2:=\{g^2|g \in G \}$. I have to prove that i) $G_2\triangleleft G$ ii) all elements of $G/G_2$ have order $\leq2$ iii)if ...
0
votes
0answers
29 views

Bounds on the numbe of groups of degree n [duplicate]

What are the best lower/upper bounds on the number of (non-isomorphic) arbitrary groups of degree n? Thanks!
-5
votes
0answers
37 views

Michael Artin Homework. [on hold]

Prove that a rigid motion is bijective. | m(X)-m(Y) | = |X-Y| how can i prove this ? I have no idea how to start . Its from Michael Artin book .
2
votes
2answers
36 views

Size of the orbits of a normal subgroup

So this is the question: Let $H$ be a finite subgroup of $G$, and let $(h,h')(x)=hxh^{-1}$ define an achtion of $H\times H$ on $G$, prove that $H$ is a normal subgroup of $G$ if and only if every ...
2
votes
1answer
44 views

Finding a surjective homomorphism

I have to show that for all groups with $2007(=3^2\times223$) elements that there exists a surjective homomorphism to a group of 9 elements. Obviously a group with 2007 elements has a subgroup of ...
0
votes
1answer
36 views

if $A$ and $B$ are subnormal, then $A\cap B$ is subnormal [on hold]

A subgroup $X$ of a group $G$ is said to be subnormal if there exists a series $$X=X_0\subseteq X_1\subseteq\cdots\subseteq X_n=G$$ where each $X_i$ is normal in $X_{i+1}$. Prove that if $A$ and $B$ ...
0
votes
1answer
35 views

Finite non-abelian group $G$ containing a subgroup $H_0\neq\{e\}$ with property that $H_0\leq H$ for all subgroups $H\neq\{e\}$ [on hold]

Give an example of a finite non-abelian group $G$ containing a subgroup $H_0\neq\{e\}$ with property that $H_0\leq H$ for all subgroups $H\neq\{e\}$ of $G$ This question is from Herstein Topics in ...
3
votes
0answers
45 views

Subgroups of $S_{n}$ of index $n$

We know that for $n\geq{5}$ any subgroup of $S_{n}$ of index $n$ is isomorphic to $S_{n-1}$. We know that by looking at the set of functions that fix a given $j$, we can obtain $n$ such subgroups ...
2
votes
2answers
34 views

Odd-Order Groups with Cyclic p-Sylow Subgroups (for smallest p | G)

I am a beginner in group theory and I'm looking for finite groups that satisfy some properties. The only example I've found so far is: $$G_{q,c} = \{ f: \mathbb{F}_{q} \to \mathbb{F}_{q}, z \mapsto ...
1
vote
0answers
12 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
0
votes
1answer
18 views

$|\{ x\in X: g.x=x \space\space\space \forall g\in G \}| = |X|\space mod \space p$

Let $G$ be a p-group. $|G|=p^n$ for some n. Let X be a finite set so that $\,p\nmid |X|\,$, G acts upon X. Denote $A:= \{ x\in X: g.x=x \space\space\space \forall g\in G \}$ I am trying to show ...
20
votes
2answers
75 views

any $2$-dimensional rep of a finite, non-abelian simple group is trivial

Let $G$ be a finite, non-abelian simple group. How would I go about proving that any $2$-dimensional representation of $G$ is trivial? If it helps, I know how to do it when we're considering ...
1
vote
3answers
98 views

Group of order $p^2$ is commutative with prime $p$

Please help me on this one: Let $p$ be a prime number, show that each group of order $p^2$ is commutative. If you do not mind at all, could you please not give me the elegant explanation, but ...
1
vote
1answer
39 views

Group objects in the category of rings

Are there group objects in: $\text{Ring}$ $\text{CRing}$ If so, why doesn't anyone talk about them? On the other hand, $$ \begin{align} cogroup \ objects \ in \ \text{CRing} &= co(group \ ...
0
votes
1answer
33 views

List all the elements of the subgroup of Möbius transformations preserving the set $\{0, 1 + i, \infty\}$

List all the elements of the the subgroup $M_{\{0, 1, \infty\}}$ of the group of Möbius transformations, preserving the set $\{0, 1, \infty\}$ and give an explicit isomorphism $M_{\{0, 1, \infty\}} = ...
1
vote
2answers
43 views

Group Transitive Action's Effect on Stabilizers's Conjugacy

I am looking for guidance for two problems on group action, one of them is here and the other one has just been posted earlier: Assume that $G$ operates on a set $\Omega.$ Show that, if $G$ acts ...
1
vote
3answers
30 views

Intersect of Stabilizers is a Normal Group

I am looking for guidance for two problems on group action, one of them is here and the other one will be posted in another page: Assume that $G$ operates on a set $\Omega.$ Show that ...
3
votes
1answer
37 views

Proving a relation for representations of gauge groups

Let ${\cal G}$ be a Lie group - possibly disconnected. Let ${\mathfrak g}$ denote the corresponding Lie algebra. Let $R_k$ be a general unitary representation of ${\cal G}$ and $R$ be the adjoint ...
2
votes
0answers
55 views

Which convex $2n$-gons have symmetry group $D_n$ instead of $D_{2n}$?

The equilateral octagon $M$ in the first image has the same symmetry group as the small embedded square - namely the dihedral group $D_4$ - with $8$ elements and generators ${x,y}$ with $x^4 = e, y^2 ...
0
votes
0answers
16 views

Lattice of subgroups

I'm trying to find the lattice of subgroups of the symmetric group $\mathfrak S_3$ and of the diedral group $\mathcal D_8$ (the group of order 8). I searched on google, but I didn't find anything.
0
votes
0answers
30 views

On subgroups of the form $HZ(G)$ where $H$ is abelian subgroup of non-abelian group $G$ such that $H \rlap{\;\,/}\subseteq Z(G)$

Let $H$ be a an abelian subgroup of a non-abelian group $G$ such that $H \rlap{\;\,/}\subseteq Z(G) Z(G)$ ; then I can prove that $HZ(G)$ is an abelian subgroup such that $Z(G) \subset HZ(G) \subset ...
1
vote
2answers
29 views

Is there any automorphism $f$ that satisfies these requirements? [on hold]

Suppose that $\Bbb R $ is the set of real numbers. Is there any automorphism $f$ from $(\mathbb R,+)$ to $(\mathbb R,+)$ of the following form? $$f(x)=kx, \quad k \neq 0,1 , \quad k \in \Bbb R$$
1
vote
1answer
126 views

If $G/G'$ is finite, then $|Z(G)| < \infty$

Let $G$ be an infinite group. Suppose that $G/G^{\prime}$ is a finite group, where $$G^{\prime}= \left\langle xyx^{-1}y^{-1}\ \middle\vert\ x,y \in G\right\rangle.$$ Prove that $|Z(G)| < \infty$.
1
vote
1answer
51 views

Number of group actions [on hold]

In how many ways can the group $\mathbb{Z}_5$ act on $\{1,2,3,4,5\}$.
2
votes
0answers
29 views

Density of odd vs even group orders that are not forced to be simple by Sylow's Theorem

In Dummit & Foote's Abstract Algebra text, I've just solved the following two Exercises: Write a computer program which (i) gives each odd number $n<10,000$ that is not a power of a ...
2
votes
2answers
41 views

Show that $f _ a $ is a Homomorphism

For a fixed element $a$ is a group $G$, define $$f _ a (x) = a ^ {−1} xa , x \in G$$ Show that $f _ a $ is a Homomorphism. I know that to show that a mapping $f:G \rightarrow G'$, Where $G$ and $G'$ ...
1
vote
2answers
52 views

How to find number of subgroups of $\mathbb Z_8+\mathbb Z_2$ [on hold]

How to find number of subgroups of order $8$ in $\mathbb Z_8+\mathbb Z_2$? Any hint is welcome
1
vote
2answers
75 views

Number of subgroup of order $p^2$ in $\mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$

Let $G = \mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$. How many subgroups does $G$ has of order $p^2$? I know there are only 2 cases of the subgroup H, H can be isomorphic to $Z_{p^{2}}$ or $ ...
1
vote
1answer
24 views

minimal number of relations in finite 2-groups with 2, 3, and 4 generators

I have received helpful answers to my two previous questions that focused on the symmetric group of degree 3 and the dihedral group of order 8. If $d$ is the minimal number of generators of a finite ...
1
vote
1answer
86 views

Is $(G,*)$ commutative? [on hold]

$(G,*)$ is a group and for some three consecutive integers $i=j,j+1,j+2$, it satisfies $(a*b)^i=a^i*b^i$ for every $a,b\in G$. Is $(G,*)$ commutative?
2
votes
1answer
25 views

Are the principal congruence subgroups of SL(2,Z) normally generated by a single element?

Let $N\ge 3$, then would I be correct in saying that the principal congruence subgroup $\Gamma(N)$ (defined to be the 2x2 matrices in $SL(2,\mathbb{Z}$) congruent to the identity mod $N$) is the ...
5
votes
2answers
61 views

Normal subgroups in groups of odd order

I put the following question in my first-year algebra final this year: Suppose $G$ is a finite group of odd order and $N$ is a normal subgroup of order $5$. Show that $N\le Z(G)$. (By the way, this ...
-2
votes
0answers
27 views

Isomorphism type of a finite matrix group

Give a known group to which $SO_5$ is isomorphic. Where $SO_5$ consists of $$\begin{pmatrix} \cos\frac{2k\pi}{5} & \sin\frac{2k\pi}{5} \\ -\sin\frac{2k\pi}{5} & \cos\frac{2k\pi}{5} ...
1
vote
1answer
50 views

Group actions: Why do we place the condition that $S$ be finite in the following theorem?

Theorem. Let $G$ be a group, $S$ be a $G$-set, and $S$ be finite, then $$|S|= \sum_{a \in A} [G : G_a],$$ where $A$ is a subset of $S$containing exactly one element from each orbit $[a]$. Here, $G_a$ ...
-1
votes
0answers
21 views

Please show that $W$ is a normal subspace of $\sigma$. [on hold]

Suppose that $\sigma$ is a symmetry transformation, $V$ is a space, and $W$ is a subspace of $V$. Please show that $W$ is a normal subspace of $\sigma$.
1
vote
1answer
26 views

minimal number of relations in nonabelian dihedral groups of order a power of 2

In my recent minimal number of relations r question for the symmetric group of degree 3, it was demonstrated that r = 2. What is r in general for nonabelian dihedral groups of order a power of 2? ...
0
votes
2answers
58 views

To show that $\langle\mathbb Q,+\rangle$ is not isomorphic to $\langle\mathbb Q \setminus\{0\} , \,\cdot\,\rangle$

For this question is it enough to say that they both dont have same cardinality so they are not isomorphic.Can we exhibhit any structural property diference here? THANKS