Skip to main content

All Questions

Filter by
Sorted by
Tagged with
94 votes
2 answers
7k views

$A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?
Martin Brandenburg's user avatar
71 votes
28 answers
8k views

Results from abstract algebra which look wrong (but are true)

There are many statements in abstract algebra, often asked by beginners, which are just too good to be true. For example, if $N$ is a normal subgroup of a group $G$, is $G/N$ isomorphic to a subgroup ...
28 votes
2 answers
863 views

$A^2$ is isomorphic to $A^{(\omega)}$, but not $A$

Is there an abelian group $A$ with $A\not\cong A\oplus A\cong A\oplus A\oplus A\oplus\cdots$ (a direct sum of countably many copies of $A$)? Edited to add: As no answers are forthcoming, does anyone ...
Pace Nielsen's user avatar
  • 18.7k
15 votes
1 answer
567 views

Torsion-free abelian group $A$ such that $A \not \simeq A \oplus \Bbb Z \simeq A \oplus \Bbb Z^2$

Is there a torsion-free abelian group $A$ such that $A \not \simeq A \oplus \Bbb Z \simeq A \oplus \Bbb Z \oplus \Bbb Z$ (as groups)? Notice that $\Bbb Z$ is not cancellable, so $A \oplus \Bbb Z \...
Watson's user avatar
  • 1,742
4 votes
1 answer
211 views

Nonempty intersection of cosets of finite-index subgroups

$\DeclareMathOperator\lcm{lcm}$This question is crossposted from MSE. Let $H_1,\dots,H_{n+2}$ be cosets of finite-index subgroups of $\mathbb{Z}^n$ and suppose for all $i=1,\dots,n+2$, $\bigcap_{j\neq ...
Saúl RM's user avatar
  • 10.6k
1 vote
1 answer
212 views

An example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$

In the wake of my curiosity on this kind of things, I was thinking if there is an example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$. Every example I ...
W4cc0's user avatar
  • 599
1 vote
2 answers
1k views

Maximal subgroups of a finite p-group

I want to prove the following: Let $G$ be a finite abelian $p$-group that is not cyclic. Let $L \ne {1}$ be a subgroup of $G$ and $U$ be a maximal subgroup of L then there exists a maximal subgroup $...
user23954's user avatar
1 vote
1 answer
344 views

Bound for order of a group depending on number of elements of maximal order

This question has been partly answered in MSE, see here. In a paper On the Number of Elements of maximal order in a Group, it is proven that an arbitrary group $G$ with a finite number of elements of ...
waveman's user avatar
  • 181