# Tagged Questions

35 views

### Proof that group is commutative if every element is its inverse (feedback wanted)

This is one of my first proofs about groups. Please feed back and criticise in every way (including style & language). Axiom names (see Wikipedia) are italicised. $e$ denotes the identity element. ...
51 views

### every Abelian group is a converse lagrange theorem group

Let $G$ be a finite abelian group, then $G$ has a subgroup of order $n$ if and only if $n\mid G$. Proof: by Lagrange if $H\leq G$ then $|H|$ divides $|G|$ so this proves one of the implications. We ...
40 views

### Groups - Prove that every element equals inverse of inverse of element

This is my first proof about groups. Please feed back and criticise in every way (including style & language). Axiom names (see Wikipedia) are italicised. We use $^{-1}$ to denote inverse ...
25 views

### Multiplication between a normal subgroup and an arbitrary subgroup.

Given $G$ a group. $N$ a normal subgroup of $G$, and $H$ an arbitrary subgroup of $G$. Prove that $G=NH$ is a subgroup of $G$. I have to prove that $NH=HN$. But for every $h\in H$ we have that ...
47 views

### Exercise on characterization of free abelian groups

I was wondering if someone can please check my work on a homework problem. This is from the graduate Hungerford text. Chapter 2.1, number 3. Let $X=\{a_i\ |\ i\in I\}$ be a set. Then the free abelian ...
57 views

### Subgroups of order $5$ in Icosahedral group

Let $G$ denote the orientation preserving isometries of Icosahedron. I want to show the following using group-theoretic notions: Let $N\leq G$ be a subgroup with order $5.$ Show that it is a ...
50 views

### Group theory exercise - verification?

I'm self-studying abstract algebra, and this is the first non-trivial group theory exercise I've done. Although it's a well-known result, I'd like to make sure it is correct as it took a good few ...
83 views

### Show that $Z\times Z$ is not cyclic… [duplicate]

The full problem is as stated in the title. I am here to check if this is a valid proof. I thought it would be easiest using Linear Algebra. Recall that an infinite cyclic group is isomorphic to ...
42 views

### can a group with non-trivial center be isomorphic to a normal subgroup of its group of automorphisms?

i think (tho would be grateful for error-check) that the line of reasoning below suggests any group with trivial center is isomorphic to a normal subgroup of its automorphism group. question does the ...
38 views

### Please check my proof on: $\sim$ is an equivalence relation $\Leftrightarrow S<G$

Problem: Let $\emptyset\ne S\subset G$, where $G$ is a group, and define a relation on $G$ by $a\sim b\Leftrightarrow ab^{-1}\in S$. Show that $\sim$ is an equivalence relation if and only if $S$ is a ...
68 views

### Artin Algebra 2.8.3 “Does every group whose order is a power of a prime $p$ contains an element of order $p$?”

I'm not sure whether or not my answer and proof for this question are valid. Could you point out any flaw? Let $G$ be an arbitrary group, an arbitrary element of $G$ be $g$ and $|G|=p^n$. Since a ...
81 views

### Subgroup contained in all other subgroups

This is Problem 2.13.10 from Herstein, Topics in Algebra: Let $G$ be a finite abelian group such that it contains a subgroup $H_0 \neq (e)$ which lies in every subgroup $H\neq (e)$. Prove that $G$ ...
94 views

### Herstein Question: $G^{i}$ normal in $G$?

I just wanted to ask a quick question. I'm going over the second edition of I.N. Herstein's topics in algebra and one of his exercises asks the reader to prove that each $G^{i}$ is a normal subgroup ...
36 views

39 views

### $MN/M \cap N \cong (MN/M) \times (MN/ N )$

I want to prove the following exercise from Dummit & Foote's Abstract Algebra: Let $M$ and $N$ be normal subgroups of $G$ such that $G=MN$. Prove that $G/M \cap N \cong (G/M) \times (G/N).$ ...
34 views

### Any non-trivial finitely-generated group admits maximal subgroups

I want to solve the following problem from Dummit & Foote's Abstract Algebra: This is exercise involving Zorn's Lemma (see Appendix I) to prove that every nontrivial finitely generated group ...
79 views

48 views

### Describe the kernel and the fibers of $\phi$ geometrically (as subsets of the plane).

Define $\phi : \mathbb{C}^{\times} \mapsto \mathbb{R}^{\times}$ by $\phi(a+bi) = a^2 + b^2$. Prove that $\phi$ is a homomorphism and find the image of $\phi$. Describe the kernel and the fibers of ...
41 views

### Why is $H_1 \le G \land H_2 \le G$ necessary in $a(H_1 \cap H_2) = aH_1 \cap aH_2$?

The problem is as follows: $G$ is a group and $H_1$ and $H_2$ are its two subgroups (i.e., $H_1 \le G \land H_2 \le G$). To prove that $a(H_1 \cap H_2) = aH_1 \cap aH_2$. Here is my trial: On ...
154 views

### Proving that the unities of a ring form a group under multiplication

I am presented with the following task: Show that if $U$ is the collection of all units in a ring $\langle R, +, \cdot\rangle$ with unity, then $\langle U, \cdot\rangle$ is a group. I am still ...
### Describe the fibers of $\phi$ and that $\phi$ is a homomorphism.
Define $\phi: \mathbb{R}^x \mapsto \{\pm1\}$ by letting $\phi(x)$ be $x$ divided by the absolute value of $x$. Describe the fibers of $\phi$ and that $\phi$ is a homomorphism. Need help getting a ...