Related papers: Minimal characteristic bisets for fusion systems
We investigate properties of families $F$ of subsets of a finite set in a situation where subsets are incomparable by the binary inclusion relation and a) for any $A\notin F$, there is such set $A'\in F$ that either $A\subset A'$ or…
We consider the ideal structure of reduced crossed products over discrete groups. First, we completely characterize primality for reduced crossed products. Second, we characterize the ideal intersection property for reduced crossed products…
The lambda-calculus with de Bruijn indices assembles each alpha-class of lambda-terms in a unique term, using indices instead of variable names. Intersection types provide finitary type polymorphism and can characterise normalisable…
We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable…
We say that a fusion system is the composition product of two subsystems if every morphism can be factored as a morphism in one fusion system followed by a morphism in the other. We establish a relationship between the characteristic…
We discuss F(sigma) filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F(sigma) filter is the better known bounded evasion number e(ubd). An application to N-sets from…
Minimax decentralized detection is studied under two scenarios: with and without a fusion center when the source of uncertainty is the Bayesian prior. When there is no fusion center, the constraints in the network design are determined.…
We prove that the factorization of a saturated fusion system over a discrete $p$-toral group as a product of indecomposable subsystems is unique up to normal automorphisms of the fusion system and permutations of the factors. In particular,…
In this article we study several classes of `small' 2-groups: we complete the classification, started in [Stancu, 2006], of all saturated fusion systems on metacyclic p-groups for all primes p. We consider Suzuki 2-groups, and classify all…
We prove that if $\mathcal{E}\trianglelefteq\mathcal{F}$ are saturated fusion systems over $p$-groups $T\trianglelefteq S$, such that $C_S(\mathcal{E})\le T$, and either $Aut_{\mathcal{F}}(T)/Aut_{\mathcal{E}}(T)$ or $Out(\mathcal{E})$ is…
We classify fusion systems $\mathcal{F}$ in which $O_p(\mathcal{F})=\{1\}$, and there are two $\mathrm{Aut}_{\mathcal{F}}(S)$-invariant essential subgroups whose normalizer systems generate $\mathcal{F}$. We employ the amalgam method and,…
Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-\v{C}ech Compactification of…
We investigate the structure of the monomial Burnside biset functor over a field of characteristic zero, with particular focus on its restriction kernels. For each finite \( p \)-group \( G \), we give an explicit description of the…
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…
It is still open whether there exist infinitely many Fermat primes or infinitely many composite Fermat numbers. The same question concerning the Mersenne numbers is also unsolved. Extending some results from [9], we characterizethe the…
Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\in\beta S$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely…
For a set $S$ of (positive definite and integral) quadratic forms with bounded rank, a quadratic form $f$ is called $S$-universal if it represents all quadratic forms in $S$. A subset $S_0$ of $S$ is called an $S$-universality criterion set…
We state a sufficient condition for a fusion system to be saturated. This is then used to investigate localities with kernels, i.e. localities which are (in a particular way) extensions of groups by localities. As an application of these…
The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube only types Strongly Normalising (SN) terms but not all of…
We show that every fusion system on a p-group S is equal to the fusion system associated to a discrete group G with the property that every p-subgroup of G is conjugate to a subgroup of S.