I'm looking for a tangible example of a free abelian group whose quotient with a subgroup is not free abelian. There's a theorem that says that every abelian group is a quotient of some free group, but I'm looking for a more exact example.

Cameron Buie 12/07/2012.

The most obvious example of a free group is $\Bbb Z$--which is the free group of one generator. (Can you see why?)

Now consider any finite cyclic group--necessarily abelian but not a free abelian group, and (isomorphic with) a quotient of $\Bbb Z$.

Bombyx mori 12/07/2012.

The confusion maybe because every subgroup of a free abelian group is free abelian, while for the quotient group this is not necessarily true. The canoical example maybe $\mathbb{Z}/p\mathbb{Z}$, where $p$ is prime. Here $\mathbb{Z},p\mathbb{Z}$ are both free but the above group is not free. The wiki article probably can provide more information on this.

pepa.dvorak 07/29/2013.

The fact that you mention is a more general fact, i.e. every module is factor of a free module - you can imagine the construction in the following way:

take "enough" generators and create a free module over them, then, since different modules differ in "which elements are the same", i.e. in relations between the elements (therefore between the generators), create a submodule of relations $R$; factoring $R$ away is just like saying "the relations in $R$ are not important, zero" and in this way you can naturally get any module.

The example of $\mathbb{Z}_p$'s is:

take one element $x$ and create free group, so you get $F = \mathbb{Z}x$ (which is isomorphic to $\mathbb{Z}$); now you want to say that if two elements differ in a multiple of $p$, they're the same, so the relation submodule $R$ is $p\mathbb{Z}x$ (it contains $...,-1p, 0x, px, 2px..$) and factoring it out you say that all these elements are equal to each other (so to $0$ as well). If now you have for example $(2p + r)x$ and $(3p + r)x$ two elements of $F$, their difference is $p$, which lies in $R$, i.e. it "is not important", these two are the same in factor and you got the structure of $\mathbb{Z}_p$.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

- The free group $F_3$ being a quotient of $F_2$
- Square free finite abelian group is cyclic
- Abelian group whose quotient is $p$-divisible
- Abelian group with cyclic subgroup and cyclic quotient is generated by two elements
- Non-commutative quotient group?
- Abelian Quotient group, which is not normal
- Abelian Group as the quotient of a free Abelian Group
- When is a quotient group abelian?
- subgroup of free abelian group with finite index
- Fully invariant abelian $p$-subgroup of a solvable finite group

- What is the etiquette for asking whether someone has a special diet
- What happens if only rudder is applied in a turn without ailerons? Do the two have to be applied together all the time?
- Did anyone ever use the extra set of registers on the Z80?
- Are Trolls immune to all instant death effects?
- Paradox about the volume of a cylinder
- As a referee, is it okay to ask for references to be removed?
- Do the Kwikspell courses work?
- What happens to a Disintegrated Troll RAW?
- Do the chips in 2018 Macbook Pros have fixes for Spectre and Meltdown?
- Can Feather Fall be used to arrest falling at any point?
- What is this electric thing, hanging on an electric pole?
- What if... you had a bowl of electrons?
- Did Grandpa count correctly? Another Grandpa Mystery
- 7 fishermen caught exactly 100 fish and no two had caught the same number of fish. Then there are three who have together captured at least 50 fish.
- How do you deal with colleagues, acquaintances asking you for knowledge that you gained with months of effort?
- Why is software-based manipulation of images frowned upon while hardware-based manipulation is acceptable?
- Historical or mythological Monster Hunter organization
- What projectile weapon can replace a bow under the following circumstances?
- How did the Apollo computers evaluate transcendental functions like sine, arctangent, log?
- Could Black holes forge heavier elements that have yet to be discovered?
- What do we call glasses with thick lenses
- What sets have been named in a punny way?
- Make them sum to 10,000
- If Filch hates Hogwarts so much, why does he still have the job?