Idéaux bilatères des algèbres enveloppantes
A pretriangulated category is an additive category with left and right triangulations such that these two triangulations are compatible. In this paper, we first show that the idempotent completion of a left triangulated category admits a unique structure of left triangulated category and dually this is true for a right triangulated category. We then prove that the idempotent completion of a pretriangulated category has a natural structure of pretriangulated category. As an application, we show that...
We find an analytic formulation of the notion of Hopf image, in terms of the associated idempotent state. More precisely, if π:A → Mₙ(ℂ) is a finite-dimensional representation of a Hopf C*-algebra, we prove that the idempotent state associated to its Hopf image A' must be the convolution Cesàro limit of the linear functional φ = tr ∘ π. We then discuss some consequences of this result, notably to inner linearity questions.
In this paper, we extend some results of D. Dolzan on finite rings to profinite rings, a complete classification of profinite commutative rings with a monothetic group of units is given. We also prove the metrizability of commutative profinite rings with monothetic group of units and without nonzero Boolean ideals. Using a property of Mersenne numbers, we construct a family of power commutative non-isomorphic profinite semiprimitive rings with monothetic group of units.
We show that a homomorphism of algebras is a categorical epimorphism if and only if all induced morphisms of the associated module varieties are immersions. This enables us to classify all minimal singularities in the subvarieties of modules from homogeneous standard tubes.
The incidence coalgebras of interval finite posets I and their comodules are studied by means of the reduced Euler integral quadratic form , where K is an algebraically closed field. It is shown that for any such coalgebra the tameness of the category of finite-dimensional left -modules is equivalent to the tameness of the category of finitely copresented left -modules. Hence, the tame-wild dichotomy for the coalgebras is deduced. Moreover, we prove that for an interval finite ̃ *ₘ-free...