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

learn more… | top users | synonyms (2)

-2
votes
1answer
31 views

If $ x^2=e$ for all $x\in G$ then $G$ must be

If $ x^2=e$ for all $x\in G$ then $G$ must be cyclic non-abelian abelian finite group.
0
votes
0answers
17 views

Show that in a finite group G or order n written multiplicatively the equation $x^m=e$ Has m solutions x in G for each positive m that divides n

I am having trouble understanding how to do this without using Lagrange theorem. I could really use some help here
0
votes
0answers
26 views

$G$ is the semidirect product of $U_n$ & $D_n$

Let $GL_n \Bbb R$ be the set of all invertible matrices of size n. Let $U_n$ be the set of upper triangular matrices with $1$'s on the diagonal and $D_n$ be the set of diagonal matrices with non-zero ...
0
votes
0answers
19 views

Notes about the ring of $p$-adic integers $\Bbb Z_p$

I'm studing profinte groups. I'm using Wilson's book "Profinite Groups". Here the ring of $p$-adic integers $\Bbb Z_p$ is introduced as inverse limit of rings $\Bbb Z/p^n\Bbb Z$. I'm searching for ...
1
vote
1answer
27 views

Consequence of Lemma: If G is abelian with exponent n, then $|G|\big\vert n^m$ for some $m\in N$

Lemma: If G is abelian with exponent n, then $|G|\big\vert n^m$ for some $m\in N$. Theorem to be proved: Suppose G is finite abelian and group of order m, let p be a prime number dividing m. Then G ...
2
votes
1answer
41 views

1) Show that $(\Bbb Z[\sqrt2]^*, .)$ is infinite.

1) Show that $(\Bbb Z[\sqrt2]^*, .)$ is infinite. 2) Classify $(\Bbb Z[\sqrt2]^*, .)$, where $\Bbb Z[\sqrt2]^*$ is the group of units of $\Bbb Z[\sqrt2]$ What I have done so far that for $a+b\sqrt2$ ...
0
votes
2answers
35 views

Every Two Element in A Coset

For every $a,b \in G$, $a,b \in cH$ for some maximal subgroup $H$ of $G$ and some $c \in G$. For what groups is the following property true? I know its true for $\mathbb{Z_m} \times ...
0
votes
1answer
22 views

Prove that $C_H(K)=N_H(K)$.

Let $H$ & $K$ be groups. Let $\phi$ be a homomorphism from K into $Aut(H)$. Identify $H$ & $K$ as subgroups of $G=H\rtimes_{\phi}K$. Prove that $C_H(K)=N_H(K)$.
0
votes
1answer
18 views

How to find orbits and isoropy group?

About this problem ${a}$, I am wondering if there are 5 orbits in $A$? The 5 orbits separately contain elements which 3 are all the same, 2 of 3 are the same and all 3 are different? I am confused ...
0
votes
2answers
47 views

Group $G$ such that there is a proper subgroup containing every other proper subgroup of $G$

Characterize all the groups $G$with the following property: There is a proper subgroup $H$ of $G$ such that $\forall S$ proper subgroup of $G$, $S \subset H$. I am pretty lost with this exercise. If ...
1
vote
0answers
20 views

Integral domain and ordered ring

I know that every ordered ring is an integral domain. Is it true that every ring that is an integral domain is also ordered? By ordered I mean for any $a \in R$, either $a = 0$ or $ a > 0$ or $a ...
2
votes
2answers
54 views

Prove that $n_p(N)$ divides $n_p(G)$

Let $N$ be a normal subgroup of $G$ where $G$ is finite group, then we have to prove $n_p(N)$ divides $n_p(G)$ ( here $n_p(G)$ means number of sylow $p$-subgroups of $G$) I was able to prove that ...
1
vote
1answer
16 views

Does the binary operation $m ⋆ n = m^n$ on N have a neutral element?

Does the binary operation $m ⋆ n = m^n$ on N have a neutral element? I said yes and it is 1 such that $m ⋆ e = m^e = m$ but apparently that is wrong
2
votes
1answer
22 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
29 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
16 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 ...
2
votes
1answer
20 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
30 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
27 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
30 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
29 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
33 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
44 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
55 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
54 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
58 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
29 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
35 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
82 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?
4
votes
0answers
52 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
35 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
52 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
61 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
26 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
27 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
39 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
40 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
42 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
31 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
18 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
48 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
56 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
51 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
73 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
27 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 ...