scholarly journals Some Quotients of Chain Products are Symmetric Chain Orders

10.37236/2430 ◽  
2012 ◽  
Vol 19 (2) ◽  
Author(s):  
Dwight Duffus ◽  
Jeremy McKibben-Sanders ◽  
Kyle Thayer

Canfield and Mason have conjectured that for all subgroups $G$ of the automorphism group of the Boolean lattice $B_n$ (which can be regarded as the symmetric group $S_n$), the quotient order $B_n/G$ is a symmetric chain order.  We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, $B_n/G$ is an SCO whenever $G$ is generated by powers of disjoint cycles. In addition, the Boolean lattice $B_n$ can be replaced by any product of finite chains. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.

10.37236/5073 ◽  
2015 ◽  
Vol 22 (2) ◽  
Author(s):  
Dwight Duffus ◽  
Kyle Thayer

Subgroups of the symmetric group $S_n$ act on $C^n$ (the $n$-fold product $C \times \cdots \times C$ of a chain $C$) by permuting coordinates, and induce automorphisms of the power $C^n$. For certain families of subgroups of $S_n$, the quotients defined by these groups can be shown to have symmetric chain decompositions (SCDs). These SCDs allow us to enlarge the collection of subgroups $G$ of $S_n$ for which the quotient $\mathbf{2}^n/G$ on the Boolean lattice $\mathbf{2}^n$ is a symmetric chain order (SCO). The methods are also used to provide an elementary proof that quotients of powers of SCOs by cyclic groups are SCOs.


10.37236/1178 ◽  
2012 ◽  
Vol 19 (1) ◽  
Author(s):  
Vivek Dhand

A finite ranked poset is called a symmetric chain order if it can be written as a disjoint union of rank-symmetric, saturated chains. If $\mathcal{P}$ is any symmetric chain order, we prove that $\mathcal{P}^n/\mathbb{Z}_n$ is also a symmetric chain order, where $\mathbb{Z}_n$ acts on $\mathcal{P}^n$ by cyclic permutation of the factors.


CAUCHY ◽  
2016 ◽  
Vol 4 (3) ◽  
pp. 131
Author(s):  
Vira Hari Krisnawati ◽  
Corina Karim

<p class="abstract"><span lang="IN">In combinatorial mathematics, a Steiner system is a type of block design. Specifically, a Steiner system <em>S</em>(<em>t</em>, <em>k</em>, <em>v</em>) is a set of <em>v</em> points and <em>k</em> blocks which satisfy that every <em>t</em>-subset of <em>v</em>-set of points appear in the unique block. It is well-known that a finite projective plane is one examples of Steiner system with <em>t</em> = 2, which consists of a set of points and lines together with an incidence relation between them and order 2 is the smallest order.</span></p><p class="abstract"><span lang="IN">In this paper, we observe some properties from construction of finite projective planes of order 2 and 3. Also, we analyse the intersection between two projective planes by using some characteristics of the construction and orbit of projective planes over some representative cosets from automorphism group in the appropriate symmetric group.</span></p>


Author(s):  
Ingrid Bauer ◽  
Fabrizio Catanese

Abstract The Del Pezzo surface Y of degree 5 is the blow up of the plane in 4 general points, embedded in $${\mathbb {P}}^5$$P5 by the system of cubics passing through these points. It is the simplest example of the Buchsbaum–Eisenbud theorem on arithmetically-Gorenstein subvarieties of codimension 3 being Pfaffian. Its automorphism group is the symmetric group $${\mathfrak {S}}_5$$S5. We give canonical explicit $${\mathfrak {S}}_5$$S5-invariant Pfaffian equations through a 6$$\times $$×6 antisymmetric matrix. We give concrete geometric descriptions of the irreducible representations of $${\mathfrak {S}}_5$$S5. Finally, we give $${\mathfrak {S}}_5$$S5-invariant equations for the embedding of Y inside $$({\mathbb {P}}^1)^5$$(P1)5, and show that they have the same Hilbert resolution as for the Del Pezzo of degree 4.


2009 ◽  
Vol 309 (17) ◽  
pp. 5278-5283 ◽  
Author(s):  
Zongliang Jiang ◽  
Carla D. Savage

1988 ◽  
Vol s2-37 (2) ◽  
pp. 193-202 ◽  
Author(s):  
Joseph P. S. Kung ◽  
David C. Sutherland

10.37236/5328 ◽  
2016 ◽  
Vol 23 (2) ◽  
Author(s):  
István Tomon

The Boolean lattice $2^{[n]}$ is the power set of $[n]$ ordered by inclusion. A chain $c_{0}\subset\cdots\subset c_{k}$ in $2^{[n]}$ is rank-symmetric, if $|c_{i}|+|c_{k-i}|=n$ for $i=0,\ldots,k$; and it is symmetric, if $|c_{i}|=(n-k)/2+i$. We show that there exist a bijection $$p: [n]^{(\geq n/2)}\rightarrow [n]^{(\leq n/2)}$$ and a partial ordering $<$ on $[n]^{(\geq n/2)}$ satisfying the following properties:$\subset$ is an extension of $<$ on $[n]^{(\geq n/2)}$;if $C\subset [n]^{(\geq n/2)}$ is a chain with respect to $<$, then $p(C)\cup C$ is a rank-symmetric chain in $2^{[n]}$, where $p(C)=\{p(x): x\in C\}$;the poset $([n]^{(\geq n/2)},<)$ has the so called normalized matching property.We show two applications of this result.A conjecture of  Füredi asks if $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains such that the size of any two chains differ by at most 1. We prove an asymptotic version of this conjecture with the additional condition that every chain in the partition is rank-symmetric: $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ rank-symmetric chains, each of size $\Theta(\sqrt{n})$.Our second application gives a lower bound for the number of symmetric chain partitions of $2^{[n]}$. We show that $2^{[n]}$ has at least $2^{\Omega(2^{n}\log n/\sqrt{n})}$ symmetric chain partitions.


Sign in / Sign up

Export Citation Format

Share Document