pith. sign in

arxiv: 1209.6444 · v3 · pith:JOSTBOAOnew · submitted 2012-09-28 · 🧮 math.LO · math.RA

Large free sets in universal algebras

classification 🧮 math.LO math.RA
keywords mathcalcardinalityalgebrasubsetfreeinfiniteuniversalalgebras
0
0 comments X
read the original abstract

We prove that for each universal algebra $(A,\mathcal A)$ of cardinality $|A|\ge 2$ and an infinite set $X$ of cardinality $|X|\ge|\mathcal A|$, the $X$-th power $(A^X,\mathcal A^X)$ of the algebra $(A,\mathcal A)$ contains a free subset $\mathcal F\subset A^X$ of cardinality $|\mathcal F|=2^{|X|}$. This generalizes the classical Fichtenholtz-Kantorovitch-Hausdorff result on the existence of an independent family $\mathcal I\subset\mathcal P(X)$ of cardinality $|\mathcal I|=|\mathcal P(X)|$ in the Boolean algebra $\mathcal P(X)$ of subsets of an infinite set $X$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.