Related papers: Monomorphisms of Coalgebras
We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…
Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…
In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph…
We prove that if $G$ and $H$ are primitive strongly regular graphs with the same parameters and $\varphi$ is a homomorphism from $G$ to $H$, then $\varphi$ is either an isomorphism or a coloring (homomorphism to a complete subgraph).…
We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the…
Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $\pi$ from $A$ to $H$…
The criteria for a baric algebra $A$ (over a field $K$) to have a unique weight homomorphism are found. One of them requires a certain system of equations to have a unique non-trivial solution in the field $K$. Applying this criterion, we…
The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences…
A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…
In this paper, we study Dorroh extensions of bialgebras and Hopf algebras. Let $(H,I)$ be both a Dorroh pair of algebras and a Dorroh pair of coalgebras. We give necessary and sufficient conditions for $H\ltimes_dI$ to be a bialgebra and a…
We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…
We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…
Let $X$ be a finite CW complex and let $h_1, h_2: C(X)\to A$ be two unital \hm s, where $A$ is a unital C*-algebra. We study the problem when $h_1$ and $h_2$ are approximately homotopic. We present a $K$-theoretical necessary and sufficient…
The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all…
We show that any compact quantum group having the same fusion rules as the ones of $SO(3)$ is the quantum automorphism group of a pair $(A, \varphi)$, where $A$ is a finite dimensional $C^*$-algebra endowed with a homogeneous faithful…
Dendriform coalgebras are the dual notion of dendriform algebras and are splitting of associative coalgebras. In this paper, we define a cohomology theory for dendriform coalgebras based on some combinatorial maps. We show that the…
A linear map $\phi:{\mathcal A}\to {\mathcal B} $ between (Banach) algebras is called 3-homomorphism if $\phi(abc)=\phi(a)\phi(b)\phi(c)$ for each $a, b, c \in {\mathcal A}$. We investigate 3-homomorphisms on Banach algebras with bounded…
We study the monomorphisms in the category LSpFi of spaces with Lindel\"{o}f Filters. We extend the criterion derived by R. Ball and A. Hager in "Monomorphisms in Spaces with Lindel\"{o}f Filters", Czech. Math.J. 57, No.1 (2007) 281-317.…