Subgroup theorem for valuated groups and the CSA property

A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndons axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous to Grushko-Neumanns theorem. We study also the CSA property in such groups.