# Tagged Questions

Use with the (group-theory) tag. The tag "finite-groups" refers to questions asked in the field of Group Theory which, in particular, focus on the groups of finite order.

61 views

### If $|G/H|=4$ then $G$ is union of three proper subgroups

Let $G$ be a finite group and $N$ a normal subgroup of $G$ of index $4$. Prove that $G$ has a subgroup of index $2$ (hence normal) and if $G/H$ is not cyclic then $G$ is equal to the union of three ...
62 views

### Abelian groups of order 63

I am trying to learn abstract algebra on my own. Unfortunately I am confused and not sure how to proceed with the following question. I want to find all abelian groups of order 63. By theorem of ...
70 views

### “Concrete” Realisations of non-abelian finite groups

Many commutative groups could be imagined as something "concrete", for example $\mathbb N$ as an abstraction of operations on sets of objects, and from this $\mathbb Z, \mathbb Q$ and $\mathbb R$ are ...
55 views

### Proof of Lagrange's four square theorem using Cauchy-Davenport Theorem

Cauchy used the Cauchy-Davenport theorem to prove that $ax^2 + by^2 + c \equiv 0 \pmod p$ has solutions provided that $abc \neq 0$. Lagrange used this result to establish his four squares theorem. I ...
76 views

### Sylow $p$-subgroup of a finite group

I know: Let $P$ be a Sylow $p$-subgroup of a finite group $G$.If $N$ is normal in $G$, then $P \cap N$ is a Sylow $p$-subgrup of $N$. But if $N$ is not normal in $G$ , there is also the issue? ...
80 views

### $G$ be a finite simple group , then every element of $G$ can be written as a product of $n$-th powers of elements of $G$?

Let $G$ be a finite simple group , let $n$ be a positive integer such that not all $n$-th powers of elements of $G$ are identity , then is it true that every element of $G$ can be written as a ...
102 views

### Property of odd ordered elements of a Group

I'm (slowly) working my way through "Abstract Algebra" by Dummit and Foote. In the first set of exercises on group theory, the following question is posed: "Let $G$ be a finite group and let $x$ be ...
50 views

### Finite {2.3}-group with 4 Sylow 3-subgroup

Let $G$ be a finite {$2$,$3$}-group, the number of Sylow $3$-subgroups of $G$ be $4$, and a Sylow $2$-subgroup of $G$ be normal in $G$. Let $N$ be the kernel of the conjugation action of $G$ on its ...
53 views

### If $\sigma \in S_n$ has order some prime $p$, then is $|\{1 \le i \le n : \sigma(i)=i\}|\equiv n \pmod p$? [closed]

Let $\sigma \in S_n$ be such that $o(\sigma)=p$ (some prime). Then is it true that $$|\{1 \le i \le n : \sigma(i)=i\}|\equiv n \pmod p\ ?$$
70 views

### Name of the theorem: If $p^k$ divides $|G|$, then $G$ has a subgroup of order $p^k$?

Note: I am not asking for a proof of this theorem or any other theorem or help with a mathematical problem. This question is a reference request. I use the following well-known and somewhat-easy-to-...
71 views

21 views

### How can I prove that $PSL(2,3)\simeq A_4$?

I would like to prove that $PSL(2,3) \simeq A_4$. I know the structure of $SL(2,3)$ and that $A_4=V\rtimes C_3$, where $V$ is the Klein subgroup. How can I proceed? Thanks for the help!
61 views

70 views

### Number of homomorphisms between two cyclic groups.

Is it true that the number of homomorphisms between any two finite cyclic groups of order $m\,\&\,n$ is $\gcd(m,n)$? I have posted an answer which I believe is true, just wanted to know different ...
21 views

### Solvability and representation of finite groups

Let $G$ be a finite solvable group, and let $G=G^{(0)}\unrhd G^{(1)}\unrhd...G^{(n)}=1$ be its derived series. Is it true that any irreducible representation of $G$ has dimension at most $n$?
23 views

### Non-Isomorphic Groups generated by a Set of fixed cardinaity

Given a set of permutations $A \subset S_n$. It has $|A|$ (the cardinality of $A$) elements. We can construct a group using $A$. How many non-isomorphic groups(all with the same order) can we ...
46 views

16 views

62 views

### Is there an Unique Generating Set of a Group when Cardinality of the set is fixed?

$A$ is a generating set of permutation-group $G$ (not a p-group), i.e. $\langle A \rangle=G$. $|A| \leq \log_2(|G|)$. $A$ has possible maximum number of elements to generate $G$. It means that the ...
31 views

### A finitely generated locally finite group

I've understood that there are finitely generated groups which are also locally finite groups (an infinite finitely generated group which has no subgroups of finite index that are no trivial), but I ...
56 views

### Homomorphism from group of integers modulo $4$ to the Klein four group [closed]

Let $G=\mathbb{Z}_4$, the group of integers modulo $4$, and let $H$ be the Klein four group, let $f: G \rightarrow H$ be a homomorphism. Why does the kernel of $f$ contain the element $2$ of $G$?
28 views

### Necessary condition for a subgroup to be a Hall subgroup

Let $G$ be a finite group and $H \le G$ of order $m$. Assume that we have the following property: P: For all $g \in G$, $o(g) | m$ if and only if $g$ lies in some conjugate of $H$. Under this ...
71 views

### All groups of order 12; Dic12 and D6

I know this has been asked in various forms before, but so far I have failed to understand those answers properly. I've also read several papers discussing this, but I don't really get it. I have an ...
Let $G$ be a finite group and $U$ a subgroup of $G$ such that the order of $U$ is a power of the prime $p$ and $U$ it's not $p$-subgroup Sylow of $G$. Show that $U$ is a proper subset of $N_G(U)$ (the ...
Given a set of permutation $S$. It has $|S|$ (The cardinality of $S$) elements. Consider a subset $A\subset S$. We can construct a group using $A$. One possible algorithm could be- We start ...