Skip to main content
1 of 2
Simon Wadsley
  • 3.5k
  • 1
  • 23
  • 40

I don't know if this counts as a "naturally-occuring" algebraic category but as I scanned through my internal list of categories of modules over a ring, I spotted that the following has (1) and (2).

Take G to be the "p-adic dihedral group" that is a semidirect product of the p-adic integers and a cyclic group of order 2 where the latter acts by -1 on the former. Then form the completed group algebra (Iwasawa algebra) with coefficients in the field with p elements, R=F_p[[G]].

Now there are precisely two isomorphism classes of indecomposable projective modules [P_ 1] and [P_ 2] and P_ 1 and P_ 2 are bi-embeddable via monic maps (see section 9.6 of http://www.dpmms.cam.ac.uk/~sjw47/char.pdf for the proof of both these claims).

It follows that if we take the category of all finitely generated projective modules over R then it consists of objects that are direct sums of m copies of P_ 1 and n copies of P_ 2, say. Two such objects will be bi-embeddable if and only if they have the same value of m+n thus whilst there are arbitrarily large finite collections of pairwise bi-embeddable but pairwise nonisomorphic objects in this category there are no infinite ones.

I am sure there will be many more examples along these lines, I just happen to spend a lot of time thinking about Iwasawa algebras.

Simon Wadsley
  • 3.5k
  • 1
  • 23
  • 40