The automorphism group of a class of semi-groups

Let (S,·) be a semi-group having the following properties: (1)S=∪S _α where α is in some index setI andS _α are subgroups isomorphic to each other, (2)S _α∩S _β=Ø, a void set for α≠β and (3) the identity ofS _α is a left identity ofS for each α inI. Then the automorphism group Aut (S) ofS is studied from the point of category theory. It is proved that Aut (S) is determined by Aut (S _α) and right multiplications by the identities of groupsS _α.     

Une relation de séparation entre cocircuits d'un matroide

Let S₁′S₂′S₃′ be 3 distinct cocircuits of a matroid M on a set E. We say that S₁′ does not separate S₂′ and S₃′ when S₂′\S₁′ and S₃′\S₁′ are included in one single and the same component of the submatroid M × (E\S₁′). Our main result is: A matroid is graphic if and only if from any 3 cocircuits having a non-empty intersection there is at least one which separates the two others.     

Spaces which contain a copy of Sω or S2 and their applications

Let S_ω and S₂ denote the sequential fan and Arens' space, respectively. In this paper, we shall prove the following main results. (1) If Π^∞_i=1 X_i contains a copy of S_ω (S₂), then some Πⁿ_i=1 X_i contains a copy of S_ω (S_ω or S₂, respectively). (2) Let f: X → Y be a closed map such that any f^-1(y) contains no closed copy of S_ω (S₂). If X contains a closed copy of S_ω (S₂), then Y contains a closed copy of S_ω (S_ω or S₂, respectively).As applications of (1) and (2), we shall consider the Fréchet or strongly Fréchetness, or sequentiality of products of finitely or countably many spaces.     

Homological properties of modules over semigroup algebras

Let S be a semigroup. In this paper we investigate the injectivity of ?¹(S) as a Banach right module over ?¹(S). For weakly cancellative S this is the same as studying the flatness of the predual left module c₀(S). For such semigroups S, we also investigate the projectivity of c₀(S). We prove that for many semigroups S for which the Banach algebra ?¹(S) is non-amenable, the ?¹(S)-module ?¹(S) is not injective. The main result about the projectivity of c₀(S) states that for a weakly cancellative inverse semigroup S, c₀(S) is projective if and only if S is finite.     

On making two Steiner triple systems disjoint

We prove that if (S₁, β₁) and (S₂, β₂) are two Steiner triple systems of order v and if S is a set of v points, then there exist two disjoint Steiner triple systems (S, β₁′) and (S, β₂′) with (S₁, β₁) ? (S, β₁′) and (S₂, β₂) ? (S, β₂′).     

On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras

Let A be a Noetherian local ring with the maximal ideal m and an m-primary ideal J. Let S=?_n≥0S_n be a finitely generated standard graded algebra over A. Set S⁺=?_n>0S_n. Denote by F_J(S)=?_n≥0→(S_n/JS_n) the fiber cone of S with respect to J. The paper characterizes the multiplicity and the Cohen-Macaulayness of F_J(S) in terms of minimal reductions of S⁺.     

Divisibility properties of power LCM matrices by power GCD matrices on gcd-closed sets

Let e and n be positive integers and S={x₁,…,x_n} a set of n distinct positive integers. For x∈S, define . The n×n matrix whose (i,j)-entry is the eth power (x_i,x_j)^e of the greatest common divisor of x_i and x_j is called the eth power GCD matrix on S, denoted by (S^e). Similarly we can define the eth power LCM matrix [S^e]. Bourque and Ligh showed that (S)∣[S] holds in the ring of n×n matrices over the integers if S is factor closed. Hong showed that for any gcd-closed set S with |S|≤3, (S)∣[S]. Meanwhile Hong proved that there is a gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S)?[S]. In this paper, we introduce a new method to study systematically the divisibility for the case max_x∈S{|G_S(x)|}≤2. We give a new proof of Hong’s conjecture and obtain necessary and sufficient conditions on the gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S^e)|[S^e]. This partially solves an open question raised by Hong. Furthermore, we show that such factorization holds if S is a gcd-closed set such that each element is a prime power or the product of two distinct primes, and in particular if S is a gcd-closed set with every element less than 12.     

Partizan octal games: Partizan subtraction games

