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 a group isomorphic to its direct square.
1 of 4
user6976