The study of the birational properties of algebraic k-tori began in the sixties and seventies with work of Voskresenkii, Endo, Miyata, Colliot-Thélène and Sansuc. There was particular interest in determining the rationality of a given algebraic k-tori. As rationality problems for algebraic varieties are in general difficult, it is natural to consider relaxed notions such as stable rationality, or even retract rationality. Work of the above authors and later Saltman in the eighties determined necessary and sufficient conditions to determine when an algebraic torus is stably rational, respectively retract rational in terms of the integral representations of its associated character lattice. An interesting question is to ask whether a stably rational algebraic k-torus is always rational. In the general case, there exist examples of non-rational stably rational k-varieties. Algebraic k-tori of dimension r are classified up to isomorphism by conjugacy classes of finite subgroups of GLr(Z). This makes it natural to examine the rationality problem for algebraic k tori of small dimensions. In 1967, Voskresenskii [Vos67] proved that all algebraic tori of dimension 2 are rational. In 1990, Kunyavskii [Kun87] determined which algebraic tori of dimension 3 were rational. In 2012, Hoshi and Yamasaki [HY12] determined which algebraic tori of dimensions 4 and 5 were stably (respectively retract) rational with the aid of GAP. They did not address the rationality question in dimensions 4 and 5. In this paper, we show that all stably rational algebraic k-tori of dimension 4 are rational, with the possible exception of 10 undetermined cases. Hoshi and Yamasaki found 7 retract rational but not stably rational dimension 4 algebraic k-tori. We give a non-computational proof of these results.(1) K/k (G m ) in the A 5 case. Hoshi and Yamasaki [HY12] used GAP to show that in fact R(1) K/k (G m ) is stably rational in this case. In this paper, we present a non-computational proof of that fact. The norm one torus R(1) K/k (G m ) corresponding to A 5 has character lattice J A 5 /A 4 . It is one of the ten algebraic k-tori of dimension 4 which is stably rational but whose rationality is unknown. Another of these exceptional stably rational algebraic k-torus of dimension 4 whose rationality is unknown is intimately related to this norm one torus. In fact its splitting group is A 5 × C 2 and its character lattice restricts to J A 5 /A 4 on A 5 . The character lattices of the remaining 8 stably rational algebraic k-tori whose rationality is unknown are also intimately related. See Section 5 for more details.