English
Related papers

Related papers: CM-trivial structures without the canonical base p…

200 papers

Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property…

Logic · Mathematics 2013-06-25 Daniel Palacin , Frank Olaf Wagner

This paper is devoted to the construction of conditional logic system of {\L}ukasiewicz m-valued propositional logic. We construct conditional logic system {\L}CR based on {\L}ukasiewicz m-valued propositional logic. We construct world…

Logic · Mathematics 2024-07-30 Shuquan Huo

We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions…

Group Theory · Mathematics 2024-01-09 Michael Bate , Gerhard Röhrle , Damian Sercombe , David I. Stewart

We prove that sequentially Cohen-Macaulay rings in positive characteristic, as well as sequentially Cohen-Macaulay Stanley-Reisner rings in any characteristic, have trivial Lyubeznik table. Some other configurations of Lyubeznik tables are…

Commutative Algebra · Mathematics 2014-09-29 Josep Alvarez Montaner

Let $V$ be a finite relational vocabulary in which no symbol has arity greater than 2. Let $M$ be countable $V$-structure which is homogeneous, simple and 1-based. The first main result says that if $M$ is, in addition, primitive, then it…

Logic · Mathematics 2015-07-28 Vera Koponen

Suppose that M is countable, binary, primitive, homogeneous, and simple, and hence 1-based. We prove that the SU-rank of the complete theory of M is~1. It follows that M is a random structure. The conclusion that M is a random structure…

Logic · Mathematics 2016-08-10 Vera Koponen

We produce a simple group $G$ of cardinality $\aleph_1$ which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset $Y \subseteq G$ there exists a natural…

Group Theory · Mathematics 2024-03-06 Samuel M. Corson , Alexander Olshanskii , Olga Varghese

Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a…

Logic in Computer Science · Computer Science 2015-07-01 Arnon Avron , Ori Lahav

We introduce the notion of locally trivial quantum principal bundles. The base space and total space are compact quantum spaces (unital $C^{\star}$-algebras), the structure group is a compact matrix quantum group. We prove that a quantum…

High Energy Physics - Theory · Physics 2007-05-23 R. J. Budzynski , W. Kondracki

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$. In the 1950s Chevalley showed that $\mathfrak{g}$ admits particular bases, now called ``Chevalley bases'', for which the corresponding structure constants are…

Representation Theory · Mathematics 2024-04-12 Meinolf Geck , Alexander Lang

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

Group Theory · Mathematics 2019-10-22 Montserrat Casals-Ruiz , Albert Garreta , Javier de la Nuez González

CM-type projective varieties X of complex dimension n are characterized by their CM-type rational Hodge structures on the cohomology groups. One may impose such a condition in a weakest form when the canonical bundle of X is trivial; the…

Algebraic Geometry · Mathematics 2024-01-25 Masaki Okada , Taizan Watari

We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its…

Algebraic Geometry · Mathematics 2007-05-23 Jon Eivind Vatne

In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains…

Category Theory · Mathematics 2025-05-16 So Nakamura , Manuel L. Reyes

T. Kambayashi had shown that $\mathbb{A}^2$-forms over separable field extensions are necessarily polynomial rings. However, there exist inseparable $\mathbb{A}^2$-forms which are not necessarily polynomial rings. In this paper, we give a…

Commutative Algebra · Mathematics 2026-03-30 Debojyoti Saha

Motivated by an observation in "Vertices, sources and Green correspondents of the simple modules for the large Mathieu groups", J. of Algebra 322, we determine the source algebra, and therefore all the structure, of the blocks without…

Group Theory · Mathematics 2010-04-13 Lluis Puig , Yuanyang Zhou

Let $\mathfrak{g}$ be a simple Lie algebra over~$\mathbb{C}$ with root system~$\Phi$. In the simply laced case, Frenkel and Kac found a particularly simple construction of~$\mathfrak{g}$, together with a Chevalley basis and explicitly given…

Representation Theory · Mathematics 2026-02-24 Meinolf Geck

We discuss trivial deformations of the canonical Poisson brackets associated with the Toda lattices, relativistic Toda lattices, Henon-Heiles, rational Calogero-Moser and Ruijsenaars-Schneider systems and apply one of these deformations to…

Exactly Solvable and Integrable Systems · Physics 2013-02-25 Andrey V. Tsiganov

Relying on the classification of the indecomposable liftable modules in arbitrary blocks with non-trivial cyclic defect groups we give a complete classification of the trivial source modules lying in such blocks, describing in particular…

Representation Theory · Mathematics 2020-04-08 Gerhard Hiss , Caroline Lassueur

In the context of Hrushovski constructions we take a language $ \mathcal{L} $ with a ternary relation $ R $ and consider the theory of the generic models $ M^{*}_{\alpha}, $ of the class of finite $ \mathcal{L}$-structures equipped with…

Logic · Mathematics 2019-03-04 Ali N. Valizadeh , Massoud Pourmahdian