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.

learn more… | top users | synonyms

0
votes
0answers
71 views

Boosting of Coset diagrams

If we have the diagram that represents a transitive permutation representation of $(p,q,r_o)$ for some $p, q$ and $r_o$, we often use this diagram to get diagrams for any $r>r_o$. We can do this ...
0
votes
1answer
104 views

Symmetry Group Regular Tetrahedron

Looking for some help of how to do this, which could also be expanded to other shapes. Thanks.
2
votes
6answers
269 views

Example of not so simple group ??

Help me with an example of a group having subgroups but it doesn't admit a normal subgroup.. ?? The alternate definition of simple groups using non trivial homomorphic image. Searching for a map that ...
0
votes
1answer
77 views

definition of simple group , why we need normal ???

Every prime ordered group is simple, its because it doesn't admit any subgroups. But where comes the normal subgroup, why cant the people use just subgroups instead of normal subgroups in the ...
2
votes
1answer
72 views

On the Hall Theorem

I went to search info about it in books (as Isaac), this site, wikipedia. But no one says nothing about my (maybe silly) doubt. The theorem states that, given a finite and solvable group $G$, and an ...
1
vote
0answers
51 views

$|G':G''| \le p^2$ implies $G'$ is abelian [duplicate]

If $G$ is a finite $p$-group, and $|G':G''| \le p^2$, then $G'$ is an abelian group. I'm reading its proof but I cannot understand a part: Suppose $G''\neq1$, then by a theorem, there exists a ...
2
votes
1answer
91 views

Cayley's Theorem - Questions on Proof Blueprint [Fraleigh p. 82 theorem 8.16]

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 ...
0
votes
1answer
57 views

Group Theory, Permutations.

Let $x := (175)(2436)$ and $y := (1234567)$ Compute the elements $x^{-1}yx$ and $y^{-1}xy$? And if $z := (1326745)$ for which $u$ is there an element $v$ such that $v^{-1}zv=u$. If $u$ exists find ...
1
vote
2answers
27 views

if $f$ is of prime order, then can the orbit of $s$ under $f$ have one element?

if $f\in A(S)$ has order $p$, $p$ a prime, show that for every $s\in S$ the orbit of $s$ under $f$ has one or $p$ elements.* Since the cyclic group generated by $f$ has $p$ elements, therefore ...
1
vote
1answer
74 views

How to count generators for a cyclic group

Show that there are $\varphi (n)$ generators for a cyclic group $G$ of order $n$. Give their form explicitly. Here $\varphi (n)$ is the Euler's function. I don't know what to do, please help.
1
vote
4answers
78 views

If p is a prime number of the form $4n+3$, show that we cannot solve $x^2\equiv -1\mod p$

Hint: Use Fermat's Theorem that $a^{p-1}\equiv 1\mod p$ if $p \nmid a$. (I have no idea, but something in group theory should help)
0
votes
1answer
37 views

Surjective Homomorphic map and orders

I have recently taken a test and this question gave me a problem and left me confused and unsure how to answer. I did answer it although I'm pretty sure I didn't get it right. So I'm asking for help ...
4
votes
1answer
246 views

Subgroups of a finite elementary abelian group.

I am looking for a method to calculate number all subgroups of a finite elementary abelian $p$-group. Suppose $G$ be an elementary abelian $p$-group of order $p^n$. A proper subgroup $H$ of $G$ is ...
1
vote
2answers
191 views

The Proof of Wilson's Theorem using the auxiliary multiplicative modulous group [duplicate]

(self answered question, thanks for the hints Derek Holt provided:-)) problem 18,section 4 chapter 2 in Herstein's abstract algebra: Using the results of Problem 15 and 16,prove that if p is an ...
2
votes
1answer
52 views

A question about direct products of subgroups of a finite group.

Suppose $H$ and $K$ are subgroups of a finite group $G$ where $|H||K|=|G|$. Show that $H\cap K=\{e\}$ iff $G=HK$ $\rightarrow$ Suppose $|H|=m$. Let $H=\{h_0,h_1,h_2,....,h_{m-1}\}$. Since ...
0
votes
1answer
30 views

What is the possible value for the subgroup of index 2?

Let $H\leq G$ and $[G:H]\leq 2$. If the $|G|=n$ then $|H|=n$ if $n$ is odd. What is happening when $n$ is even? What are the possible values for $|H|$ when $n$ is even? Thanks.
2
votes
3answers
214 views

If G is a finite abelian group and $a_1,…,a_n$ are all its elements, show that $x=a_1a_2a_3…a_n$must satisfy $x^2=e$.

I have already tried with $S_3$, and indeed, the product is $(13)$, and $(13)^2=e$ But what about this: I define + in this way:$45=2$,$26=3$, $1$ is the identity. therefore, $123456=2326=233=3$, ...
1
vote
1answer
111 views

Sum of irreducible character values in a row of the character table

If $\chi$ is a nontrivial irreducible character of $G$ (a finite group), define $S_{\chi}:= \sum_{x \in G} \chi(x)$. In terms of conjugacy classes $\mathcal{C}$, this is $\sum_{\mathcal{C}} ...
0
votes
2answers
67 views

