A group is an algebraic structure consisting of a set of elements together with an operation that satisfies four conditions: closure, associativity, identity and invertibility. Group theory studies groups.

learn more… | top users | synonyms (2)

1
vote
0answers
21 views

minimal normal subgroup of a chief factor of soluble group $ G $ is a minimal normal normal subgroup of $ G $?

Let $ G $ is a soluble group and $ \Phi(G) $. Let $ K/L $ be a chief factor of $ G $. Let $ M $ be the smallest normal subgroup of $ K $ such that $ K/M $ is nilpotent and $ M \neq 1 $. assume $ M/N $ ...
0
votes
1answer
57 views

need examples of different groups

I need example of different groups having different properties like: class 2 or 3 cyclic commutator cyclic center $Z(G)\le \Phi(G)$ redei group $G=\langle aG',bG' \rangle $ and ... Is there books or ...
1
vote
1answer
39 views

Order of a permutation group versus degree of a permutation group

Excuse my simple question. I am just starting to learn about group theory. I am trying to understand the description of cycle index for a permutation group. The Wikipedia entry references both the ...
0
votes
1answer
51 views

Endomorphisms of $\mathbb{Z}/n\mathbb{Z} \oplus \mathbb{Z}/n\mathbb{Z}$

Let G be any abelian group, End(G) be the set of all group homomorphisms $\varphi\colon G\to G $. End(G) is a unital ring under the operations + and $\cdot$(Please refer to the link for detail, ...
2
votes
0answers
43 views

abelian subgroups of $GL(2,\mathbb{Z}_p)$

Is there a classification of abelian subgroups of $GL(2,\mathbb{C})$? or $GL(2,\mathbb{Z}_p)$? Here $\mathbb{Z}_p$ is the ring of $p$-adic integers.
0
votes
0answers
20 views

Let $ K/L $ be a chief factor of $ G $ and $ M $ be the smallest normal subgroup of $ K $ such that $ K/M $ is nilpotent

Let $ G $ is soluble group with $ \Phi(G) = 1 $ and assume that each minimal normal subgroup has prime order or order $ 4 $. Let $ K/L $ be a chief factor of $ G $ and $ M $ be the smallest normal ...
4
votes
0answers
20 views

Haar measure on a profinite group is the inverse limit of the counting measure on its quotients?

I've heard this a few times now, though I've never seen a precise result. I guess the precise statement would be close to: Let $N_i$ be a basis normal subgroup neighborhoods of the identity in a ...
0
votes
2answers
39 views

Decomposition of an unitary operator by simple operators

For quantum computation, it's well known that any unitary operator can be approximated with an arbitrary accuracy by simple operators, for example to approximate an unitary operator on n qubits by no ...
-2
votes
0answers
17 views

IS $ F(G) $ a direct product of some minimal normal subgroups of G?

Let $ G $ is a finite group and $ F(G) $ is the fitting subgroup of $ G $. IS $ F(G) $ a direct product of some minimal normal subgroups of G? Why ? $ F(G) $ is the largest nilpotent normal subgroup ...
6
votes
2answers
75 views

Is $G/H$ always a subgroup of $G$?

Given a normal subgroup $H$ of a finite group $G$, is there always an injective homomorphism $$\varphi:G/H\to G?$$ In other words, is $G/H$ a subgroup of $G$? If we pick an arbitrary ...
1
vote
1answer
15 views

on finitely generated non-abelian p-group

Let $G$ be a finitely generated non-abelian p-group for example $G=\langle x,y,z\rangle$ is following argument right? that mean for every $g\in G$ there is i,j,k $g=x^iy^jz^k$ since G is non abelian ...
1
vote
1answer
31 views

Let $ H/N $ is nilpotent quotient subgroup. Then is $ N $ characteristic in $ H $? If no, then what condition need?

Let $ G $ is finite solvable group and $ H $ is normal subgroup. Let $ H/N $ is nilpotent quotient subgroup. Then is $ N $ characteristic in $ H $? If no, then what condition need?
3
votes
1answer
52 views

Action of ${\rm Aut}(G)$ on $G$

Let $G$ be a finite group and consider the natural action of ${\rm Aut}(G)$ on $G$ and let there are two orbits under this action. How could we show that $G$ is an (elementary) abelian group? Is ...
2
votes
1answer
25 views

Problems with P. Hall theorem proof (The problem involves the use of Frattini's argument)

Theorem Let G be a solvable group of order $ab$, where $(a,b)=1$. Then $G$ contains at least one subgroup of order $a$, and any two such are conjugate. Details The proof the book presents involves ...
0
votes
1answer
41 views

Find the class equation for the following groups

Can someone please verify these? I'm quite unsure about my answer to the Quaternion Group. Find the class equation for the following groups: (a) The Quaternion group (b) $D_5$ (c) ...
2
votes
1answer
22 views

How many subgroups are there in an elementary-$p$ group

$C_p\times C_p$ has $1+1+(p-1)=p+1$ subgroups of order $p$ (all of which $\cong C_p$), so it has $1+(1+p)+1=3+p$ subgroups totally. But how many subgroups in $C_p\times C_p \times C_p\times C_p$? ...
1
vote
1answer
73 views

Cayley's theorem

As according to Cayley's theorem "Every group is isomorphic to a subgroup of some symmetric group". Now my question is: the additive group of real numbers is isomorphic to which permutation group... ...
3
votes
1answer
35 views

Find the order of the conjugacy class of $A = \begin{bmatrix} 1 & 0 \\ 0 & 2 \end{bmatrix}$ in $GL_2(\mathbb{F}_5)$

Can someone please verify my answer? Note: This is not homework, only self study. Find the order of the conjugacy class of $A = \begin{bmatrix} 1 & 0 \\ 0 & 2 \end{bmatrix}$ in ...
4
votes
0answers
57 views

Is the monster group a characteristic quotient of $F_2$?

Let $F_2$ be the free group on two generators, and $M$ the monster group. It's known that every finite simple group is 2-generated, so let $F_2\rightarrow M$ be a surjection with kernel $N$. Let ...
0
votes
1answer
55 views

Let $G$ be a group such that $|G| \ge 3$ then $|AutG| \ge 2$. [duplicate]

Let $G$ be a group such that $|G| \ge 3$ then $|AutG| \ge 2$. How can I approach to this problem? It is necessary to divide in cases? For G finite and infinite, or Abelian and non-Abelian? The ...
2
votes
2answers
90 views

Is $(\mathbb{Q},+)$ isomorphic to $(\mathbb{Q}^n,+)$?

Is easy to show that $(\mathbb{R},\mathbb{Q},+,\cdot)$ is isomorphic to $(\mathbb{R}^n,\mathbb{Q},+,\cdot)$ as vectorial spaces and then $(\mathbb{R},+)$ isomorphic to $(\mathbb{R}^n,+)$. This result ...
0
votes
1answer
30 views

A group of order 2p (p prime) and other conditions - prove abelian.

I have G where $|G|=2p$ ; p is prime. $\exists a\in Z\left(G\right);\:a^2=e$. I need to prove that G is abelian. Now, let's translate it into math. To prove that G is abelian, is in other words ti ...
3
votes
3answers
33 views

If a group $ G$ is not simple does it follow that it is isomorphic to the direct product of two nontrivial groups?

Let $G$ be not simple does it follow that $G=G_1\times G_2$, where $G_1$ and $G_2$ are nontrivial groups? Edit: Wait is the answer $G_1=N\lhd G$ and $G_2=G/N$?
0
votes
1answer
23 views

Can non-cyclic one-relator groups be finite?

The answer appears to be no, but I can't find it anywhere. Worded another way, do there exist subgroups of finite index in the free group $F_2$ on two generators $x,y$ which is normally generated by ...
5
votes
1answer
76 views

If groups $G$ and $H$ act on $X$, does $G\times H$ act on $X$?

Suppose two groups $G$ and $H$ act on a set $X$. What is the a group action of $G\times H$ on $X$? From the actions there a homomorphisms $\varphi\colon G\to S_X$ and $\psi\colon H\to S_X$. So this ...
1
vote
0answers
33 views

Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...
6
votes
1answer
100 views

Space of arbitrary rotations of a cube

Suppose I have a cube $[-1,1]^3\subset\mathbb{R}^3$. I am allowed to rotate it about any angle/axis through the origin rather than just $90^\circ$ about the coordinate axes, e.g., by applying ...
1
vote
1answer
41 views

p-element centralizing a Sylow p-subgroup

Let $G$ be a finite group, $P$ a Sylow $p$-subgroup for a prime $p$ and $g$ a $p$-element with $gxg^{-1} = x$ for all $x \in P$. Then $g \in Z(P)$. Is this true? How can i prove that $g \in P$ ...
0
votes
1answer
38 views

characteristic of a ring

I got 4 short question about characteristic. 1) What is characteristic of integral domain D which suffices $20 \cdot 1_D=0_D=12 \cdot 1_D$ 2) Let $A=\{0,1,a\}$ be a integral domain what is ...
1
vote
1answer
98 views

