Normal subgroups of infinite symmetric groups, with an application to stratified set theory

2009 ◽  
Vol 74 (1) ◽  
pp. 17-26 ◽  
Author(s):  
Nathan Bowler ◽  
Thomas Forster
Keyword(s):  
Set Theory ◽  
Symmetric Groups ◽  
Axiom Of Choice ◽  
Normal Subgroups ◽  
Standard Analysis ◽  
Small Index ◽  
The Axiom Of Choice ◽  
Two Stages ◽  
Infinite Set ◽  
Stratified Set

It is generally known that infinite symmetric groups have few nontrivial normal subgroups (typically only the subgroups of bounded support) and none of small index. (We will explain later exactly what we mean by small). However the standard analysis relies heavily on the axiom of choice. By dint of a lot of combinatorics we have been able to dispense—largely—with the axiom of choice. Largely, but not entirely: our result is that if X is an infinite set with ∣X∣ = ∣X × X∣ then Symm(X) has no nontrivial normal subgroups of small index. Some condition like this is needed because of the work of Sam Tarzi who showed [4] that, for any finite group G, there is a model of ZF without AC in which there is a set X with Symm(X)/FSymm(X) isomorphic to G.The proof proceeds in two stages. We consider a particularly useful class of permutations, which we call the class of flexible permutations. A permutation of X is flexible if it fixes at least ∣X∣-many points. First we show that every normal subgroup of Symm(X) (of small index) must contain every flexible permutation. This will be theorem 4. Then we show (theorem 7) that the flexible permutations generate Symm(X).

Products of some special compact spaces and restricted forms of AC

2010 ◽  
Vol 75 (3) ◽  
pp. 996-1006 ◽  
Author(s):  
Kyriakos Keremedis ◽  
Eleftherios Tachtsis
Keyword(s):  
Set Theory ◽  
Closed Subset ◽  
Choice Function ◽  
Ordinal Number ◽  
Axiom Of Choice ◽  
Finite Support ◽  
Compact Spaces ◽  
The Axiom Of Choice ◽  
Infinite Set

AbstractWe establish the following results:1. In ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC), for every set I and for every ordinal number α ≥ ω, the following statements are equivalent:(a) The Tychonoff product of ∣α∣ many non-empty finite discrete subsets of I is compact.(b) The union of ∣α∣ many non-empty finite subsets of I is well orderable.2. The statement: For every infinite set I, every closed subset of the Tychonoff product [0, 1]Iwhich consists offunctions with finite support is compact, is not provable in ZF set theory.3. The statement: For every set I, the principle of dependent choices relativised to I implies the Tychonoff product of countably many non-empty finite discrete subsets of I is compact, is not provable in ZF0 (i.e., ZF minus the Axiom of Regularity).4. The statement: For every set I, every ℵ0-sized family of non-empty finite subsets of I has a choice function implies the Tychonoff product of ℵ0many non-empty finite discrete subsets of I is compact, is not provable in ZF0.

scholarly journals On a cardinal equation in set theory

1972 ◽  
Vol 6 (3) ◽  
pp. 447-457 ◽  
Author(s):  
J.L. Hickman
Keyword(s):  
Set Theory ◽  
Axiom Of Choice ◽  
Linear Ordering ◽  
Finite Sets ◽  
Intrinsic Interest ◽  
The Axiom Of Choice ◽  
Infinite Set ◽  
Finiteness Criterion

We work in a Zermelo-Fraenkel set theory without the Axiom of Choice. In the appendix to his paper “Sur les ensembles finis”, Tarski proposed a finiteness criterion that we have called “C-finiteness”: a nonempty set is called “C-finite” if it cannot be partitioned into two blocks, each block being equivalent to the whole set. Despite the fact that this criterion can be shown to possess several features that are undesirable in a finiteness criterion, it has a fair amount of intrinsic interest. In Section 1 of this paper we look at a certain class of C-finite sets; in Section 2 we derive a few consequences from the negation of C-finiteness; and in Section 3 we show that not every C-infinite set necessarily possesses a linear ordering. Any unexplained notation is given in my paper, “Some definitions of finiteness”, Bull. Austral. Math. Soc. 5 (1971).

