The study of symmetry: groups, subgroups, homomorphisms, group actions.

learn more… | top users | synonyms (2)

1
vote
1answer
16 views

Group of order $|G|=pqr$, $p,q,r$ primes has a normal subgroup of order

Let $p,q,r$ be positive primes, $p<q<r$, and let $G$ be a group with $|G|=pqr$. Show that there exists a normal subgroup $H$ of $G$ of order $qr$. I've seen this post Groups of order $pqr$ and ...
1
vote
0answers
18 views

Give a $H\le SL_{2}(\Bbb Z_p)$ such that $|H|=q$

Consider $SL_{2}(\Bbb Z_p)$ if q & p be two primes, $p>q$. Give an example of a subgroup $H\le SL_{2}(\Bbb Z_p)$ such that $|H|=q$ when i) $q|(p-1)$ ii) $q|(p+1)$
0
votes
0answers
8 views

Conjugacy classes in non-solvable group

Suppose $A$ is an arbitrary subset of group $G$ and $K_G(A)$ be the number of $G$-conjugacy classes contained in $A$. Also suppose $G$ non-solvable group, $N\unlhd G$, $G/N$ is abelian, $|G/N|=6$ and ...
1
vote
1answer
15 views

Elementary abelian $p$-group

How can we show that if $N$ is abelian and $C_G(N)=N$, then $N$ is an elementary abelian $p$-group for some prime $p$?
1
vote
1answer
25 views

Classification of groups of order $p^2q$

I have done the classification of groups of order $p^2q$, where $p>q$. $p,q$ odd distinct prime If $P\in Syl_{p}(G)$ & $Q\in Syl_{q}(G)$ then Case $1$: $P=\Bbb Z_{p^2}$. I have done. But my ...
0
votes
0answers
19 views

Conjugacy classes in non-abelian simple group

Can we say that every non-abelian simple group has at least 4 non- identity classes?
0
votes
1answer
27 views

Separating invariant of a group action

Let $G = (\mathbb{R},+)$ be a group, $M = \mathbb{R}^2$, $$\omega \colon \mathbb{R}\times\mathbb{R}^2\to \mathbb{R}^2, \quad \left(t, (x,y)\right) \mapsto(x+t,y-2t)$$ and $$\iota \colon\mathbb{R}^2 ...
1
vote
1answer
25 views

Operations on power set

Which kind of operations on a power set leads to a group/monoid? Known to me are: - intersection - union - symmetric difference - complex product of a group Ate there some more examples?
0
votes
0answers
28 views

Is classification Groups G'=G^2=[G,G'] have been done? [on hold]

OK. Suppose that G be a finite group such that the first derivation Of G, i.e., G' equals to commutator G and G' i.e., [G,G'], which we denote with G^2=[G,G']. What can be said about this group?
1
vote
1answer
34 views

Isomorphism classes of abelian groups of certain order

working on a practice question about finite abelian groups and just want to see if I am on the right track: Let $H = <(123)(4567),(8\space 9)(10\space 11),(8\space 11)(9\space 10) > \space ...
-2
votes
2answers
54 views

Does there exist a group in which this property does not hold? [on hold]

Let $g, h \in G$ is there a group where $(gh)^n \neq g^nh^n$?
5
votes
0answers
48 views

Isomorphism group between $\mathbb R$ and one of it's propre subgroups.

Is there a subgroup $H$ of $(\mathbb R,+)$ such that $H \neq \mathbb R$ and $H \simeq \mathbb R$ as groups?
2
votes
1answer
52 views

Why is the dihedral group closed under composition?!

I've been obsessing over this all day now. I understand associativity, presence of inverse elements and identity, but I don't get why a composition of a reflection with a rotation or other reflexions ...
0
votes
0answers
28 views

Semi direct product

Prove that (i) $GL_n(R)= \coprod_{w\in S_n} UwB$ where $w \in S_n$ is a permutation matrix. and $U$ is a subgroup of $GL_n(R)$ consisting of upper triangular matrices with diagonal entries $1$ and ...
1
vote
2answers
32 views

Subgroups and justification

Which of these subsets are subgroups of the given group and justify your answer. The group $R^+$ of postive reals under multiplication. The subset $H=(3n|$ $n\in Z^+)$. The group of nonzero ...
1
vote
2answers
77 views

Are all torsion groups finite groups?

Are all torsion groups finite groups? I've been trying to find a counter example, but have had no luck so far. Can anyone throw me one, or give me an idea to prove this?
3
votes
0answers
49 views

How often are Galois groups equal to $S_n$?

Let $\mathbb{Z}[x]_n$ be the set of polynomials in $\mathbb{Z}[x]$ of degree at most $n$. Then, consider some sensible increasing filtration $$A_0 \subset A_1 \subset A_2 \subset \cdots$$ of ...
0
votes
1answer
32 views

