The Stacks project

Remark 61.8.2. Let $A$ be a ring. Let $\kappa $ be an infinite cardinal bigger or equal than the cardinality of $A$. Then the cardinality of $T(A)$ is at most $\kappa $. Namely, each $B_ E$ has cardinality at most $\kappa $ and the index set $I(A)$ has cardinality at most $\kappa $ as well. Thus the result follows as $\kappa \otimes \kappa = \kappa $, see Sets, Section 3.6. It follows that the ring constructed in the proof of Lemma 61.8.1 has cardinality at most $\kappa $ as well.