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)

4
votes
2answers
33 views

Elementary question in Group Theory with less prerequisite

Here I am posing a problem, which my beginning students of algebra were discussing for long time. Question: Without using theorem of Cauchy or Sylow, can we show that a group of order $15$ contains ...
0
votes
0answers
26 views

Is group theory a generalization of number theory

The applications of group theory are abound. Many mathematical objects are examined by associating groups to them and studying the properties of the corresponding groups. But number theory and Graph ...
5
votes
3answers
102 views

Number of ways to connect sets of $k$ dots in a perfect $n$-gon

Let $Q(n,k)$ be the number of ways in which we can connect sets of $k$ dots, in a given perfect $n$-gon, such that no two lines intersect at the interior of the $n$-gon. Intersection of the lines ...
4
votes
3answers
46 views

How to prove that $(G,*)$ is a group?

Let $G=\mathbb{R_0}\times\mathbb{R}$ where $\mathbb{R_0}=\mathbb{R}\setminus\{{0}\}$. Define operation $*$ on $G$ by $(a,b)*(x,y)=(ax,a^2y+b)$. I'd like to prove that $(G,*)$ is a group. ...
-2
votes
1answer
27 views

For any finite group $G$ and for any natural number $n$, does there exist a group $H$ such that $|H|=n|G|$ and $G$ is a normal subgroup of $H$?

For any finite group $G$ and for any natural number $n$, does there exist a group $H$ such that $\left\vert H\right\vert=n\left\vert G\right\vert$ and G is a normal subgroup of H?
0
votes
1answer
35 views

uniqueness of identity of a group G

The theorem for uniqueness of identity of a group says there is one identity element $e$ in a group and this element $e$ is unique. My book states the proof as follows: $a.e=a$ for all $a \in G$ and ...
0
votes
2answers
28 views

How to prove that $a^{|G|}=e$ if a $\in G $

How to prove that; $a^{|G|}=e$ if a $\in G $ if $G$ is a finite group and $e$ is its identity. I think this could be done through pigeonhole principle but I don't want to use the Lagrange ...
1
vote
2answers
93 views

Is every group isomorphic to some nontrivial quotient group?

For any group $G$, does there exist a group $H$ and a nontrivial normal subgroup $N$ of $H$ such that $H/N\cong G$?
0
votes
1answer
24 views

General question on notations when dealing multiplicative and additive modulo

One of the property for the requirement for a set to be a group is associativity. Under ordinary multiplication: $\large{a(bc)=(ab)c}$ Under ordinary addition: $\large{a+(b+c)=(a+b)+c}$ What ...
-2
votes
0answers
18 views

Is $\ker(nat_{H})=H$ a true statement? [on hold]

Is $\ker(nat_{H})=H$? $nat_{H}$ defines as $nat_{H}(a)=a*H$ I know what $ker$ and $nat_{H}$ are but I am not familiar with $\ker(nat_{H})$.
0
votes
2answers
60 views

Group with topology which is not topological group

What will example of a group $G$ with topology $\tau$ such that $f: G \to G$ such that $f(x) =x^{-1}$ and $g: G \times G \to G$ such that $g((x,y)) = x * y$ (where $*$ is binary operation on $G$) both ...
6
votes
3answers
441 views

Why is Rationals w.r.t addition not an Isomorphism to Rationals w.r.t. multiplication?

Question states: Recall the additive groups Z,Q and R, and the multiplicative groups Q* and R* of non-zero numbers. show that: (b) Q is not isomorphic to Q* (c) R is not isomorphic to R* I can see ...
0
votes
0answers
22 views

Frobenius Reciprocity and a character theory problem

How Frobenius Reciprocity can help us to solve these two problems: Let $ H $ be a subgroup with index $ m $ in the finite group $ G $. Let $ F $ be an algebraic closed field of characteristic $ 0 $. ...
0
votes
1answer
22 views

Do there exist nontrivial quotient groups of arbitrary finite order?

