回答如下：同煤劳动公司的大集体退休是指该公司所有员工达到退休年龄后一起退休，由公司统一安排福利待遇。而同煤工人是指所有在同煤集团及其下属企业工作的员工，包括已退休的员工、在职员工和失业员工。两者的区别在于前者针对的是一家公司的员工，后者则是针对一个行业或企业集团的所有员工。
煤矿公司交缴五险一金的不一定是正式工。只要是煤矿上班的正式工，合同工，临时工等都应该需要交缴五险一金，这是国家劳动法硬性规定，也是每一个在煤矿工作的劳动者应该具有的权益。
所以煤矿给员工交缴社会保险金，不能证明是煤矿正式工的依据。
同煤集团是中国能源集团旗下的一家煤炭企业，旗下拥有多个矿区。其中，位于山西省的寿阳煤矿、阳泉煤矿、晋城煤矿、晋中煤矿、运城煤矿、长治煤矿以及河北省的承德煤矿、洛宁煤矿、遵化煤矿、涿鹿煤矿等煤矿是同煤集团的主要矿区。同时，同煤集团下辖还有生产铝业所需煤炭的石嘴山煤炭公司等企业。这些煤炭企业都在不同程度上为当地经济发展做出了贡献，也为保障国家的能源安全作出了重要的贡献。