MHB Direct sum of free abelian groups

mathgirl1
Messages
21
Reaction score
0
Show the direct sum of a family of free abelian groups is a free abelian group.

My first thought was to just say that since each group is free abelian we know it has a non empty basis. Then we can take the direct sum of the basis to be the basis of the direct sum of a family of free abelian groups. But not sure it makes sense to say direct sum of basis.

Is it just as simple that the direct sum of a family of free abelian groups is isomorphic to the direct sum of the additive group of integers?

I am probably making this way harder than it is but I am not sure how to state the obvious either. Any help is appreciated. Thanks!
 
Physics news on Phys.org
Hi mathgirl,

mathgirl said:
Is it just as simple that the direct sum of a family of free abelian groups is isomorphic to the direct sum of the additive group of integers?

No, this is only true when your groups are finitely generated.

Try to prove that the disjoint union of the basis of your groups is a basis for the direct sum. (Probably you meant some like that when talking abaout "direct sum of basis")
 

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Thread '##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?'

I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
View full post »

Similar threads

I Decomposition per the Fundamental Theorem of Finite Abelian Groups
Replies
13
Views
3K
Tensors of Free Groups and Abelian groups
Replies
2
Views
2K
MHB Tensor Products of Modules and Free Abelian Groups based on Cartesian Product
Replies
2
Views
2K
MHB Is a Group Abelian if Inverses Commute?
Replies
2
Views
1K
Finding which direct sum of cyclic groups Z*n is isomorphic to
Replies
2
Views
2K
I Correct constructed example of Abelian Monoid?
Replies
0
Views
401
How to find group types for a particular order?
Replies
2
Views
2K
I Meaning of terms in a direct sum decomposition of an algebra
Replies
8
Views
2K
I Free Abelian Groups .... Aluffi Proposition 5.6
Replies
40
Views
4K
MHB Free Abelian Groups .... Aluffi Proposition 5.6
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top