For any $n\in \mathbb{N}$, does there exist a group $G$ and a nontrivial normal subgroup $N$ of $G$ such that $\left\vert G/N\right\vert =n$?
0
votes
2answers
45 views

Is the set $SL(2, \mathbb F)$ an Abelian group?

For the set $SL(2,\mathbb F)$, where $\mathbb F$ are entries from either $$\mathbb{Q},\mathbb{R},\mathbb{C} \text{ or } \mathbb{Z}_p \text{ (p is prime)}$$ How should I start by checking this matrix ...
0
votes
2answers
135 views

Proving that the intersection of two subrings of R is also a subring of R

If $R_1$ and $R_2$ are both subrings of $R$ , how to prove that $R_1 \cap R_2$ is also a subring of $R$. here is my attempt (1) since $R_1$ is a subring of $R$ then it must contain zero (identity ...
2
votes
1answer
387 views

Normal subgroup of direct product of two groups

The following is an exercise from Rotman's book: an introduction to the theory of groups. Let $N$ be a normal subgroup of $H\times K$. Show that either $N$ is abelian, or $N\cap H\neq 1$, or $N\cap ...
1
vote
1answer
25 views

Complex numbers modulo integers

Is there a "nice" way to think about the quotient group $\mathbb{C} / \mathbb{Z}$? Bonus points for $\mathbb{C}/2\mathbb{Z}$ (or even $\mathbb{C}/n\mathbb{Z}$ for $n$ an integer) and how it relates ...
1
vote
1answer
35 views

When does $ \langle gI, t \rangle = \langle I, g^{-1} t\rangle $ hold true?

Consider $I, t \in \mathbb{R}^d$ and $g$ is some element in a group of transformations (for example like the affine group in $\mathbb{R}^2$). I was wondering when the inner product $ \langle gI, t ...
1
vote
1answer
30 views

How is a symmetric group the subgroup of the group of isometries of three-dimensional space?

So I have this question to solve. I've already shown that the group of rotations of a cube is isomorphic to $S_4$. I need to prove that these two groups are not conjugate when considered as subgroups ...
0
votes
0answers
62 views

Prove that these are not pairwise isomorphic

Prove $\mathbb Z_s$, $G_s$ (the group of symmetries of the square) and the quaternion group $Q$ are not pairwise isomorphic. How would you go about proving. Seems quite difficult. I know that none of ...
1
vote
0answers
59 views

About the elements of Dihedral Group.

I have some difficulties finding the elements of Dihedral Group $D_8$ (note that the order $|D_8|=8$). I know the geometric approach for defining $D_8$, but I prefer the algebraic way. In this case, ...
0
votes
1answer
63 views

$g$ has order $n$, then $\langle g\rangle=\langle g^2\rangle=\cdots=\langle g^{n-1}\rangle$

If $g$ has order $n$, then $\langle g\rangle=\langle g^2\rangle=\cdots=\langle g^{n-1}\rangle$. This should be fairly easy but somehow I just couldn't prove it. I only managed to prove the case ...
0
votes
1answer
48 views

Why not isomorphic?

Need to show why $(S_7,\circ)$ is not isomorphic to $(\Bbb Z/100\Bbb Z,+)$. I think it might have something to do with Abelian, but I'm not sure.
-1
votes
2answers
44 views

Subgroups/Normal [closed]

Given that $G=(S_3,\circ)$ and $H=\langle(2~1~3)\rangle$. I have to show that $H$ is not a normal subgroup of $G$. I am a little lost outside of showing that right and left cosets don't match.
-1
votes
1answer
28 views

If $|G| = pqr$ for $p<q<r$ primes and all the Sylow groups are normal; is $G$ abelian? [on hold]

Let $G$ be a group with $|G| = pqr$ for distinct primes $p<q<r$. If every Sylow subgroup of $G$ is normal, then is $G$ Abelian? Thank you in advance.
2
votes
2answers
60 views

Is group $G$ must abelian, when some condition is given by using exact sequence?

Suppose we are given the following exact sequence of groups where $A$ is an abelian normal subgroup of $G$: $$1 \rightarrow A \rightarrow G \rightarrow Q \rightarrow 1\tag{E}$$ If $G$ is Abelian, ...
2
votes
1answer
61 views

Group presentation of Integers $\big(\mathbb{Z,+}\big)$

I can't understand how is it possible to represent the group $(\mathbb{Z},+)$ as follows $$\mathbb{Z} = \big<a\big>$$ with only one generator and no relations ? How can there be no relations ...
3
votes
2answers
73 views

Show that the rings $2\mathbb{Z}$ and $3\mathbb{Z}$ are not isomorphic.

Here I am under the impression that $2\mathbb Z$ and $3\mathbb Z$ are the sets of even numbers and multiples of $3$ respectively and the operations are usual addition and multiplication. This is an ...
-5
votes
0answers
60 views

What are $S_{n}$ and $A_{n}$ in group theory? [on hold]

What are $S_{n}$ and $A_{n}$ in group theory, and is $[S_{4},A_{4}]=4$? I know that $S$ has to do with permutations, but I am not sure if thats right. Thanks,
1
vote
1answer
44 views

all of subgroups of group

Is the way to gust that in finite group how many subgroup of same order?I ask this question because when draw the lattice diagram of subgroups of group sure that all of them describe. Thanks for hint
1
vote
0answers
79 views

verify that the set $\{0,1,2,3\}$ is not a group under multiplication modulo $4$

Given the set $\{0,1,2,3\}$: -Associativity holds for this set -Closure holds for this set (constructing the Cayley table, all entries in the tables are in this set). -there is an identity element ...
-1
votes
1answer
38 views

Determine if $(((13)),\circ)$ is a normal subgroup of $(S_{3},\circ)$ [on hold]

Let $((13))$ denote the group generated by $(13)$. Is $(((13)),\circ)$ a normal subgroup of $(S_{3},\circ)$? Also is $(((123)),\circ)$ a normal subgroup of $(S_{3},\circ)$? I have just started ...
2
votes
4answers
41 views

GCD's and how they generate groups

I was reading something today an it was talking about $U_{15}$, all the integers relatively prime to 15, and how it was generated by the set {7,11}. I understood it all, but I thought that if the ...
2
votes
1answer
31 views

Number of elements in Hom$(S_n,\mathbb{C})$

Hox can I determine the number of elements in Hom$(S_n,\mathbb{C})$ for $ n\geq 1$? I thought maybe I can use the thesis that for a normal subgroup $N\subset G$, and a subgroup $H\subset G$, there ...
-2
votes
1answer
32 views

Properties of homomorphisms

I have some problems in how to prove these: Let $f$ be homomorphism from group $G$ to a group $N$. Prove the following: $k\le G$ iff $f[k]\le N$ $f$ is onto iff range of $f =N$ $f$ is one-to-one ...
1
vote
1answer
23 views

Commutator and upper-lower centers question

Let $H$ be a normal group of a group $G$. $H$ is a subgroup of the $k$-th lower center $\gamma_k(G)$. I have a relation like the following $$ [H,G,G,\dots, G] = 1 \qquad (n\; \text{times} \; G) $$ but ...
1
vote
0answers
19 views

A question and a conjecture on $USp(N)$ group

$USp(N)$ with $N$ an even integer is defined as the group of unitary matrices $M$ that satisfy $M^TJM=J$, where $M^T$ is the transpose of $M$ and $J$ is the anti-symmetric $N$-by-$N$ matrix ...
2
votes
1answer
58 views

invariant measure on a quotient of a topological group

Suppose I have a locally compact topological group, $G$, and a closed subgroup $H\leq G$. Suppose $\Delta _G|_H = \Delta_H$ where the $\Delta$ are the modular functions on $G$ and $H$. How can I see ...
0
votes
1answer
50 views

How many non-isomorphic groups of order 122 are there?

How many non-isomorphic groups of order 122 are there? Let $G$ be a group of order 122.No of Sylow 61 subgroups of order 61=1 and hence it is normal say it is $H$. No. of Sylow 2 subgroups of order ...
3
votes
1answer
57 views

Is there a group homomorphism $f:G\longrightarrow G$ for which $G/\operatorname{Im} f \not\cong\operatorname{Ker} f$? $G$ is finite

Can you find a counterexample to the claim that for all group homomorphisms $f:G \longrightarrow G$, $G/\operatorname{Im} f \cong \operatorname{Ker} f$. Let $G = \mathbb{Z}$; $f(n) = 2n$ is a ...
2
votes
3answers
232 views

Let $G$ be a group of order $2p$ , where $p$ is a prime greater than $2$. Then, G is isomorphic to $\mathbb{Z}_{2p}$ or $D_p$

Let $G$ be a group of order $2p$ , where $p$ is a prime greater than $2$. Then, G is isomorphic to $Z_{2p}$ or $D_p$ . Gallian gives a proof as follows : They prove that G = $\langle a \rangle ...
1
vote
1answer
33 views

Group of order 10 has an element of order 5, without using Cauchy's or Sylow's theorems

This is almost a duplicate of the following questions (but, read further): Group of order $63$ has an element of order $3$, without using Cauchy's or Sylow's theorems Show any group of order ...
-2
votes
1answer
54 views

Let $G$ a finite group with order of $2p$, where $p > 2$ is prime. given that there's $a \in Z(G)$ such that $o(a) = 2$. Prove: $G$ is abelian. [duplicate]

Homework question: Let $G$ a finite group with order of $2p$, where $p > 2$ is prime. given that there's $a \in Z(G)$ such that $o(a) = 2$. Prove: $G$ is abelian. Can you give me some hints ...
3
votes
1answer
23 views

Generating Constrained Random Distributions

I am trying to help another StackExchange user. We are attempting to fill a 6x6 matrix with 12 A's, 12 B's, and 12 C's subject to the constraint that each row contains 2 A, 2B and 2 C and each column ...
4
votes
1answer
91 views

If the action is free, is it necessarily a covering space action?

Suppose a group $G$ acts simplicially on a $\Delta$-complex $X$, where "simplicially" means that each element of $G$ takes each simplex of $X$ onto another simplex by a linear homeomorphism. If the ...
-1
votes
0answers
30 views

Prove that if $G/Z(G)$ is isomorphic to $\mathbb{Z}_3 ×\mathbb{Z}_3$, then $G$ is isoclinic to an extraspecial group of order $27$. [on hold]

Let $G$ be a non-abelian group. Prove that if $G/Z(G)$ is isomorphic to $\mathbb{Z}_3 ×\mathbb{Z}_3$, then $G$ is isoclinic to an extraspecial group of order $27$.
2
votes
0answers
51 views

Relation between the characters of subgroups of a finite group

Let $ H $ and $ K $ be subgroups of a finite group $ G $. Let $ \chi_1(H) $ and $ \chi_1(K) $ denote the trivial characters of $ H $ and $ K $ over an algebraically closed field of characteristic $ 0 ...
0
votes
0answers
26 views

Principal congruence subgroup index in $SL(2,\mathbb{Z})$

Why has the principal congruence subgroup, \begin{equation} \Gamma(N)~=~\Bigg\{\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in SL(2,\mathbb{Z})~|~a\equiv d\equiv 1 ~\text{és}~ b\equiv c\equiv ...
0
votes
0answers
42 views

transitivity of induction

I want to prove the "transitivity of induction" property: Let $ H\leq K\leq G $ where $ G $ is finite. Let M be an $ FH $-module, where $ F $ is any field. Then $ (M^K)^G\simeq^{FG} M^G $. Would you ...