English
Related papers

Related papers: Critical points between varieties generated by sub…

200 papers

For a class V of algebras, denote by Conc(V) the class of all semilattices isomorphic to the semilattice Conc(A) of all compact congruences of A, for some A in V. For classes V1 and V2 of algebras, we denote by crit(V1,V2) the smallest…

Rings and Algebras · Mathematics 2009-03-05 Pierre Gillibert

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…

Logic · Mathematics 2014-03-24 Pierre Gillibert

We denote by Conc(L) the semilattice of all finitely generated congruences of a lattice L. For varieties (i.e., equational classes) V and W of lattices such that V is contained neither in W nor its dual, and such that every simple member of…

Logic · Mathematics 2014-03-24 Pierre Gillibert

A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…

Category Theory · Mathematics 2010-12-10 Pierre Gillibert

The critical point between varieties A and B of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of A but of no member of B, if it exists. The study of critical points gives rise to a whole…

Rings and Algebras · Mathematics 2011-02-28 Friedrich Wehrung

Let V $\subset$ C n be an equidimensional algebraic set and g be an n-variate polynomial with rational coefficients. Computing the critical points of the map that evaluates g at the points of V is a cornerstone of several algorithms in real…

Symbolic Computation · Computer Science 2016-05-10 Mohab Safey El Din , Pierre-Jean Spaenlehauer

We study the subalgebra of the lattice vertex operator algebra $V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is induced from an order 3 isometry of the root lattice $A_2$. We classify the simple modules for the…

Quantum Algebra · Mathematics 2013-12-18 Kenichiro Tanabe , Hiromichi Yamada

We show that V(A(T)) does not have definable principal subcongruences or bounded Maltsev depth. When the Turing machine T halts, V(A(T)) is an example of a finitely generated semilattice based (and hence congruence meet-semidistributive)…

Rings and Algebras · Mathematics 2019-06-07 Matthew Moore

We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, such that for any variety V of algebras, if D has a lifting, with respect to the…

Rings and Algebras · Mathematics 2007-05-23 Friedrich Wehrung , Jiri Tuma

We prove that every distributive algebraic lattice with at most $\aleph\_1$ compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The $\aleph\_1$ bound is optimal, as…

General Mathematics · Mathematics 2007-05-23 Pavel Ruzicka , Jiri Tuma , Friedrich Wehrung

Let $V$ be an absolutely irreducible affine variety over $\mathbb{F}_p$. A Lehmer point on $V$ is a point whose coordinates satisfy some prescribed congruence conditions, and a visible point is one whose coordinates are relatively prime.…

Number Theory · Mathematics 2019-02-20 Kit-Ho Mak , Alexandru Zaharescu

A vector space A of matrices is called rank-critical if any vector space that properly contains A has a strictly higher generic rank. I present a sufficient condition for A to be rank-critical, and apply this condition to prove that certain…

Representation Theory · Mathematics 2017-10-10 Jan Draisma

A point of an algebraic curve of genus g is subcanonical if some regular differential vanishes only at that point, with multiplicity 2g-2. Subcanonical points are Weierstrass points, and we compute the associated gap sequence at a general…

Algebraic Geometry · Mathematics 2011-05-03 Evan M. Bullock

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

Category Theory · Mathematics 2011-05-11 Pierre Gillibert , Friedrich Wehrung

We introduce an algebraicity criteria. It has the following form: under certain conditions, an analytic subvariety of some algebriac variety over a global field $K$, if it contains many $K$-points, then it is algebraic over $K.$ This gives…

Number Theory · Mathematics 2022-02-21 Junyi Xie

We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…

Logic · Mathematics 2021-01-12 Peter Mayr , Agnes Szendrei

For a left vector space V over a totally ordered division ring F, let Co(V) denote the lattice of convex subsets of V. We prove that every lattice L can be embedded into Co(V) for some left F-vector space V. Furthermore, if L is finite…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung , Marina V. Semenova

If $L$ is a semisimple Lie algebra of vector fields on R^N with a split Cartan subalgebra C, then it is proved that the dimension of the generic orbit of C coincides with the dimension of C. As a consequence one obtains a local canonical…

Representation Theory · Mathematics 2016-12-28 Hassan Azad , Indranil Biswas , Fazal M. Mahomed

Let $j:V_\lambda---> V_\lambda$ be an elementary embedding, with critical point $\kappa$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(\kappa)$ and $j^{n+1}(\kappa)$.…

Logic · Mathematics 2008-02-03 Richard Laver

A synaptic algebra $A$ is a generalization of the self-adjoint part of a von Neumann algebra. We study a linear subspace $V$ of $A$ in regard to the question of when $V$ is a vector lattice. Our main theorem states that if $V$ contains the…

Rings and Algebras · Mathematics 2016-05-24 David J. Foulis , Anna Jencova , Sylvia Pulmannova
‹ Prev 1 2 3 10 Next ›