About the first fact see this page (the Krul-Remak-Schmidt theorem). For infinite (even finitely generated) groups the situation is different because there exists an infinite f.g. group isomorphic to its direct square.
2 of 4
added 15 characters in body
user6976