2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/159031A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndon's axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous to Grushko-Neumann's theorem. We study also the CSA property in such groups.Group Theory20E06, 20E07, 20E08Subgroup theorem for valuated groups and the CSA propertytext