Bimodule resolution of the Liu-Schulz algebras.
Kosovskaya, N.Yu. (2005)
Zapiski Nauchnykh Seminarov POMI
Similarity:
Kosovskaya, N.Yu. (2005)
Zapiski Nauchnykh Seminarov POMI
Similarity:
Terry A. Loring (1993)
Mathematica Scandinavica
Similarity:
Hadjigeorgiou, R.I. (1997)
Portugaliae Mathematica
Similarity:
Warren Dicks (1988)
Publicacions Matemàtiques
Similarity:
A direct proof of Braun's characterization of Azumaya algebras is given.
Zygmunt Pogorzały (2001)
Colloquium Mathematicae
Similarity:
We study a connection between left-right projective bimodules and stable equivalences of Morita type for finite-dimensional associative algebras over a field. Some properties of the category of all finite-dimensional left-right projective bimodules for self-injective algebras are also given.
Chigogidze, Alex (2003)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Takeshi Katsura, Paul S. Muhly, Aidan Sims, Mark Tomforde (2008)
Studia Mathematica
Similarity:
Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde for topological quiver algebras and of Katsura for topological graph C*-algebras to study the K-theory and gauge-invariant ideal structure of ultragraph C*-algebras.
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Jaroslav Drahoš (1971)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Krzysztof Jarosz (2005)
Banach Center Publications
Similarity:
Fidel Hernández Advíncula, Eduardo do Nascimento Marcos (2007)
Colloquium Mathematicae
Similarity:
The aim of this work is to characterize the algebras which are standardly stratified with respect to any order of the simple modules. We show that such algebras are exactly the algebras with all idempotent ideals projective. We also deduce as a corollary a characterization of hereditary algebras, originally due to Dlab and Ringel.
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...