A subtraction gameS=(s ₁, ...,s _k)is a two-player game played with a pile of tokens where each player at his turn removes a number ofm of tokens providedmεS. The player first unable to move loses, his opponent wins. This impartial game becomes partizan if, instead of one setS, two finite setsS _L andS _R are given: Left removes tokens as specified byS _L, right according toS _R. We say thatS _L dominatesS _R if for all sufficiently large piles Left wins both as first and as second player. We exhibit a curious property of dominance and provide two subclasses of games in which a dominance relation prevails. We further prove that all partizan subtraction games areperiodic, and investigatepure periodicity.     

The equivalence classes of holomorphic mappings of genus 3 Riemann surfaces onto genus 2 Riemann surfaces

Denote the set of all holomorphic mappings of a genus 3 Riemann surface S ₃ onto a genus 2 Riemann surface S ₂ by Hol(S ₃, S ₂). Call two mappings f and g in Hol(S ₃, S ₂) equivalent whenever there exist conformal automorphisms α and β of S ₃ and S ₂ respectively with f ? α = β ? g. It is known that Hol(S ₃, S ₂) always consists of at most two equivalence classes.We obtain the following results: If Hol(S ₃, S ₂) consists of two equivalence classes then both S ₃ and S ₂ can be defined by real algebraic equations; furthermore, for every pair of inequivalent mappings f and g in Hol(S ₃, S ₂) there exist anticonformal automorphisms α? and β? with f ? α? = β? ? g. Up to conformal equivalence, there exist exactly three pairs of Riemann surfaces (S ₃, S ₂) such that Hol(S ₃, S ₂) consists of two equivalence classes.     

Reflexivity defect of spaces of linear operators

For a finite-dimensional linear subspace S⊆L(V,W) and a positive integer k, the k-reflexivity defect of S is defined by rd_k(S)=dim(Ref_k(S)/S), where Ref_k(S) is the k-reflexive closure of S. We study this quantity for two-dimensional spaces of operators and for single generated algebras and their commutants.     

Connectedness of curve complex of surface

For a closed orientable surface Sg of genus not smaller than 2,C(Sg) is the curve complex on S g whose vertices consist of the isotopy classes of nontrivial circles on Sg. It has been showed that any two vertices in C(Sg) can be connected by an edge path,and C(Sg) has an infinite diameter. We show that for 0 ≤i≤3g-5,two i-simplices can be connected by an(i +1)-path in C(Sg),and the diameter of C(Sg) under such a distance is infinite.     

Congruence and Conjunctivity of Matrices

Congruence of arbitrary square matrices over an arbitrary field is treated here by elementary classical methods, and likewise for conjunctivity of arbitrary square matrices over an arbitrary field with involution. Uniqueness results are emphasized, since they are largely neglected in the literature. In particular, it is shown that a matrix S is congruent [conjunctive] to S₀⊕S₁ with S₁ nonsingular, and that if S₁ here is of maximal size among all nonsingular matrices R₁ for which R₀⊕R₁ is congruent [conjunctive] to S, then the congruence [conjunctivity] class of S determines that of S₁. Partially canonical forms (most of them already known) are derived, to the extent that they do not depend on the field. Nearly canonical forms are derived for “neutral” matrices (those congruent or conjunctive with block matrices $\text{O}\text{N}\text{M}\text{O}$ with the two zero blocks being square). For a neutral matrix S over a field F,the F-congruence [F-conjunctivity] class of S is determined by the F-equivalence class of the pencil S+tS' [S+tS¹] and, if the pencil is nonsingular, by the F[t]-equivalence class of S+tS' [S+tS¹].     

Smoothing effect of compound Poisson approximations to the distributions of weighted sums

We investigate the closeness of a compound Poisson approximation to the sum S?=?w ₁ S ₁?+?w ₂ S ₂?+???+?w _N S _N in the Kolmogorov norm. Here S _i are sums of independent or weakly dependent random variables, and w _i are weights. The overall smoothing effect of S on w _i S _i is estimated by Lévy’s concentration function.     

The characterization of sort sequences

