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

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

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.**M. Arkowitz,*Co-H-Spaces*, in Handbook of Algebraic Topology (I.M.James, ed.), Elsevier Science, 1995, pp. 1143-1173. MR**96m:55012****2.**M. Arkowitz and G. Lupton,*Equivalence classes of homotopy-associative comultiplications of finite complexes*, J. Pure Appl. Math.**102**(1995), 109-136. MR**96j:55008****3.**J. Birman,*An inverse function theorem for groups*, Proc. Amer. Math. Soc.**41**(1974), 634-638. MR**48:8632****4.**I. Berstein and E. Dror,*On the homotopy type of non-simply-connected co-H-spaces*, Illinois J. Math.**20**(1976), 528-534. MR**53:11607****5.**B. Eckmann and P. Hilton,*Structure maps in group theory*, Fund. Math.**50**(1961), 207-221. MR**24:A2612****6.**-,*Group-like structures in general categories III*, Math. Ann.**150**(1961), 165-187. MR**27:3682****7.**R. Fox,*Free differential calculus I*, Ann. of Math.**57**(1953), 547-560. MR**14:843d****8.**T. Ganea,*Cogroups and suspensions*, Inv. Math.**9**(1970), 185-197. MR**112:2484****9.**P. Hilton, G. Mislin and J. Roitberg,*On co-H-spaces*, Comment. Math. Helv.**53**(1978), 1-14. MR**80d:55014****10.**D. Kan,*Monoids and their dual*, Bol. Soc. Mat. Mex.**3**(1958), 52-61. MR**22:1800****11.**W. Magnus, A. Karrass and D. Solitar,*Combinatorial Group Theory*, Wiley, 1966. MR**34:7617****12.**J.D. Stasheff,*H-space problems*, H-Spaces, Springer-Verlag LNM 196, 1971, pp. 122-136. MR**44:4748**

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