# Structure theorems for star-commuting power partial isometries

## TL;DR

This paper provides a new formulation and proof of a classical theorem on the structure of power partial isometries and extends it to characterize finite sets of star-commuting partial isometries on Hilbert space.

## Contribution

It introduces a novel formulation and proof of Halmos and Wallen's theorem and extends the structure theorem to finite sets of star-commuting partial isometries.

## Key findings

- New formulation and proof of Halmos and Wallen's theorem
- Structure theorem for finite sets of star-commuting partial isometries
- Enhanced understanding of operator commutation relations

## Abstract

We give a new formulation and proof of a theorem of Halmos and Wallen on the structure of power partial isometries on Hilbert space. We then use this theorem to give a structure theorem for a finite set of partial isometries which star-commute: each operator commutes with the others and with their adjoints.