Groups of Order 2 with subgroups

Let G be an abelian group and $a,b\in G$ be two distinct elements with a and b or order $2$. Show that $H=\{e,a,b,ab\}$ forms a subgroup and write out its multiplication table. Justify why all the ...
1
vote
2answers
46 views

On infinite groups with unique minimal subgroup

Let $\operatorname{Sub}(G)$ be the lattice of all subgroups of an infinite (abelian) group $G$. If $\operatorname{Sub}(G)\setminus\{\{1\}\}$ has a minimum element which is a cyclic subgroup of prime ...
2
votes
1answer
59 views

Presentation of a group: Show that $\langle a|a^2\rangle =\{1,a\}$.

Example: $\langle a|a^2\rangle=\{1,a\}$. After reading the definition of presentation of a group, I find myself cannot understand the above example given. I don't know which part of the definition I ...
0
votes
1answer
23 views

When can a group be decomposed into a direct product of smaller groups?

Is there any general condition that a group must satisfy in order to be decomposable into a direct sum or product of smaller groups? And what happens if one replaces 'direct product' with semi-direct ...
0
votes
0answers
25 views

Definition of $p$-supersolvable groups

"A group is said to be $p$-supersolvable if it is $p$-solvable and every $p$-chief factor has order $p$." Is this an accurate definition of $p$-supersolvable groups?
1
vote
1answer
36 views

Solvability of a group

What is the intuition behind the solvable groups? It is defined by composition series. Is there any intuitive way to understand it?
2
votes
1answer
39 views

On a finite group with unique minimal subgroup

EDIT: Let $G$ be a finite group with a unique minimal subgroup. Then we know that $G$ is a $p$-group. Let $p\neq2.$ Is it true that every subgroup $H\le G$ and every quotient $G/N$ have a unique ...
4
votes
0answers
40 views

Counting the number of elements in a double coset

Let $G$ denote the groups of $n\times n$ invertible matrices and $H$ be the subgroup of invertible upper triangular matrices. For $n=2$, by row reduction, or equivalently LU decomposition, it is ...
1
vote
1answer
30 views

Sylow subgroups of a non abelian group $G$ with $|G|=21$ and $|G|=39$

I am trying to solve the following exercise: ¿How many Sylow subgroups has a non abelian group $G$ of order $21$ and $39$ respectively. I could do the following: a) $|G|=21=3\cdot 7$. I'll call ...
0
votes
2answers
50 views

Definition of “the same”

Given a subgroup H of a group G such that $g^{-1}hg \in H$ for all $g \in G$ and all $h \in H$, I need to show that every left coset gH is the same as the right coset Hg. In the context of this ...
2
votes
1answer
58 views

Classification of subgroup of $\mathbb{Z}^n$.

Fix an integer $n\geq 2$, can we list all subgroups of $\mathbb{Z}^n$?
1
vote
1answer
27 views

Cycles of odd length: $\alpha^2=\beta^2 \implies \alpha=\beta$

Let $\alpha$ and $\beta$ be cycles of odd length (not disjoint). Prove that if $\alpha^2=\beta^2$, then $\alpha=\beta$. I need advice on how to approach this. I recognized that $\alpha,\beta$ are ...
0
votes
1answer
16 views

Groups and U27 double check

This is just a quick question. The Group U$_{27}$=$(1,2,3,5,7,11,13,17,19,23)$ right? Or am I just very wrong here?
1
vote
2answers
47 views

Proofread my work: Expressing generators of a cyclic group

The following question comes from Serge Lang's Undergraduate Algebra(pg. 26, 3rd edition). I just learnt the concept of groups and subgroups and I spent an hour or so on tackling part (b) of this ...
0
votes
1answer
23 views

Exercise on generated subgroup

Let $G$ be a finite group and $H\leq G$, $H$ cyclic. If $x \in C_{G}(H)\smallsetminus H$ then $<x,H>$ is abelian. How to prove that $<x,H>$ is also cyclic?
1
vote
1answer
27 views

Conditions for a finitely generated group with finite ordered generators

What are the conditions for a finitely generated group $G$ with finite ordered generators say $a_1, a_2,...,a_n$ to be finite? Note:I know that if $G$ is abelian, then it is finite. Are there any ...
1
vote
1answer
54 views

Prove that if $g^{n} \in H$, n divides |g|

Let H be a subgroup of a finite group G. Suppose that g belongs to G and n is the smallest positive integer such that $g^{n} \in H$. Prove that n divides |g|. I couldn't get anywhere with this ...
0
votes
1answer
49 views

Non-isomorphic groups

