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)

3
votes
2answers
20 views

Is there a finite abelian group $G$ such that $\textrm{Aut}(G)$ is abelian but $G$ is not cyclic?

Is there an example in which $G$ is a finite abelian group and $\textrm{Aut}(G)$ is abelian but $G$ not cyclic?
2
votes
1answer
22 views

A normal subgroup so that any homomorphism into a $p$-group is trivial on it.

Problem Let G be a finite group of order $n$ and $p|n$. Show that there is a unique normal subgroup $N$ satisfying the following property: (1)$G/N$ is a $p$-group (I guess it can be trivial group). ...
1
vote
3answers
31 views

A finite group which has a unique subgroup of order $d$ for each $d\mid n$.

Problem Suppose G is a finite group of order $n$ which has a unique subgroup of order $d$ for each $d\mid n$. Prove that $G$ must be a cyclic group. My idea: I try to prove it by induction. Let ...
1
vote
1answer
23 views

Natural action of $S_n$ on $\{ 1,2,\dots,n \}$

From reading online the "natural" action of $S_n$ on $\{ 1,2,\dots,n \}$ is $(g,x) \mapsto gx$. How is this action transitive? As far as I can see if we take $g$ to fix some element we will not get a ...
0
votes
1answer
25 views

Coproduct of groups explanation

Could someone please explain the following? "Let $G=\prod G_{i}$ be a direct product of groups. Then each $G_j$ admits an injective homomorphism into the product, on the j-th component, namely the map ...
-1
votes
1answer
51 views

Is $O(n)$ normal in $GL(n)$?

Is the orthogonal group $O(n)$ normal in $GL(n)$? Here is what I did so far: Let $Q\in O(n),S\in GL(n)$ we want to check if $S^{-1}QS\in O(n)$: $(S^{-1}QS)^T=(S^{-1}QS)^{-1}\iff ...
1
vote
2answers
26 views

Is this a correct way to think about specific examples of groups using the category theory definition?

I'll say now, before anything else, that I probably don't know what I'm talking about. This is more me making a (hopefully) educated guess about a topic I'm not too familiar with. I recently started ...
-1
votes
1answer
25 views

Center of group of a dihedral group

An example from my text ask to verify this: $$Z(D_{n})= \begin{cases} {R_{0},{R_{180}}} & \text{when n is even}\\ {R_{0}} & \text{when n is odd}\end{cases}.$$ How should I begin to verify ...
1
vote
1answer
32 views

Proof that if $H_1 \leq G$ and $H_2 \leq G$ then $H_1 \cap H_2 \leq G$

I am trying to prove that Prove that if $H_1 \leq G$ and $H_2 \leq G$ then $H_1 \cap H_2 \leq G$ Unlike this question: Prove $H_1 \cap H_2 \le H_1 $ when $H_1, H_2 \le G$ and $H_1$, $H_2$ are ...
2
votes
1answer
21 views

Can every torsion-free nilpotent group be ordered?

I know that a torsion-free abelian group can be ordered and have done two proofs for that too. But the next two question that popped up in my mind were- Can every torsion-free nilpotent group be ...
0
votes
1answer
43 views

What is orthogonal group $O(1)$?

I know that $O(2)$ is the group of 2x2 orthogonal matrices, but how can we extend the meaning of group and orthogonal to $O(1)$?
3
votes
1answer
38 views

Is the left translation $T_a(x) =ax $ a homomorphism?

I apologize if this is a super basic question but I was reading Lang's undergraduate algebra book and it says that the following function is a homomorphism: $$T_a(x) = ax$$ The way I would check if ...
1
vote
0answers
32 views

If $G$ and $H$ are groups, prove that $(G \times H, x)$ is a group.

