scholarly journals Example of a proper subgroup of $S_\infty $ which has a set-transitivity property

1963 ◽  
Vol 69 (2) ◽  
pp. 220-222 ◽  
Author(s):  
Gerald Stoller
2017 ◽  
Vol 39 (06) ◽  
pp. 1637-1667 ◽  
Author(s):  
VILLE SALO

We show that on the four-symbol full shift, there is a finitely generated subgroup of the automorphism group whose action is (set-theoretically) transitive of all orders on the points of finite support, up to the necessary caveats due to shift-commutation. As a corollary, we obtain that there is a finite set of automorphisms whose centralizer is $\mathbb{Z}$ (the shift group), giving a finitary version of Ryan’s theorem (on the four-symbol full shift), suggesting an automorphism group invariant for mixing subshifts of finite type (SFTs). We show that any such set of automorphisms must generate an infinite group, and also show that there is also a group with this transitivity property that is a subgroup of the commutator subgroup and whose elements can be written as compositions of involutions. We ask many related questions and prove some easy transitivity results for the group of reversible Turing machines, topological full groups and Thompson’s  $V$ .


Author(s):  
OMER ANGEL ◽  
YINON SPINKA

Abstract Consider an ergodic Markov chain on a countable state space for which the return times have exponential tails. We show that the stationary version of any such chain is a finitary factor of an independent and identically distributed (i.i.d.) process. A key step is to show that any stationary renewal process whose jump distribution has exponential tails and is not supported on a proper subgroup of ℤ is a finitary factor of an i.i.d. process.


2013 ◽  
Vol 63 (6) ◽  
Author(s):  
Temha Erkoç ◽  
Utku Yilmaztürk

AbstractA finite group whose irreducible complex characters are rational valued is called a rational group. Thus, G is a rational group if and only if N G(〈x〉)/C G(〈x〉) ≌ Aut(〈x〉) for every x ∈ G. For example, all symmetric groups and their Sylow 2-subgroups are rational groups. Structure of rational groups have been studied extensively, but the general classification of rational groups has not been able to be done up to now. In this paper, we show that a full symmetric group of prime degree does not have any rational transitive proper subgroup and that a rational doubly transitive permutation group containing a full cycle is the full symmetric group. We also obtain several results related to the study of rational groups.


1973 ◽  
Vol 15 (2) ◽  
pp. 222-227 ◽  
Author(s):  
Edward T. Ordman

Even if in a decomposition of a group the Ai are completely indecomposable, there may be another decomposition with each Cj properly contained in some Ai a proper subgroup of B. The example of Bryce ([1], p. 636) may be modified, at the cost of having one Ai = B, so that I = J and Ci > Ai for all i. It is our object to study this relationship between decompositions of a group.


2016 ◽  
Vol 12 (06) ◽  
pp. 1509-1518 ◽  
Author(s):  
Yongke Qu ◽  
Dongchun Han

Let [Formula: see text] be a finite abelian group of order [Formula: see text], and [Formula: see text] be the smallest prime dividing [Formula: see text]. Let [Formula: see text] be a sequence over [Formula: see text]. We say that [Formula: see text] is regular if for every proper subgroup [Formula: see text], [Formula: see text] contains at most [Formula: see text] terms from [Formula: see text]. Let [Formula: see text] be the smallest integer [Formula: see text] such that every regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] forms an additive basis of [Formula: see text], i.e. [Formula: see text]. Recently, [Formula: see text] was determined for many abelian groups. In this paper, we determined [Formula: see text] for more abelian groups and characterize the structure of the regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] and [Formula: see text].


2011 ◽  
Vol 53 (2) ◽  
pp. 401-410 ◽  
Author(s):  
LONG MIAO

AbstractA subgroup H is called weakly -supplemented in a finite group G if there exists a subgroup B of G provided that (1) G = HB, and (2) if H1/HG is a maximal subgroup of H/HG, then H1B = BH1 < G, where HG is the largest normal subgroup of G contained in H. In this paper we will prove the following: Let G be a finite group and P be a Sylow p-subgroup of G, where p is the smallest prime divisor of |G|. Suppose that P has a non-trivial proper subgroup D such that all subgroups E of P with order |D| and 2|D| (if P is a non-abelian 2-group, |P : D| > 2 and there exists D1 ⊴ E ≤ P with 2|D1| = |D| and E/D1 is cyclic of order 4) have p-nilpotent supplement or weak -supplement in G, then G is p-nilpotent.


1986 ◽  
Vol 20 (2) ◽  
pp. 241-243 ◽  
Author(s):  
S.V. Ovchinnikov

2015 ◽  
Vol 27 (2) ◽  
Author(s):  
Luis Ugarte ◽  
Raquel Villacampa

AbstractThe invariant balanced Hermitian geometry of nilmanifolds of dimension 6 is described. We prove that the (restricted) holonomy group of the associated Bismut connection reduces to a proper subgroup of SU(3) if and only if the complex structure is abelian. As an application we show that if


Sign in / Sign up

Export Citation Format

Share Document