How to prove that $Z/2\times Z/2$ and $ Z/4$ are not isomorphic? I think that $Z/2\times Z/2$ is not cyclic. Hence $Z/2\times Z/2$ and $ Z/4$ are not isomorphic. Thank you.
2
votes
2answers
71 views

Showing if $G$ is a group then the centralizer of an element is a subgroup

Given: Let $G$ be an arbitrary group, and let $a\in G$. The centralizer of $a$ is defined as $$C(a)=\{x\in G: xa=ax\}.$$ Question: Show that if $G$ is a group and $a\in G$, then $C(a)$ is a subgroup ...
3
votes
0answers
25 views

Restricting a representation to a subgroup

This little factoid from algebra quals stumped me: Let $G$ be a finite group and $H \triangleleft G$ an index $2$ subgroup. If we take an irreducible complex representation $V$ of $G$ and restrict it ...
1
vote
1answer
65 views

Showing associativity holds over n elements

Say we have a set $X$, with an associative binary operator $*$. How can we show that for any string $x_1 x_2 \ldots x_n$, when we insert brackets or the operation $*$, we will always get the same ...
0
votes
1answer
26 views

Equivalent actions with normalizing element

Suppose $x \in G$, $G$ a group, $H$ a subgroup of G, and $G$ acts on a set $X$. Then if $x$ normalizes $H$, I know that we can say that $x$ permutes the orbits of $H$ on $X$. How can we prove that ...
1
vote
1answer
44 views

Normal subgroup and index problem

Let $G$ be a group and let $N$ be a normal subgroup of $G$ of finite index. Show that if $H$ is a finite subgroup of $G$ whose order is coprime with $[G:N]$, then $H$ is a subgroup of $N$. I don't ...
2
votes
2answers
25 views

algorithm to find the order of $a$ in $(\mathbb{Z}/n\mathbb{Z})^*$ where $n$ is not prime.

algorithm to find the order of $a$ in $(\mathbb{Z}/n\mathbb{Z})^*$ where $n$ is not prime. Now I know a naive algorithm where you just keep multiplying $a$ by itself until you find it equals $1 \mod ...
0
votes
0answers
14 views

Study the associative and commutative properties and neutral and inverse elements of these groups

Group m*n = max(m,n) on Z and N So i showed its associative by m,n,p in Z and (m*n)*p = max(m,n)p =max(m,n,p) And m(n*p) = m*max(n,p) = max(m,n,p) Commutative m*n = max(m,n) and n*m = max(n,m). I ...
1
vote
1answer
29 views

Index of center $Z(G)$ is finite implies the number of elements of conjugacy class is finite

Exercise Let $G$ be a group such that its center $Z(G)$ has finite index in $G$. Show that every conjugation class has finite elements. I don't know how to attack the problem. I thought the ...
2
votes
1answer
26 views

Short exact sequence with binary tetrahedral group does not split

The following is a short exact sequence, where $T$ is the binary tetrahedral group (equivalently the Hurwitz units), and $Q$ is the quotient of $T$ by $\mathbb{Z}/2$. $1 \rightarrow \mathbb{Z}/2 ...
5
votes
4answers
648 views

Associative law is not self evident

The statement: "It is important to understand that the associative law is not self-evident; indeed, if $a*b=a/b$ for positive numbers $a$ and $b$ then, in general, $(a*b)*c\ne a*(b*c)$." - p. 3, A. ...
5
votes
2answers
72 views

Doubt about isomorphic groups!

Let $G$ and $H$ be two isomorphic groups.According to my present knowledge,both $G$ and $H$ have same properties and need not be distinguished.But my book says that $G$ and $H$ can behave differently ...
1
vote
0answers
16 views

(Proof-Strategy) Showing that the order of an element in the symmetric group is the least common multiple of the cycle lengths.

This question is not looking for a proof. I just want to make sure my proof-strategy makes sense and could be used to prove the following statement: Prove that the order of an element in $S_n$ ...
0
votes
1answer
21 views

Generating sets of the free group $F_k$ on $k$ generators [duplicate]

Is it true that the free group $F_k$ on $k<\infty$ generators requires at least $k$ elements to generate. I.e. does every set which generates $F_k$ have cardinality at least $k$?
1
vote
4answers
51 views

To which group is this presentation isomorphic?

$$\left\langle x_1, x_2, x_3 \,\Big\vert\, x_1^2, x_2^2, x_3^2, (x_1 x_3)^2, (x_1 x_2)^2, (x_2 x_3)^2 \right\rangle$$ is a group presentation. Could anyone tell me what does this presentation stand ...
-1
votes
0answers
25 views

Book for practice [on hold]

Tell me books only for practice 1. Real analysis 2. Abstract algebra 3. Complex analysis I want to do only exercise For theory purpose I have so many books