# Tagged Questions

44 views

### If $H$ and $K$ are subgroups of G then $H \times K$ is a subgroup of $G \times G$

I know that if $H$ and $K$ are subgroups of $G$ then $HK= \{ hk \mid h \in H , k \in K\}$ is not necessarily a subgroup of $G$, this requires that $HK = KH$. But it follows that if $H$ and $K$ are ...
41 views

### Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? [on hold]

Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? Does there exist a subgroup of $G$ of order $180$?
40 views

### Irreducible action of a group on a set

Let $p$ be a prime. I am solving a problem and I am told that I should use that the action of $\text{SL}_2(p)$ on $\mathbb{F}_p^2$ is irreducible. But I don't know what this means?
30 views

### Lower central series and the center of $S/S^k$

Let $S$ be a $p$-group and assume that $S$ has maximal class - so if we assume $\vert S \vert = p^n$ then the lower (and upper) central series has length $n-1$. I don't know much about lower central ...
102 views

### Is an arbitrary group generated by a traversal of the conjugacy classes?

Let $G$ be a group, and let $\mathcal C$ be the collection of conjugacy classes of $G$. Let $S$ be a traversal of $\mathcal C$ (that is $S$ contains exactly one element from each set in $\cal C$). ...
33 views

### Can the derived subgroup be realized as an intersection of stabilizers?

For any group $G$, we have that $Z(G)=\bigcap_{x\in G}C_G(x)$ and that each $C_G(x)$ is the stabilizer of $x$ when $G$ acts on itself by conjugation. Is there a similar representation for $G'$? That ...
43 views

### Finitely generated, periodic group such that each conjugacy class is finite must be finite?

This is essentially a repeat of this question. However, the OP didn't seem to put in any work towards a solution and didn't provide context. Nevertheless, I'm still interested in the solution, and I ...
26 views

### Number of normal subgroups of a non-abelian group of order 21 [on hold]

How many normal subgroups can a non-abelian group G of order 21 have other than the identity subgroup {e} and G? a)0 b)1 c)3 d)7
28 views

### Constructing an indicator function from a braid group which represents 'all strings have returned to their initial position'.

TL;DR Is there a well-defined closed formula from the braid group $B_n$ to $\{-1,1\} \left(\text{ or }\{0,1\}\right)$ which represents whether all the strings have returned to their initial ...
28 views

### What are the elements of Z/10Z and of Z/2Z×Z/5Z, and identify which elements correspond under the map g from Z/10Z to Z/2Z × Z/5Z. [on hold]

What are the elements of Z/10Z and of Z/2Z×Z/5Z, and identify which elements correspond under the map g from Z/10Z to Z/2Z × Z/5Z. I know the elements of Z/10Z are {1,3,7,9}, is that the same for ...
104 views

### Finitely-generated group such that all (non-trivial) normal subgroups have finite index implies all (non-trivial) subgroups have finite index?

Let $G$ be a finitely generated group such that every non-trivial normal subgroup has finite index. Does it follow that every non-trivial subgroup of $G$ has finite index? This question arose as ...
66 views

### We have a map $g : \mathbb{Z}/24\mathbb{Z} → \mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$. What is the kernel of $g$?

We have a map $g : \mathbb{Z}/24\mathbb{Z} → \mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$ given by $g(x+24\mathbb{Z}) = (x + 6\mathbb{Z}, x + 4\mathbb{Z})$. What is the kernel of $g$? In ...
61 views

### Groups such that all elements of even order are in $G'$

We know that $G=A_4$ is a group such that all elements of even order in $G$ are in $G':=[G,G]= V_4$, the klein four group. Are there other examples or classes of groups where all elements of even ...
55 views

### Write cyclic groups of order $p^n$ in terms of simple groups

Some say that studying simple groups helps you understand the structure of non-simple groups. How can I write in terms of simple groups $\mathbb{Z}_{p^n}$? Eg. $\mathbb{Z}_9$
60 views

42 views

### Basic group theory [closed]

Suppose that $H$ is a subgroup of $G$ such that whenever $Ha$ is not equal to $Hb$ ... then $aH$ is not equal to $bH$ . Prove that $gHg^{-1}$ is a subset of $H$ for all $g$ belonging to $G$.
48 views

### Let $U_g$ be the group of units of $\mathbb{Z}/g\mathbb{Z}$ . . .

