Quantum finite automata with pairwise-commuting unitary operators: The algebraic characteristics of recognized languages