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

1
vote
1answer
29 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
32 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
45 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
24 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
33 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
40 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
40 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$, ...
1
vote
2answers
44 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
0answers
25 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}$ ...
1
vote
1answer
48 views

Is this type of a subgroup always normal? [duplicate]

Let $G$ be a finite group, and let $H$ be a subgroup of $G$ such that the index $(G\colon H)$ of $H$ in $G$ is the smallest prime that divides the order of $G$. Can we say anything about whether or ...
0
votes
1answer
48 views

If G is a finite group and $x \in G$, there is an integer n $\geq 1$ such that $x^n = e$

Let G be a finite group. Show that, given $x \in G$, there is an integer n $\geq 1$ such that $x^n = e$. I'm trying to use the info that is finite, but I can't find a way. For instance, if G is a ...
3
votes
2answers
75 views

What are the finite groups with 8 or 16 conjugacy classes?

What are the list of finite groups with 8 or 16 conjugacy classes? I learned that dihedral groups $D_{10}$ and $D_{13}$ have 8 conjugacy classes. (Here the order of these groups are $|D_{10}|=20$, ...
1
vote
2answers
62 views

An application of Sylow theorems in p-groups!

If $G$ is a finite group of order $p^{n}$ (which $p$ is a prime number) and have only one subgroup of order $p^{n-1}$ ,namely $H$ ,then $G$ is cyclic ! My "proof" is as follows: suppose $$x\in G-H$$ ...
2
votes
0answers
28 views

An algorithm for generating a finite group with a finite set of generators

Let $A$ be a finite set of permutations on $\Bbb N$ with finite support. Is there a good efficient algorithm to obtain the subgroup $\left<A\right>$ of the symmetric group ...
2
votes
0answers
30 views

What is the difference between operator groups and group actions?

I have always thought that operator groups and group actions are two names for the same thing. Now I have noticed that they have different codomains. Actually I am still confused, why are they ...
0
votes
4answers
34 views

Groups - Inversions

Above is just an example I'm trying to work from as I have the solutions. I've seen lots of definitions of what inversions are but they use signs like sigma, and it doesn't really explain what the ...
-1
votes
1answer
39 views

conjugacy classes and order of group

Suppost that $k_G(A)$ denotes the number of conjugacy classes of $G$ that intersects $A$ non-trivially ($A$ is an arbitrary subset of $G$) and $M=G^{'}Z(G)$. Also suppose that $G$ is non-solvable, ...
0
votes
0answers
21 views

Conjugacy classes of right cosets

Is it true that all elements of a right coset $Hx$, for a subgroup $H$ of $G$, contained in a unique $G$-conjugacy class? I mean if $Hx=\lbrace{x_1,...,x_s}\rbrace$, then is it true that ...
0
votes
1answer
27 views

permutation problem: cycle representation

Let $n$ be an odd number. Let $C_n$ be the set of permutations $\pi$ of $[n]$ whose cycle representation has only one cycle. Let $\pi,\sigma\in C_n$. Prove that their composition $\pi\sigma$ has an ...
0
votes
1answer
17 views

Questions on proof that transvections are conjugate in $GL(V)$.

I have difficulty following the proof that transvections are conjugates in $GL(V)$, and for $n \ge 3$ even in $SL(V)$. I give the necessary definitions and the proof, with the problematic parts ...
1
vote
0answers
28 views

Groups with single conjugacy class of subgroups.

I wish to know all those groups in which there is single conjugacy class of subgroups of fixed order.For example, In finite cyclic groups and in Alternating group of degree 4, number of conjugacy ...
0
votes
1answer
34 views

Find all sub groups of order $4$ in $\mathbf{Z}_4 \oplus \mathbf{Z}_4$ . Are they all cyclic?

Find all sub groups of order 4 in $\mathbf{Z}_4 \oplus \mathbf{Z}_4$. Solution : $\mathbf{Z}_4 =\{0,1,2,3\}$ $O(1) = O(3) = 4$, $O(0) = 1$, $O(2) = 2$ Hence, I found the subgroups of order 4 as ...
-2
votes
0answers
30 views

$|G| \geq 3 $ is finite and has subgroup with index more than 4 then $G$ is not simple.

suppose $G$ is a finite group with more than three elements,prove that if $H$ will be a proper subgroup of $G$ with this property that $[G:H] \geq 4$ then $G$ is not simple. I found this question a ...
1
vote
1answer
59 views

Isomorphisms in finite abelian groups

Let G be an abelian group of order 175 (=5*5*7). Assume $x^5=e$ has at least seven solutions. What is G isomorphic to? I see and can show that G is isomorphic to the its Sylow subgroups (orders 7 and ...
0
votes
1answer
22 views

Normal subgroup $N$, subgroup $U$, then $UN/N = U/N$.

Let $G$ be a group and $N \unlhd G$ a normal subgroup, $U \le G$ some subgroup. Then I guess $U / N$ is always some group, and moreover $U / N = UN / N$, because $UN / N = \{ unN : u \in U, n \in N \} ...
6
votes
1answer
76 views

If $G$ is solvable and $G/[G,G]$ is cyclic, can $G\times G$ be generated by 2 elements?

I doubt this is true, but I haven't found any small counterexamples (there are no counterexamples with $|G| < 1536, |G| \neq 768$): Suppose $G$ is finite, solvable, 2-generated, and $G/[G,G]$ ...
0
votes
1answer
20 views

Normal Sylow $p$-subgroup of a normal subgroup

Any hints for the following question - I am sure that I am missing something very simple here. $K$ is a normal subgroup of $G$ and $P$ is a Sylow $p$-subgroup of $K$. If $P$ is a normal subgroup of ...
1
vote
0answers
37 views

Existence of a map $\phi:\mathbb{Z}_{N^2}^* \mapsto \mathbb{F} $

Is there a map between the group of $\mathbb{Z}_{N^2}^*$ where $N$ is a composite number , a product of two equal size secure prime numbers $p$ and $q$ and a finite field $\mathbb{F}$, such that for ...
1
vote
1answer
22 views

Splitting field of an irreducible polynomial of degree five $f \in \mathbb{Q}[X]$

Let $\Omega/\mathbb{Q}$ be the splitting field of an irreducible polynomial $f \in Q[X]$ of degree five. Show that $Gal(\Omega/\mathbb{Q})$ equals $A_5$ or $S_5$ if $Gal(\Omega/\mathbb{Q})$ has an ...
0
votes
2answers
25 views

Group Theory (Abstract Algebra) question! o(G) vs o(g)??

If G is a group, and g is an element of G, what is the difference between the following two notations o(G) and o(g)?
2
votes
1answer
32 views

How does the base of a group determine the “sort” of the elements in the group

I'm trying to study groups in Mathematica, and I've asked a question on Mathematica.SE that perhaps only someone from Math.SE could answer. Related: How does ...
0
votes
1answer
30 views

$p$-subgroups conjugate iff $\cong$ to Sylow p-subgroups of some other groups?

Let $G$ be a finite group and $p$ a prime such that $p^\alpha$ divides $|G|$ and $p^{\alpha+1} \nmid |G|$. I know that Sylow $p$-subgroups of $G$ are conjugate to one another but if we have some ...
1
vote
1answer
17 views

Simple group question need help…

Alright so I've got a question here in terms of groups. So define $\omega = {e}^{2i\pi\over 13}$ -The exponent of e should be $2i\pi\over 13$ but it's not coming clear when as an exponent of e there ...
1
vote
3answers
65 views

Can we find some constraint about order of $xy$ in a group $G$?

Can we determine order of $xy$ in $G$ if we know order of $x$ and $y$ ? I know that answer is yes for abelian groups and I guess the answer is no for nonabelian case. That is why I am lookking for ...
1
vote
0answers
29 views

Do normal group endomorphisms form a normal submonoid?

What it says on the tin. A group endomorphism $v\colon G\to G$ is called normal if $v(aba^{-1})=av(b)a^{-1}$ for all $a,b\in G$. Equivalently, the map $g\mapsto v(g^{-1})g$ is a group homomorphism. ...
0
votes
0answers
33 views

Semidirect products of cyclic groups

Consider $A=\langle a\rangle$, cyclic group of order $9$ and $B=\langle b\rangle$, cyclic group of order $3$. Consider now the following action of $B$ on $A$ via automorphism: ...
0
votes
1answer
51 views

Subgroups of direct products

Consider a group $G$ which is a direct product of two groups of coprime order: $G = G_1 \times G_2$ with $|G_1|=n_1$, $|G_2|=n_2$ and $\textrm{gcd}(n_1, n_2)=1$. Let $H \le G$. Is it true that ...
1
vote
4answers
42 views

Show that $G$ is a group if the cancellation law holds when identity element is not sure to be in $G$

Having already read through show-that-g-is-a-group-if-g-is-finite-the-operation-is-associative-and-cancel, however in Herstein's Abstract Algebra, I was required to prove it when we're not sure if ...
1
vote
2answers
39 views

Find $b \in G$ for each $a \in G$, such that $b^m = a$, where $m$ is coprime to the order of group G

Let $(G, \cdot)$ be a finite group (with identity element $1 \in G$) and $m \in \mathbb{N}$ be coprime to $|G|$. Proofe that for all $a \in G$ there exists exactly one $b \in G$, such that $b^m = a$. ...
1
vote
2answers
134 views

Why free presentations ? Why not permutation or matrix representations?

Two days ago, I asked why free presentations? and frankly I did not get a convincing answer. I am trying here to ask the question in a different way : We know that a group can be defined by a ...
2
votes
2answers
77 views

How many subgroups of $\Bbb{Z}_4 \times \Bbb{Z}_6$?

I have been trying to calculate the number of subgroups of the direct cross product $\Bbb{Z}_4 \times \Bbb{Z}_6.$ Using Goursat's Theorem, I can calculate 16. Here's the info: Goursat's Theorem: Let ...
1
vote
2answers
27 views

The Direct Product of Groups and their Subgroups

Let $G_1$, $G_2$ be groups of prime power order. Write $|G_1|=p^m$ and $|G_2|=q^n$ for some $0 \leq m,n$. (The primes $p,q$ need not be distinct.) Let $H_1$ be a subgroup of $G_1$ and let $H_2$ ...
4
votes
1answer
118 views

Subgroups of abelian $p$-groups

Let $A$ be an Abelian group of prime power order. It can be expressed as a (unique) direct product of cyclic groups of prime power order: $A = \mathbb{Z}_{p^{n_1}} \times \cdots \times ...
4
votes
2answers
123 views

Show that $G$ ( subgroup of $\mathrm{GL}(E)$) is finite.

I came across with, I think, a difficult problem : Let E a Hermitian space with a Hermitian norm $||\ ||$. We provide $\mathcal{L}(E)$ with the norm $|||\ \ |||$ subordinated to $||\ ||$. ...
0
votes
0answers
22 views

Sylow subgroups and normalizers [duplicate]

Let $H$ be a Sylow 3-subgroup and $K$ a Sylow 5-subgroup of a finite group $G$. Suppose $|H|=3$ and $|K|=5$ and $N_G(K)$, has an element of order 3. Show that $N_G(H)$ has an element of order 5.
1
vote
0answers
26 views

$ K \rtimes_{\phi_1} C \cong K \rtimes_{\phi_2} C$ when $\phi_1(C), \phi_2(C)$ are conjugated and $C$ is a product of two cyclic groups

I know the following result: Let $C$ be a finite cyclic group, $K$ a finite group such that there exist homomorphisms $\phi_1,\phi_2$ $\phi_i:C \to Aut(K) $ such that $\phi_1(C), \phi_2(C)$ are ...
0
votes
1answer
37 views

Is this object a group?

$\begin{array}{ccccccccc} \times&e_0&e_1&e_2&e_3&e_4&e_5&e_6&e_7\\ e_0&I&e_1&e_2&e_3&e_4&e_5&e_6&e_7\\ ...
5
votes
1answer
80 views

Does $\mathrm{GL}_{n-2}(\mathbb{Z})$ has an element of order $m$?

Let me introduce the context: A few week ago I have made the following contest as a "homework" : ENS contest (France) 2006 which is essentially about $SL_n(\mathbb{Z})$ group, finite subgroup of ...
0
votes
1answer
23 views

Summing the traces of matrix powers

Let $G=\langle h\rangle_n\subset{\rm GL}(m,\mathbb{C})$ be a cyclic group of order $n$. I wonder if there is a good formula for calculating the sum $\sum_{g\in G}{\rm Tr}(g)$ via ${\rm Tr}(h)$, for ...
1
vote
1answer
21 views

Can't remember definition of $\lvert G \rvert_{p'}$

For $G$ a finite group, I know that $\lvert G\rvert$ denotes the order of the group. My question is: What is $\lvert G\rvert_{p'}$? Also is this the same as $\lvert G\rvert_p$ (without the prime on ...