scholarly journals Consequences of arithmetic for set theory

1994 ◽  
Vol 59 (1) ◽  
pp. 30-40 ◽  
Author(s):  
Lorenz Halbeisen ◽  
Saharon Shelah
Keyword(s):  
Set Theory ◽  
Axiom Of Choice ◽  
Power Set ◽  
The Axiom Of Choice ◽  
Infinite Set

AbstractIn this paper, we consider certain cardinals in ZF (set theory without AC, the axiom of choice). In ZFC (set theory with AC), given any cardinals and , either ≤ or ≤ . However, in ZF this is no longer so. For a given infinite set A consider seq1-1(A), the set of all sequences of A without repetition. We compare |seq1-1(A)|, the cardinality of this set, to ||, the cardinality of the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that ZF ⊢ ∀A(| seq1-1(A)| ≠ ||), and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then | fin(B)| < | (B*)| even though the existence for some infinite set B* of a function ƒ from fin(B*) onto (B*) is consistent with ZF.

A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET

2016 ◽  
Vol 95 (2) ◽  
pp. 177-182 ◽  
Author(s):  
NATTAPON SONPANOW ◽  
PIMPEN VEJJAJIVA
Keyword(s):  
Set Theory ◽  
Axiom Of Choice ◽  
Symbolic Logic ◽  
The Axiom Of Choice ◽  
The Relationship ◽  
Infinite Set

Forster [‘Finite-to-one maps’, J. Symbolic Logic68 (2003), 1251–1253] showed, in Zermelo–Fraenkel set theory, that if there is a finite-to-one map from ${\mathcal{P}}(A)$, the set of all subsets of a set $A$, onto $A$, then $A$ must be finite. If we assume the axiom of choice (AC), the cardinalities of ${\mathcal{P}}(A)$ and the set $S(A)$ of permutations on $A$ are equal for any infinite set $A$. In the absence of AC, we cannot make any conclusion about the relationship between the two cardinalities for an arbitrary infinite set. In this paper, we give a condition that makes Forster’s theorem, with ${\mathcal{P}}(A)$ replaced by $S(A)$, provable without AC.

scholarly journals The Frontier of Time: The Concept of Quantum Information

2020 ◽  
Author(s):  
Vasil Dinev Penchev
Keyword(s):  
Quantum Mechanics ◽  
Quantum Information ◽  
Natural Number ◽  
Set Theory ◽  
Peano Arithmetic ◽  
Axiom Of Choice ◽  
The Axiom Of Choice ◽  
Infinite Set ◽  
In Virtue Of

A concept of formal transcendentalism is utilized. The fundamental and definitive property of the totality suggests for “the totality to be all”, thus, its externality (unlike any other entity) is contained within it. This generates a fundamental (or philosophical) “doubling” of anything being referred to the totality, i.e. considered philosophically. Thus, that doubling as well as transcendentalism underlying it can be interpreted formally as an elementary choice such as a bit of information and a quantity corresponding to the number of elementary choices to be defined. This is the quantity of information defined both transcendentally and formally and thus, philosophically and mathematically. If one defines information specifically, as an elementary choice between finiteness (or mathematically, as any natural number of Peano arithmetic) and infinity (i.e. an actually infinite set in the meaning of set theory), the quantity of quantum information is defined. One can demonstrate that the so-defined quantum information and quantum information standardly defined by quantum mechanics are equivalent to each other. The equivalence of the axiom of choice and the well-ordering “theorem” is involved. It can be justified transcendentally as well, in virtue of transcendental equivalence implied by the totality. Thus, all can be considered as temporal as far anything possesses such a temporal counterpart necessarily. Formally defined, the frontier of time is the current choice now, a bit of information, furthermore interpretable as a qubit of quantum information.

scholarly journals On the number of normal subgroups of an uncountable group

