On projections of the tails of a power
Abstract
Let $\kappa$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^{\kappa}$ of eventual equality. From mild assumptions on $\kappa$ we give general constructions of $\mathcal{E} \in End(\mathfrak{U}^{\kappa}/\sim)$ satisfying $\mathcal{E} \circ \mathcal{E} = \mathcal{E}$ which do not descend from $\Delta \in End(\mathfrak{U}^{\kappa})$ having small strong supports. As an application there exists an $\mathcal{E} \in End(\mathbb{Z}^{\kappa}/\sim)$ which does not come from a $\Delta \in End(\mathbb{Z}^{\kappa})$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2022
- DOI:
- 10.48550/arXiv.2211.13749
- arXiv:
- arXiv:2211.13749
- Bibcode:
- 2022arXiv221113749C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Group Theory;
- Mathematics - Rings and Algebras;
- 20A15;
- 03E55;
- 03G05