 Commuting ordinal addition

Nonzero ordinals commute under addition precisely when they are positive finite right multiples of a common ordinal. This follows by comparing their Cantor normal forms at the first exponent where they differ.