Let $U_g$ be the group of units of $\mathbb{Z}/g\mathbb{Z}$. Then $U_g$ is a subgroup of itself. For every unit $c$ of $U_g$, show the coset, $cU_g = U_g$. Show that the product of the elements of ...
45 views

### How to count the number of elements of given order?

I am trying to prove the following result. Let $G$ and $G'$ be two finite abelian groups. Besides, they have the same number of elements of any given order. Prove that $G\cong G'$. My attempt is ...
47 views

### I need an example of a function with these properties.

I have a problem that says $A$ is finite and $B\subset A$ and that $G$ is the subset set of $S_A$ consisting of all the permutations $f$ of $A$ s.t. $f(x)\in B \ \forall \ x\in B$. these functions ...
53 views

### Action of factor group on a group

Suppose $A$ and $G$ are finite groups and $A$ acts on $G$, written $g^a$ for $g\in G$, $a\in A$. If $N\unlhd A$, does $A/N$ then act on $G$ also? By $g^{[a]} = g^a$? Or do I need to assume something ...
45 views

105 views

### A normal subgroup problem

Let $G$ be a group in which, for some integer $n>1$, $(ab)^{n}=a^{n}b^{n}$ for all $a,b \in G$. Show that $G^{(n)}=\{x^{n} \mid x \in G\}$ is a normal subgroup of $G$. $G$ could be easily ...
148 views

### Basic Group Theory question

This is not so much a plea of ignorance, but rather me trying to see whether intuitively I actually understand what is going on in group theory. The question asks What group is ...
42 views

### Show for each $c$, $\{x + c \Bbb Z \in \Bbb Z/c\Bbb Z\mid x^{c−1} \equiv 1 \pmod c\}$ is an abelian group under multiplication of congruence classes

Show for each $c$, the set $$\{x + c \Bbb Z \in \Bbb Z/c\Bbb Z\mid x^{c−1} \equiv 1 \pmod c\}$$ is an abelian group under multiplication of congruence classes.
45 views

### generators of groups from exact sequence

Suppose I have a middle term exact sequence of finitely generated abelian groups $G \longrightarrow H \longrightarrow K$. How do I get the generators of $H$ if I know the same for other two groups?
57 views
+100

### Is there a finite non-solvable group which is $p$-solvable for every odd $p\in\pi(G)$?

Let $G$ be a finite non-solvable group and let $\pi(G)$ be the set of prime divisors of order of $G$. Can we say that there is $r \in \pi(G)-\{2\}$ such that $G$ is not a $r$-solvable group?
30 views

### The minimum size of generating set of the external direct product

I have seen the following theorem here: Suppose that $A$ and $B$ are finite groups whose orders are relatively prime to each other, and the minimum size of generating set (i.e., the smallest ...
222 views

### What is the meaning of “fix” in field theory?

What is the meaning of "fix" in field theory? Example: I found a definition of field automorphism, A field automorphism fixes the smallest field containing $1$, which is $\Bbb Q$, the rational ...
153 views

### Does every group act faithfully on some group?

Cayley's Theorem shows that every group acts faithfully on some set. In other words, one can find an injective group homomorphism $\sigma: G\to S_{A}$ where $S$ is the set of all bijections on some ...
118 views

### If a group has no maximal subgroups then all elements are non-generators? Frattini subgroup characterization

This question is the last leg of an exercise I've been working on in which we characterize the intersection of all maximal subgroups as the subgroup of all non-generators. I've already shown that if a ...
46 views

### calculating signature and showing group homomorphism

I got this question in my group theory book. I think I understand the theory behind it but can't seem to use it to get a solution im happy with. Let $V = M_2(\mathbb F)$. For $x,y \in V$ define ...
50 views

### Linear representation of a free group

I need to prove the following: "Prove that the free group of rank 2 is linear." So to my best understanding, and please correct me if I'm wrong: I actually need to show a homomorphism from the free ...
133 views

55 views

### groups generated by two elements of order 3

I'd like to know whether it is possible to find a characterization (cardinality?) of the set of finite, non-abelian groups generated by two elements $a$ and $b$ whose order is $3$? Is it the same task ...
34 views

### order of dihedral

I am learning abstract algebra, and I don't quite understand the order of the symmetry of dihedral. When you look at a squares, I agree that there will be 8 symmetry. But all the operations have cycle ...
46 views

### The relation between orders in a group

G is a group and N is a normal subgroup of G.what is the relation between the order of $x$ and $x.N$?