For set functors preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. And the initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Taylor [16]. Finally, the initial ite...

An element x of a Lie algebra L over the field F is extremal if [x, [x, L]] = Fx. Under minor assumptions, it is known that, for a simple Lie algebra L, the extremal geometry E(L) is a subspace of the projective geometry of L and either has no lines or is the root shadow space of an irreducible spherical building ∆. We prove that if ∆ is of simply-laced type, then L is a quotient of a Chevalley...

We show that the defining relations needed to describe a generalized q-Schur algebra as a quotient of a quantized enveloping algebra are determined completely by the defining ideal of a certain finite affine variety, the points of which correspond bijectively to the set of weights. This explains, unifies, and extends previous results.

In this paper we study the filters in residuated algebras. We investigate the properties of the filters. We also define a congruence relation on the residuated algebras corresponding to a given filter and study its properties. We define the quotient algebra induced by this relation. We prove that this is also a residuated algebra with special properties.

We describe an algebraic approach for computing with vector based semantics. The tensor product has been proposed as a method of composition, but has the undesirable property that strings of different length are incomparable. We consider how a quotient algebra of the tensor algebra can allow such comparisons to be made, offering the possibility of data-driven models of semantic composition.

We prove that the abelian K-surfaces whose endomorphism algebra is an indefinite rational quaternion algebra are parametrized, up to isogeny, by the K-rational points of the quotient of certain Shimura curves by the group of their Atkin-Lehner involutions. To cite this article: X. Guitart, S. Molina, C. R. Acad. Sci. Paris, Ser. I

Here, we define (semi)topological L-algebras and some related results are approved. Then deduce conditions that mention an L-algebra to be a semi-topological or topological check attributes of them. Chiefly, display in L, if (L, ↠, τ ) is {1} open set L bounded satisfies the double negation property, then (L,τ) L-algebra. Finally, construct discrete topology on quotient L-algebra, under suit- a...

The paradigmatic result in symplectic toric geometry is the paper of Delzant that classifies compact connected symplectic manifolds with effective completely integrable torus actions, the so called (compact) symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a simple unim...

This paper studies the homological determinants and Nakayama automorphisms of not-necessarily-noetherian m-Koszul twisted Calabi-Yau or, equivalently, m-Koszul Artin-Schelter regular, algebras. Dubois-Violette showed that such an algebra is isomorphic to a derivation quotient algebra D(w, i) for a unique-up-to-scalar-multiples twisted superpotential w. By definition, D(w, i) is the quotient of ...