A sort sequenceS _n is a sequence of all unordered pairs of indices inI _n = 1, 2, ...,n. With a sort sequenceS _n, we associate a sorting algorithmA(S _n) to sort input setX = x ₁, x₂, ..., x_n as follows. An execution of the algorithm performs pairwise comparisons of elements in the input setX as defined by the sort sequenceS _n, except that the comparisons whose outcomes can be inferred from the outcomes of the previous comparisons are not performed. Let χ(S _n) denote the average number of comparisons required by the algorithmA(S _n assuming all input orderings are equally likely. Let χ*(n) and χ°(n) denote the minimum and maximum values, respectively, of χ(S _n) over all sort sequencesS _n. Exact determination of χ*(n), χO(n) and associated extremal sort sequences seems difficult. Here, we obtain bounds on χ*(n) and χO(n).     

On the Möbius function of the locally finite poset associated with a numerical semigroup

Let S be a numerical semigroup and let (?,≤ _S ) be the (locally finite) poset induced by S on the set of integers ? defined by x≤ _S y if and only if y?x∈S for all integers x and y. In this paper, we investigate the Möbius function associated to (?,≤ _S ) when S is an arithmetic semigroup.     

Several generalizations of Tverberg’s theorem

In a generalization of Radon’s theorem, Tverberg showed that each setS of at least (d+1) (r ? 1)+1 points inR ^d has anr-partition into (pair wise disjoint) subsetsS =S ₁ ∪ … ∪S _r so that \(\bigcap\nolimits_i^r {\underline{\underline {}} } _1 \) convS _i # Ø. This note considers the following more general problems: (1) How large mustS σR ^d be to assure thatS has anr-partitionS=S ₁∪ … ∪S _r so that eachn members of the family {convS _i ～ _i-1 ^r have non-empty intersection, where 1<=n<=r. (2) How large mustS ∪R ^d be to assure thatS has anr-partition for which \(\bigcap\nolimits_i^r {\underline{\underline {}} } _1 \) convS _r is at least 1-dimensional.     

On right congruences associated with the input semigroupS of automata

LetA=(M, S, δ) be an automaton without outputs whereM is a nonemptyset andS is a nonempty semigroup. Then the right congruences μM and μ _m associated withS have been expressed in many different ways (μ _M is called the Myhill-Nerode congruence onS). Also, their algebraic properties have been investigated. We have introduced the right congruences μ _S and μ_α onM and we have obtained necessary and sufficient conditions thatS/μ andM/w have nontrivialS-homomorphisms where μ andw are any right congruences onS andM respectively. The faithfulness ofS has been introduced.     

Asymptotic expansions for distributions of latent roots in multivariate analysis

Asymptotic expansions are given for the distributions of latent roots of matrices in three multivariate situations. The distribution of the roots of the matrix S₁(S₁ + S₂)^?1, where S₁ is $\text{W}{}_{\mathrm{<mtext>m</mtext>}}\text{(n}{}_1\text{, Σ, Ω)}$ and S₂ is W_m(n₂, Σ), is studied in detail and asymptotic series for the distribution are obtained which are valid for some or all of the roots of the noncentrality matrix Ω large. These expansions are obtained using partial-differential equations satisfied by the distribution. Asymptotic series are also obtained for the distributions of the roots of n^?1S, where S in W_m(n, Σ), for large n, and S₁S₂^?1, where S₁ is W_m(n₁, Σ) and S₂ is W_m(n₂, Σ), for large n₁ + n₂.     

Subsets of a finite set that intersect each other in at most one element

In this paper we study de Bruijn-Erdös type theorems that deal with the foundations of finite geometries. The following theorem is one of our main conclusions. Let S₁,…, S_n be n subsets of an n-set S. Suppose that |S_i| ? 3 (i = 1,…,n) and that |S_i ∩ S_j| ? 1 (i ≠ j;i,j = 1,…,n). Suppose further that each S_i has nonempty intersection with at least n ? 2 of the other subsets. Then the subsets S₁,…,S_n of S are one of the following configurations. (1) They are a finite projective plane. (2) They are a symmetric group divisible design and each subset has nonempty intersection with exactly n ? 2 of the other subsets. (3) We have n = 9 or n = 10 and in each case there exists a unique configuration that does not satisfy (1) or (2).     

On character amenability of semigroup algebras

Let S be a foundation locally compact topological semigroup, and let M _a (S) be the space of all measures μ∈M(S) for which the maps x?|μ|?δ _x and x?|μ|?δ _x from S into M(S) are weakly continuous. The purpose of this article is to develop a notion of character amenability for semigroup algebras. The main results concern the χ-amenability of M _a (S). We give necessary and sufficient conditions for the existence of a left χ-mean on M _a (S)^?.