solutions of $x^2\equiv 1 \pmod p $ [duplicate]

If p is a prime, show that the only solutions of $x^2\equiv 1 \pmod p $ are $x=1$ and $x\equiv -1 \pmod p$. (from herstein's abstract algebra chapter2 section4 lagrange's theorem problem 15, this ...
0
votes
0answers
32 views

Prove that $U(m) = U_{m/n_1} (m) \times U_{m/n_1} (m) \times \cdots\times U_{m/n_k}$

If $m = n_1 n_2 \cdots n_k $ where $\gcd(n_i~,n_j)=1 ~~ \forall i \neq j$, then prove that: $$U(m) = U_{m/n_1} (m) \times U_{m/n_1} (m) \times \cdots\times U_{m/n_k}$$ where $\times$ refers to the ...
0
votes
1answer
21 views

Look for the group members $\left ( (\mathbb Z/24\mathbb Z)^*,\underset{24}{\odot} \right )$ and calculate their orders.

Look for the group members $\left ( (\mathbb Z/24\mathbb Z)^*,\underset{24}{\odot} \right )$ and calculate their orders. The elements are $\overline1,\overline2,\ldots,\overline{23}$. Have the ...
0
votes
1answer
24 views

Evidence about the group $\left ( (\mathbb{Z}/p\mathbb{Z})^*,\underset{p}{ \odot} \right )$

Be $p$ an odd prime number. Show that the group $\left ( (\mathbb{Z}/p\mathbb{Z})^*,\underset{p}{ \odot} \right )$ has a unique element of order $2$, namely $\overline{p-1}$, and show that ...
1
vote
1answer
28 views

Be $G=\{ e,g_1,g_2,\ldots, g_n \}$, $|G|=n+1$. Suppose $G$ has a unique element of order $2$, say $g_1$. Show that $eg_1g_2\ldots g_n=g_1$.

Be $G=\{ e,g_1,g_2,\ldots, g_n \}$ an abelian group of order $n+1$. Suppose $G$ has a unique element of order $2$, say $g_1$. Show that $eg_1g_2\ldots g_n=g_1$. I have serious difficulties with ...
4
votes
2answers
198 views

Frattini subgroup of a finite group

I have been looking for information about Frattini subgroup of a finite group. Almost all the books dealing with this topic discuss this subgroup for p-groups. I am actually willing to discuss the ...
1
vote
1answer
339 views

Let $G$ be a finite abelian group and let $p$ be a prime that divides order of $G$. then $G$ has an element of order $p$

Let $G$ be a finite abelian group and let $p$ be a prime that divides order of $G$. then $G$ has an element of order $p$ Proof When $G$ is abelian. First note that if $|G|$ is prime, then $G \approx ...
1
vote
1answer
110 views

Size of maximal tori in finite simple groups of Lie type

Let $G$ be a finite simple group of Lie type over a finite field of characteristic $p$ an odd prime. Is it possible that $G$ contains a maximal torus of order $2^m$ for some positive integer $m$? ...
2
votes
0answers
51 views

Suppose that $|G| = p^aq$, where p and q are primes and a > 0, Then $G$ is not simple?

Proof : We can assume that p$ \neq $ q and $n_p >1 $, so $n_p$ = q. Now choose distinct Sylow p- subgroups $S$ and $T$ of $G$ such that $|S\cap T|$ is as larger as possibe and write $D = S \cap ...
0
votes
1answer
42 views

Ruling out orders when applying Sylow's theorems

Going through examples of applications of the Sylow theorems in Fraleigh's book, when proving that no group of order 36 is simple, after concluding that $| H \cap K | = 3$ for two $3$-Sylows $H$,$K$, ...
1
vote
2answers
221 views

Groups with $|G| = p^2q$. Prove that if $p$ and $q$ are primes, then there are no simple groups of order $p^2q$.

Groups with $|G| = p^2q$. Prove that if $p$ and $q$ are primes, then there are no simple groups of order $p^2q$. Also another question, do p and q have to be distinct for this to hold? On top of ...
0
votes
2answers
52 views

Dihedralize Twice - dihedralize a dihedral group $D_n$

A simplest dihedral group $$D_4=C_2 \ltimes C_4$$ can be regarded as dihedralizing a $C_4$ by a semi-direct product. Q: Can one dihedralize the group $D_4$ a second time by defining $$C_2 \ltimes ...
7
votes
1answer
122 views

Show that if the prime $p$ divides $|G|$, then $|X|$ is divisible by $p$.

Question : Let $p$ be a prime number that divides the order of the finite group $G$. Let $X$ = $\bigcup_{P \in Syl_p(G)}P$. Show that $|X|$ is divisible by $p$.
3
votes
3answers
65 views
2
votes
1answer
109 views

Expressing a matrix in terms of subgroup generators using Magma

With Magma, it is possible to define a subgroup $H$ of a finite matrix group $G$ in terms of generators. Given a matrix $M\in G$, Magma can also determine whether $M\in H$. Presumably, if Magma ...
0
votes
1answer
45 views

Abstract Algebra: prove it is cyclic

I have question in referring to below link. Question. Suppose if I have [M:K]=2 and I know that K is subset of M. M:=$\mathbb{Z}_2[x]/(f(x))$ where f(x)=x$^4$+x+1. Then how this will be cyclic? I ...
1
vote
1answer
57 views

Show that $Z_{p^2} \oplus Z_{p^2}$ has exactly one subgroup isomorphic to $Z_p \oplus Z_p$

Show that $Z_{p^2} \oplus Z_{p^2}$ has exactly one subgroup isomorphic to $Z_p \oplus Z_p$ Attempt: $Z_p \oplus Z_p$ has $p^2-1$ elements of order $p$ . Hence, all non trivial elements of $Z_p \oplus ...
4
votes
1answer
1k views

Online Finite Field Calculator

I need to find an online Finite Field calculator with the following operations: Inverse SqrRoot Mult Div I have found one a couple of days ago but lost the url, and cannot find it now. Any ...
0
votes
3answers
121 views

If G acts on X, show that there must be a fixed point for this action. Please help. [closed]

Suppose that G is a group of order p^k, where p is prime and k is a positive integer. Suppose that X is a finite set and assume that p does not divide the size |X| of X. If G acts on X, show that ...
2
votes
2answers
118 views

Supose that G is a finite abelian group that does not contain a subgroup isomorphic to $Z_p \oplus Z_p$ for any prime $p$. Prove that G is cyclic.

Supose that G is a finite abelian group that does not contain a subgroup isomorphic to $Z_p \oplus Z_p$ for any prime $p$. Prove that G is cyclic. Attempt: If $G$ is a finite abelian group, then let ...
2
votes
1answer
102 views

Conjugacy classes and centralizers of a SmallGroup

What is the complete lists of conjugacy classes and centralizers of SmallGroup(64,138)? Would someone be willing to provide the complete lists of conjugacy classes and centralizers of ...
1
vote
2answers
40 views

A Criterion for being Sylow p-group

Show that if $H$ is a $p$-group of finite group $G$ and $N_G(H)=H$ then $H$ is a Sylow $p$-group of $G$? Or prove the following more general property,$$[G:H]\equiv1\ (\mod\ p)$$
1
vote
1answer
42 views

Groups with single conjugacy class of subgroups. (modified)

I am going to modify my previous question. What are those finite non abelian groups in which non normal subgroups of same order are conjugate. e.g. Dihedral groups of order $4n+2$.
1
vote
1answer
69 views

Can we give of the fact that a group of order $9$ is abelian without using an argument involving the product of two cyclic groups of order $3$?

A group of order $9$ is always abelian. I've seen proofs of this result, but I would like to prove it the following way: Let $G$ be a group of order $9$. If $G$ has an element $a$ of order $9$, then ...
2
votes
1answer
58 views

Visualizing the 48 actions of GL(2,3)

Hello and thank you for your patience. (DISCLAIMER: I'm a novice and not a mathematician by trade and I'm not certain how to articulate most of my questions here. I am learning from experiences and ...
2
votes
2answers
82 views

What is the most elementary proof of the following: a non-abelian group of order $6$ is isomorphic to $S_3$

We know that, a non-abelian group of order $6$ is isomorphic to $S_3$. While I've been able to locate different proofs of this result, I would like to have one that is as elementary as it can be. So ...
1
vote
1answer
45 views

An assumption used in defining a group of order $mn$

I want to show that the defining relations $a^m=b^n=e, ab=ba^k$ define a group of order $mn$ with a normal subgroup of order $m$, if $k^n \equiv 1 \pmod m$. Consider the set of symbols of the form ...
3
votes
1answer
48 views

How do I effectively solve this kinds of problems?

I'm preparing for a test on Monday. This is an exercise in the past homework. Find all subgroups of $\mathbb{Z}_2\times \mathbb{Z}_2\times\mathbb{Z}_4$ isomorphic to $Z_2\times Z_2$. Is there a ...
2
votes
1answer
81 views

Which non-Abelian finite groups contain the two specific centralizers? - part II

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers isomorphic to both of these two groups (but may contain other ...
2
votes
0answers
89 views

Which finite groups contain the two specific centralizers?

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers both of these two groups: i. the elementary group $Z_2^4$, ...
2
votes
2answers
167 views

The Cayley Representation Theorem.

This theorem states that "Any group is isomorphic to a subgroup of a group permutations." I only ask if someone could provide a simple example so that i can fully understand this theorem.
0
votes
1answer
229 views

To Find a subgroup of order $6$ in $U(700).$

Find a subgroup of order $6$ in $U(700).$ Attempt: $U(700)=U(2^2.5^2.7)\thickapprox U(2^2) \oplus U(5^2)\oplus U(7)$ $\thickapprox \mathbb Z_2 \oplus \mathbb Z_{5^2-5} \oplus \mathbb Z_{7-7^0}$ ...