1: \begin{abstract}

2: In this paper we study several closely related fundamental problems

3: for words and matrices. First, we introduce the Identity

4: Correspondence Problem (ICP): whether a finite set of pairs of words

5: (over a group alphabet) can generate an identity pair by a sequence

6: of concatenations. We prove that ICP is undecidable by a reduction

7: of Post's Correspondence Problem via several new encoding

8: techniques. In the second part of the paper we use ICP to answer a

9: long standing open problem concerning matrix semigroups: ``Is it

10: decidable for a finitely generated semigroup $S$ of integral square 

11: matrices whether or not the identity matrix belongs to $S$?''. We

12: show that the problem is undecidable starting from dimension four

13: even when the number of matrices in the generator is $48$. From this

14: fact, we can immediately derive that the fundamental problem of

15: whether a finite set of matrices generates a group is also

16: undecidable. We also answer several questions for matrices over

17: different number fields. Apart from the application to matrix

18: problems, we believe that the Identity Correspondence Problem will

19: also be useful in identifying new areas of undecidable problems in

20: abstract algebra, computational

21: questions in logic and combinatorics on words. \\

22: 

23: {\bf Keywords:} Combinatorics on Words, Group problem, Post's

24: Correspondence Problem, Matrix Semigroups, Undecidability.

25: \end{abstract}