1986 ◽  
Vol 41 (3) ◽  
pp. 343-351
Author(s):  
R. G. Burns ◽  
John Lawrence ◽  
Frank Okoh
Keyword(s):  
Finite Group ◽  
Set Theory ◽  
Axiom Of Choice ◽  
Partial Answer ◽  
Normal Subgroups ◽  
Uncountable Group ◽  
Index 2 ◽  
The Axiom Of Choice

AbstractIn this paper two theorems are proved that give a partial answer to a question posed by G. Behrendt and P. Neumann. Firstly, the existence of a group of cardinality ℵ1 with exactly ℵ1 normal subgroups, yet having a subgroup of index 2 with 2ℵ1 normal subgroups, is consistent with ZFC (the Zermelo-Fraenkel axioms for set theory together with the Axiom of Choice). Secondly, the statement “Every metabelian-by-finite group of cardinality ℵ1 has 2ℵ1 normal subgroups” is consistent with ZFC.

The dense linear ordering principle

1997 ◽  
Vol 62 (2) ◽  
pp. 438-456 ◽  
Author(s):  
David Pincus
Keyword(s):  
Prime Ideal ◽  
Set Theory ◽  
Ordered Set ◽  
Axiom Of Choice ◽  
Linear Ordering ◽  
Independence Result ◽  
The Axiom Of Choice ◽  
Infinite Set ◽  
Prime Ideal Theorem ◽  
The Way

AbstractLet DO denote the principle: Every infinite set has a dense linear ordering. DO is compared to other ordering principles such as O, the Linear Ordering principle, KW, the Kinna-Wagner Principle, and PI, the Prime Ideal Theorem, in ZF, Zermelo-Fraenkel set theory without AC, the Axiom of Choice.The main result is:Theorem. AC ⇒ KW ⇒ DO ⇒ O, and none of the implications is reversible in ZF + PI.The first and third implications and their irreversibilities were known. The middle one is new. Along the way other results of interest are established. O, while not quite implying DO, does imply that every set differs finitely from a densely ordered set. The independence result for ZF is reduced to one for Fraenkel-Mostowski models by showing that DO falls into two of the known classes of statements automatically transferable from Fraenkel-Mostowski to ZF models. Finally, the proof of PI in the Fraenkel-Mostowski model leads naturally to versions of the Ramsey and Ehrenfeucht-Mostowski theorems involving sets that are both ordered and colored.

scholarly journals Relations Between Some Cardinals in the Absence of the Axiom of Choice

2001 ◽  
Vol 7 (2) ◽  
pp. 237-261 ◽  
Author(s):  
Lorenz Halbeisen ◽  
Saharon Shelah
Keyword(s):  
Set Theory ◽  
Axiom Of Choice ◽  
Cardinal Numbers ◽  
Permutation Models ◽  
The Axiom Of Choice ◽  
The Relationship ◽  
Infinite Set

AbstractIf we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible relationships between them, where possible means that the relationship is consistent with the axioms of set theory. Further we investigate the relationships between some other cardinal numbers in specific permutation models and give some results provable without using the axiom of choice.

The Axiom of Choice Machine

2018 ◽  
Author(s):  
Alexander R. Pruss
Keyword(s):  
Set Theory ◽  
Laws Of Nature ◽  
Axiom Of Choice ◽  
Dutch Book ◽  
The Axiom Of Choice

This is a mainly technical chapter concerning the causal embodiment of the Axiom of Choice from set theory. The Axiom of Choice powered a construction of an infinite fair lottery in Chapter 4 and a die-rolling strategy in Chapter 5. For those applications to work, there has to be a causally implementable (though perhaps not compatible with our laws of nature) way to implement the Axiom of Choice—and, for our purposes, it is ideal if that involves infinite causal histories, so the causal finitist can reject it. Such a construction is offered. Moreover, other paradoxes involving the Axiom of Choice are given, including two Dutch Book paradoxes connected with the Banach–Tarski paradox. Again, all this is argued to provide evidence for causal finitism.

Sign in / Sign up

Export Citation Format

Share Document