How many non isomorphic semidirect products are there between $\mathbb Z_2$ and $SL(2,3)$?

I know that $GL(2,3)$ is one of this, but i need the characterization of all possibles of the semidirect products between $\mathbb Z_2$ and $SL(2,3)$. Thanks, for any help.
0
votes
1answer
25 views

difference between p-automorphism and automorphism of order p

Is there difference between p-automorphism and automorphism of order p? I looked up in internet some time they say they are same but some time it's look like there is a different between them for ...
2
votes
0answers
49 views

I have a finite permutation group and access to a computer algebra system, how can I recognize the structure of the group?

I have a fixed permutation group $G$, and cannot tell which finite group it really is in a "human readable" way. I also have GAP. Is there a step by step computation to give me the structure of this ...
0
votes
1answer
42 views

Let $ M $ be the smallest normal subgroup of $ K $ such that $ K/M $ is nilpotent. What's mean smallest normal subgroup?

theorem: Let $ G $ be solvable with $ \Phi(G)=1 $ and assume that each minimal normal subgroup has prime order or order $ 4 $. Then every chief factor of $ G $ has prime order or is $ G $-isomorphic ...
-2
votes
1answer
28 views

how many elements are there which has order 3?

if the number of sylow-3 subgroups of a group of order 96 is 4, how many element are there which has order 3? I dont know how to start. why isnt the answer 4?
0
votes
1answer
39 views