Prove that, if $(G,\ast)$ and $(H,\bullet)$ are groups, then the Cartesian Product $G \times H$ with the operation $(g_1,h_1) \circ (g_2, h_2) := (g_1 \ast g_2, h_1 \bullet h_2)$ $(G \times H, ...
0
votes
1answer
13 views

Order of Hom$(D_n,\mathbb{C}^*)$

What is the order of Hom$(D_n,\mathbb{C}^*)$? I know that $D_n/[D_n,D_n]$ is isomorphic with $\{\pm 1\}$ if n is odd and isomorphic with $V_4$ if n is even. And I know that $\#D_n=\#D_n/[D_n,D_n]$. ...
0
votes
1answer
40 views

Specific topological example of Nielsen-Schreier theorem

I'm assuming that the following question should be basically trivial, and that I'm just misunderstanding something basic, but some clarification would be much appreciated. There is a section in my ...
2
votes
2answers
40 views

Proof that $n\Bbb Z \leq \Bbb Z$ and are the only subgroups of $\Bbb Z$

My challenge is Prove that if $n = 0,1,2,\ldots$ and $n\Bbb Z = \lbrace nk: k \in \Bbb Z \rbrace$, show that $n\Bbb Z$ is a subgroup of $\Bbb Z$ and are the only subgroups. I handled the first ...
1
vote
0answers
17 views

Reference Request : Quotients of nilpotent groups which are torsion free

I am currently writing my thesis and looking for a reference (or a short proof) to the following fact: Let $N$ be a finitely generated nilpotent group, and denote its central series by ...
1
vote
1answer
46 views

Is there a term describing an almost-group without closure?

(Background: I'm working on a dissertation in music theory that involves group theory in a small way, but it's mostly out of my element.) I'm working with the group $\mathbb{Z}_8$, but I'm wondering ...
1
vote
2answers
13 views

Proof of the right and left cancellation laws for Groups

I was asked to proof the right and left cancellation laws for groups, i.e. If $a,b,c \in G$ where $G$ is a group, show that $ba = ca \implies b=c $ and $ab = ac \implies b = c$ For the first ...
1
vote
1answer
26 views

How can you tell if a normal subgroup induces a semidirect product?

Suppose I have some (finite) group $G$ and a normal subgroup $N$. I know there's no full characterization of whether $G \cong N \rtimes G/N$, but are there well-known tests I can use to answer the ...
2
votes
1answer
21 views

If a finite $p-$ group has only one composition series show that it is cyclic

If a finite $p-$ group has only one composition series show that it is cyclic. What I tried: Let $G$ be a finite p-group .Then $|G|=p^n$ for some $n$ .Now every group of order $p^{n-1}$ is normal in ...
2
votes
1answer
20 views

Proof that $N=\langle \{g^2\}\rangle$ normal

How do I prove that for a group $G$ and a subgroup $N$ that is generated by $S=\{g^2: g\in G\}$, that $N$ is normal? Also: how do I know then that $G/N$ is abelian?
-1
votes
2answers
33 views

Is the subgroup of a non-abelian group is non-abelian?

Is the following statement always true Subgroup of a non-abelian group is non-abelian
3
votes
2answers
50 views

Proving that disjoint unions of presentations are coproducts of groups

I'm working through Aluffi's Algrebra: Chapter 0 and I need some assistance with an excercise. Aluffi, Ex. II.8.7 Let $(A|R)$, resp. $(A'|R')$, be a presentation for a group $G$ in Grp, resp. ...
4
votes
1answer
46 views

Classifying groups of order 18

I am trying to classify groups of order 18. So far, I have shown that a group $G$ of order 18 is given by $G\cong C_9 \rtimes_{\varphi} C_2$ or $G\cong (C_3 \times C_3)\rtimes_{\varphi} C_2$. If ...
0
votes
0answers
50 views

Showing conjugacy between the Tent Map and another

" Show that the tent map: xn+1 = 1 - |1 - 2xn| is a conjugate to the map defined as follows: θn+1 = Nnθ0 mod1 also: xn = sin2[π*θn] and θ0 = π-1arcsin[x01/2] " I'm really struggling to show ...
1
vote
0answers
6 views

How can Clebsch-Gordan Decompositions be combined?

In section 4 of this paper the authors use a given list of Clebsch-Gordan coefficents for the $27 \otimes 27$ of $E_6$ from an old paper and combine it with their own list of Clebsch-Gordan ...
7
votes
1answer
66 views

Groups with finite automorphism groups.

An easy argument shows that for any finite group $G$ the cardinal of $Aut(G)$ is less than $(|G|-1)!$. In particular the automorphisms group of a finite group is finite. Basically my question is about ...
2
votes
2answers
49 views

Proof that $a\mid x, b\mid x, \gcd(a,b)=1 \implies (ab)\mid x$

I need to prove that: $$a\mid x, b\mid x, \gcd(a,b)=1 \implies (ab)\mid x$$ What I thought was: $$a\mid x \implies x = aq_1\\b\mid x\implies x = bq_1$$ Also, since $\gcd(a,b) = 1$, we have that ...
2
votes
1answer
23 views

Proof that there exists an $x \in G$ such that $xa = b$

So this is my challenge: Let $G$ be a group and $a,b \in G$. Then $xa = b$ has a unique solution I went about saying that $xa = b \iff xaa^{-1} = ba^{-1} \iff x = ba^{-1}$. $ba^{-1} \in G$ ...
0
votes
3answers
105 views

What is the intuition behind the definition of the kernel of a homomorphism

I was starting to study some algebra (groups and homomorphisms in particular) and came across the definition of the kernel (for a group-homomorphism $f:G \rightarrow G'$): $$\ker(f) = \{ x \in G \mid ...
-1
votes
1answer
103 views

What is the mathematical difference between group and category?

This question is quite similar to the following link: Why learn Category Theory in order to study Group Theory? The above link is nice but I could not find the difference mathematically between ...
2
votes
1answer
30 views

Is there any cyclic subgroup of order 6 in in $ S_6$?

Is there any cyclic subgroup of order 6 in $ S_6$? Attempt: $|S_6|=6!=720$ Let $H$ be a subgroup of $S_6$ ,$H$ cyclic $\iff\langle H \rangle=\{e,h,h^2,...,h^{n-1}\}=S_6$
1
vote
1answer
49 views

Find the Subgroup of $\mathbb Z_4 \times \mathbb Z_2$ (Joseph A. Gallian - Exercise - 8.22)

Find the Subgroup of $\mathbb Z_4 \times \mathbb Z_2$ that is not the form of $ H \times K$, where $H$ is a subgroup of $\mathbb Z_4$ and $ K$ is a subgroup of $\mathbb Z_2$ Order ...
2
votes
2answers
57 views

Finite groups whose non-trivial elements have no fixed points

(I first asked this question on MathOverflow, but was recommended to ask here at Mathstackexchange instead.) I am interested in finite groups $G$ acting on a finite set $X$ with the following ...
0
votes
0answers
20 views

Finite groups whose non-trivial elements have no fixed points [duplicate]

I am interested in finite groups $G$ acting on a finite set $X$ with the following property: (*) fix(g)=$\emptyset$ for all $g\in G\setminus\{1\}$, where fix(g):=$\{x\in X|gx=x\}$ denotes the set ...
2
votes
2answers
32 views

$H,N(H)$ are subgroups of $G$ show that $H\lhd N(H)$

Let $G$ be a group and $H$ subgroup of $G$, $N(H):=\{g\in G; gHg^{-1}=H\}$ $N(H)$ is also subgroup of $G$. I need to prove that $H$ is a normal subrgoup in $N(H)$ Attempt: $H\lhd N(H) \iff ...
0
votes
1answer
46 views

A singleton set $\{g\}$ can be regarded as a unary relation in $G$. Why?

Theorem 1.1. A relation $R \subseteq M^n$ is definable if and only if every automorphism of every elementary extension of $M$ preserves $R$. For a proof, the reader can see [4]. Suppose we ...
-1
votes
2answers
41 views

Proving each automorphism of a group $G$ fixes a normal subgroup of order $p^n$ if $p\nmid\frac{|G|}{p^n}$

I have been going through Herstein's Algebra and came across this problem: "$G$ has order $p^{n}m$ where $p$ is a prime, $p$ doesn't divide $m$. Suppose $G$ has a normal subgroup $P$ of order $p^n$. ...
1
vote
1answer
33 views

'Large' closed subgroup

I am working through a paper in the field of differential geometry (Yang-Mills theory) and the author writes: 'We assume the Riemannian manifold $(M,h)$ admits a large closed subgroup $K$ of the ...
2
votes
1answer
28 views

The abelian group of smallest order and smallest non prime integer n divides |G| but G doesn't have an element of order n?

I don't know how to think of an example. What's an example of such a group. It doesn't make sense to me because if it is a finite abelian group, it can be written as a direct product of the integers ...
2
votes
3answers
54 views

How is $\lbrace a_1, a_2, …, a_n : a_i \in \Bbb Z_2\rbrace$ a group?

I was asked to prove that if we define \begin{equation*} \Bbb Z_2^n = \lbrace a_1, a_2, ..., a_n : a_i \in \Bbb Z_2\rbrace \end{equation*} then it's a group under the operation of addition like ...
3
votes
2answers
28 views

Show that $N(H):=\{g\in G; gHg^{-1}=H\}$ is subgroup of $G$

Let $G$ be a group and $H$ subgroup of $G$, $N(H):=\{g\in G; gHg^{-1}=H\}$ I need to prove that $N(H)$ is subgroup of $G$. It's almost the same question like :$\forall g \in G, gHg^{-1} = H ...
1
vote
0answers
32 views

Let $H$ is a subgroup of $G$. When $G=HZ(G)$? [on hold]

Let $H$ is a subgroup of $G$. found conditions that $G=HZ(G)$?
1
vote
1answer
22 views

Prove this result relating to the sign of a permutation

Suppose that $\phi \in S_n$ is a permutation. Suppose also that $\psi = \phi \circ (i,j),$ where $1 \leq i, j \leq n.$ Why does it follow that sign$(\phi) = $ $-$sign$(\psi)$?
2
votes
1answer
74 views

Trirectangular tetrahedron

Looking at http://mathworld.wolfram.com/TrirectangularTetrahedron.html I wonder what the symmetry group of a trirectangular tetrahedron is?
1
vote
1answer
26 views

Is this proof correct for $p_1\times p_2 \mod k = p_3$?

I am trying to prove that if $\gcd(p_1, k) = \gcd(p_2, k) = 1$, then $$\gcd(r, k) = 1$$ where $r = p_1\times p_2 \mod k$. This fact is essential to guarantee that a unit group $U(n)$ of a group ...
2
votes
3answers
99 views

Verifying if a multiplication table is from a group

I'm asked to verify which of these multiplication tables form a group. I'm having problems to see which of the axioms for a group are violated in each table. In (a), I couldn't find an element $e$ ...
1
vote
1answer
42 views

covering subsets

Let $A=\left\{ {1, 2, \ldots, n}\right\}$. Let $B$ be the set of all size $m$ subsets of $A$. $B=\left\{{B_1,B_2, \ldots , B_{\binom{n}{m}} } \right\}$, $ |B_i|=m$ then we want to find $k$ subsets ...
5
votes
2answers
145 views
+300

Structure of the group $\{1+p\mathbb Z_p \}$

In preparation for algebraic number theory I am reading Serre : A course in Arithmetic. I stuck in understanding a proof (p.17): Notation: $U_n=1+p^n\mathbb Z_p$ Actually there are many things ...