In this paper we establish the unitary (Cohen [3]) analogues of certain well known arithmetical identities (cf [5]). In particular we shall establish the unitary analogue of the identity of the Cohen, Jordan and Von-Sterneck totients (ef Theorem 2.4 below). We shah now establish some notation. Let M be a positive integer. A divisor d of M is said to be unitary (Cohen [3] ; see also Vaidyanathaswamy [6, p. 606] where it is referred to as a "block factor") ff (d, M/d) =1. We write d [I M to say that d is a unitary divisor of M. Let k be any fixed positive integer. For any positive integer N, let (N, Mk)k * denote the largest unitary divisor of M ~, that divides 2/ and is a k th power. Denote by r the number of integers N in a complete residue system rood M k such that (N, Mk)t~ * = 1. Ck*(M) is the unitary analogue of Cohen's totient (cf [2]). We now consider the unitary analogue J~(M) of Jordan's totient (Dickson [1 ; p 147]). An ordered k-tuple (a 1 . . . . , ak) of integers, where 1 ~__ a i ~ M for every i ---1, . . . , k, is said to be a vector (mod k, M). Let (a~)~(al . . . , a k) denote the greatest common divisor of a 1, . . . , a~. The number of vectors (rood k, M) such that ((as) , M)* ~ ((a~), M)I* -= 1 is denoted by Jk*(M). The unitary analogue H~*(M) of Von-Sterneek's totient (Diekson [1; p 151]) is defined thus: H~*(M) ~ Z q)*(dx) . . . ~)*(d~) [d . . . . . . dk ]= M