Comultiplications on free groups

and wedges of circles

Authors:
Martin Arkowitz and Mauricio Gutierrez

Journal:
Trans. Amer. Math. Soc. **350** (1998), 1663-1680

MSC (1991):
Primary 20E05, 55P45; Secondary 55P40, 18A30

MathSciNet review:
1422887

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: By means of the fundamental group functor, a co-H-space structure or a co-H-group structure on a wedge of circles is seen to be equivalent to a comultiplication or a cogroup structure on a free group . We consider individual comultiplications on and their properties such as associativity, coloop structure, existence of inverses, etc. as well as the set of all comultiplications of . For a comultiplication of we define a subset of quasi-diagonal elements which is basic to our investigation of associativity. The subset can be determined algorithmically and contains the set of diagonal elements . We show that is a basis for the largest subgroup of on which is associative and that is a free factor of . We also give necessary and sufficient conditions for a comultiplication on to be a coloop in terms of the Fox derivatives of with respect to a basis of . In addition, we consider inverses of a comultiplication, the collection of cohomomorphisms between two free groups with comultiplication and the action of the group on the set of comultiplications of . We give many examples to illustrate these notions. We conclude by translating these results from comultiplications on free groups to co-H-space structures on wedges of circles.

**1.**Martin Arkowitz,*Co-𝐻-spaces*, Handbook of algebraic topology, North-Holland, Amsterdam, 1995, pp. 1143–1173. MR**1361908**, 10.1016/B978-044481779-2/50024-9**2.**Martin Arkowitz and Gregory Lupton,*Equivalence classes of homotopy-associative comultiplications of finite complexes*, J. Pure Appl. Algebra**102**(1995), no. 2, 109–136. MR**1354057**, 10.1016/0022-4049(94)00074-S**3.**Joan S. Birman,*An inverse function theorem for free groups*, Proc. Amer. Math. Soc.**41**(1973), 634–638. MR**0330295**, 10.1090/S0002-9939-1973-0330295-8**4.**Israel Berstein and Emmanuel Dror,*On the homotopy type of non-simply-connected co-𝐻-spaces*, Illinois J. Math.**20**(1976), no. 3, 528–534. MR**0407837****5.**B. Eckmann and P. J. Hilton,*Structure maps in group theory*, Fund. Math.**50**(1961/1962), 207–221. MR**0132776****6.**B. Eckmann and P. J. Hilton,*Group-like structures in general categories. III. Primitive categories*, Math. Ann.**150**(1963), 165–187. MR**0153721****7.**Ralph H. Fox,*Free differential calculus. I. Derivation in the free group ring*, Ann. of Math. (2)**57**(1953), 547–560. MR**0053938****8.**T. Ganea,*Cogroups and suspensions*, Inv. Math.**9**(1970), 185-197. MR**112:2484****9.**Peter Hilton, Guido Mislin, and Joseph Roitberg,*On co-𝐻-spaces*, Comment. Math. Helv.**53**(1978), no. 1, 1–14. MR**483528**, 10.1007/BF02566062**10.**T. Genčev,*Über die unzerlegbaren Vektoren gewisser Kegel*, Bŭlgar. Akad. Nauk Izv. Mat. Inst.**3**(1958), no. 1, 69–88 (1958) (Bulgarian, with Russian and German summaries). MR**0110932****11.**Wilhelm Magnus, Abraham Karrass, and Donald Solitar,*Combinatorial group theory: Presentations of groups in terms of generators and relations*, Interscience Publishers [John Wiley & Sons, Inc.], New York-London-Sydney, 1966. MR**0207802****12.***𝐻-spaces. Actes de la réunion de Neuchâtel (Suisse), août 1970*, Publiés par Francois Sigrist. Textes rédigés en anglais. Lecture Notes in Mathematics, Vol. 196, Springer-Verlag, Berlin-New York, 1971 (French). MR**0287544**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
20E05,
55P45,
55P40,
18A30

Retrieve articles in all journals with MSC (1991): 20E05, 55P45, 55P40, 18A30

Additional Information

**Martin Arkowitz**

Affiliation:
Department of Mathematics, Dartmouth College, Hanover, New Hampshire 03755

Email:
martin.arkowitz@dartmouth.edu

**Mauricio Gutierrez**

Affiliation:
Department of Mathematics, Tufts University, Medford, Massachusetts 02155

Email:
mgutierr@tufts.edu

DOI:
https://doi.org/10.1090/S0002-9947-98-01916-3

Keywords:
Comultiplication,
co-H-space,
co-H-group,
cogroup,
free group,
equalizers,
category with coproducts,
wedge of circles

Received by editor(s):
July 19, 1996

Additional Notes:
Part of this work was done while the first-named author was a visitor at the University of Milan. In addition, the second-named author also visited Milan for a brief period. The authors would like to thank both the Department of Mathematics at the University of Milan in general, and Professor Renzo Piccinini in particular, for their hospitality.

Article copyright:
© Copyright 1998
American Mathematical Society