← all areas

Namespace Monoid 4 theorems

• Sum-zero cusp functions arise from characters of H Monoid.CoprodI.exists_addMonoidHom_conj_pow_minimalPeriod_eq_of_finsum_eq_zero 0 below · cited by 2 · depth 13
• Kurosh-type bound for subgroups of a free product Monoid.CoprodI.finrank_addMonoidHom_add_card_orbitRelQuotient_le_index_add_one 1 below · cited by 1 · depth 15
• Freeness of torsion-free finite-index subgroups of G₀ * G₁ Monoid.CoprodI.nonempty_freeGroupBasis_fin_kuroshRank 3 below · cited by 1 · depth 15
• The coset graph of a free product of two groups is a tree Monoid.CoprodI.isTree_cosetGraph 0 below · cited by 2 · depth 16