Smallest normal subgroup and minimal normal subgroup, what's the difference?

Let $ G $ is a finite group and $ N $ be a minimal normal subgroup of $ G $ and $ M $ be a smallest normal subgroup of $ G $. Smallest normal subgroup and minimal normal subgroup, what's the ...
1
vote
2answers
58 views

which one of these may not be abelian?

If a group G has these orders. which one of these may not be abelian? 4,31,55,39 and 121 since 4 and 121 is prime square. they are abelian. and 31 is prime therefore cyclic so abelian. what about 55 ...
1
vote
0answers
27 views

Center of GL(2,F) and SL(2,F)

My question is to find the center of GL(2,F) and SL(2,F) where $F=\mathbb{Z},\mathbb{C}$ My attempt: Generalising the identity element, if we take $\pmatrix{ a& 0\\\ 0& a}$. Then these ...
5
votes
2answers
56 views

Show that if $|G| = 30$, then $G$ has normal 3-Sylow and 5-Sylow subgroups.

Show that if $|G| = 30$, then $G$ has normal $3$-Sylow and $5$-Sylow subgroups. Let $n_3$ denote the number of 3-Sylow subgroups and $n_5$ the number of $5$-Sylow subgroups. Then, by the third ...
0
votes
1answer
53 views

Dilemma with the classification theorem of finite groups

We know that if $H < G$ , $G$ commutative, and $G/H \cong \hat H < G$, then $ G \cong H \oplus \hat H$. Then on the basis of this I could write $Z_4 \cong Z_2 \oplus Z_2 $ but we know that $Z_4 ...
1
vote
1answer
83 views

Fundamental Theorem of Abelian Groups

From fundamental theorem of finite abelian groups I can say any finite abelian group $G$ is isomorphic to direct sum of cyclic groups i.e, $G\cong Z_{{p_1}^{i_1}}\oplus Z_{{p_2}^{i_2}}\oplus ...
1
vote
0answers
21 views

Finite subgroups of $PSL(2,R)$

I know $PSL(2,R)$ is $SL(2,R)/SZ(2,R)$ and it is a simple group, but I do not have single clue how to get on finding its group presentation. How can I find its presentation and also I am looking for ...
3
votes
0answers
60 views

Reference Request: Group Theory via the Group Action Perspective

I am looking for a higher undergraduate or graduate level textbook that introduces group actions after groups just as many textbooks introduce modules after rings. I think the semigroup/semigroup ...
2
votes
0answers
30 views

p-group of class 2 with cyclic commutator subgroup

I was reading a paper "ON THE EXISTENCE OF NONINNER AUTOMORPHISMS OF ORDER TWO IN FINITE 2-GROUPS" you can get it from here. In Introduction page 2 He said "It is worth mentioning here that we need ...
1
vote
1answer
26 views

G's order is a multiply of coprime numbers, need to prove about its subgroups.

dont want you to answer me directly, only a direction of thinking. I have abelian $G$ of finite order $np : p>n, p>1,$ and p is prime. $A,B\le G$ are sub-groups of G of order $p$ both. I need ...
1
vote
1answer
25 views

Finding the number of defining equations of a group

The defining equations of a group are a set of equations involving the group's generators that determine the group's multiplication table completely. What I want to know is: Is the least number of ...
1
vote
0answers
27 views

$ G = MC $ for some cyclic subgroup $ C $. If $ \vert G : M \vert = 4 $ then why $ G \cong S_{4} $?

Let $ M $ is a maximal subgroup of finite group $ G $, that $ G = MC $ for some cyclic subgroup $ C $. If $ \vert G : M \vert = 4 $ and $ M_{G} = 1 $ then why $ G\cong S_{4} $?
4
votes
1answer
51 views

Abelian group and their subgroups

Is it true that If an abelian group has subgroups of order m and n respectively then it has a subgroup whose order is the least common multiple of m and n? If it is then can anyone explain it with a ...
2
votes
0answers
21 views

$G$ be a finite group and $G'$ be its commutator subgroup and $\widehat G$ be the character group of $G$ ; then $G/G' \cong \widehat G$?

Let $G$ be a finite group and $G'$ be its commutator subgroup and $\widehat G$ be the character group of $G$ ; then is it true that $G/G' \cong \widehat G$ ?
2
votes
1answer
59 views

Pretty easy equations of elements in a group

Problem $G$ is a group generated by $a,b\in G$ such that $a^5=e$, $aba^{-1}=b^2$ and $b\ne e$. I want to find the order of $b$. Attempt I tried to multiply the second equation from right by ...
1
vote
0answers
28 views

problem in frattini subgroup of a subgroup

is following statement is true? if it's not then what property G must have to it be come true Let H be a Subgroup of G then $\Phi(H)\le \Phi(G)$ $\Phi$ is represent frattini subgroup