Hopf $ {\pi } $-crossed biproduct and related coquasitriangular structures

Tianshui Ma; Yanan Song

Displaying similar documents to “Hopf $π$ -crossed biproduct and related coquasitriangular structures”

The duality theorem for twisted smash products of Hopf algebras and its applications

Zhongwei Wang, Liangyun Zhang (2015)

Colloquium Mathematicae

Similarity:

Let $A_{T} H$ denote the twisted smash product of an arbitrary algebra A and a Hopf algebra H over a field. We present an analogue of the celebrated Blattner-Montgomery duality theorem for $A_{T} H$ , and as an application we establish the relationship between the homological dimensions of $A_{T} H$ and A if H and its dual H* are both semisimple.

Monomorphisms of coalgebras

A. L. Agore (2010)

Colloquium Mathematicae

Similarity:

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, φ: C → D is a monomorphism of coalgebras if and only if the first cohomology groups of the coalgebras C and D coincide if and only if $\sum_{i \in I} ε (a^{i}) b^{i} = \sum_{i \in I} a^{i} ε (b^{i})$ for all $\sum_{i \in I} a^{i} \otimes b^{i} \in C ◻_{D} C$ . In particular, necessary and sufficient conditions for a Hopf algebra map to be a monomorphism are given.

A new way to iterate Brzeziński crossed products

Leonard Dăuş, Florin Panaite (2016)

Colloquium Mathematicae

Similarity:

If $A \otimes_{R, σ} V$ and $A \otimes_{P, ν} W$ are two Brzeziński crossed products and Q: W⊗ V → V⊗ W is a linear map satisfying certain properties, we construct a Brzeziński crossed product $A \otimes_{S, θ} (V \otimes W)$ . This construction contains as a particular case the iterated twisted tensor product of algebras.

Yetter-Drinfeld-Long bimodules are modules

Daowei Lu, Shuan Hong Wang (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $H$ be a finite-dimensional bialgebra. In this paper, we prove that the category $ℒℛ (H)$ of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category $_{H \otimes H^{*}}^{H \otimes H^{*}} 𝒴𝒟$ over the tensor product bialgebra $H \otimes H^{*}$ as monoidal categories. Moreover if $H$ is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.

A construction of the Hom-Yetter-Drinfeld category

Haiying Li, Tianshui Ma (2014)

Colloquium Mathematicae

Similarity:

In continuation of our recent work about smash product Hom-Hopf algebras [Colloq. Math. 134 (2014)], we introduce the Hom-Yetter-Drinfeld category $_{H}^{H}$ via the Radford biproduct Hom-Hopf algebra, and prove that Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and $_{H}^{H}$ is a pre-braided tensor category, where (H,β,S) is a Hom-Hopf algebra. Furthermore, we show that $(A ♮_{⋄} H, α \otimes β)$ is a Radford biproduct Hom-Hopf algebra if and only if (A,α) is a Hom-Hopf algebra in the category...

$ω_{0}$ -categoricity of generalized products

Jan Waszkiewicz (1973)

Colloquium Mathematicae

Similarity:

Cobraided smash product Hom-Hopf algebras

Tianshui Ma, Haiying Li, Tao Yang (2014)

Colloquium Mathematicae

Similarity:

Let (A,α) and (B,β) be two Hom-Hopf algebras. We construct a new class of Hom-Hopf algebras: R-smash products $(A ♮_{R} B, α \otimes β)$ . Moreover, necessary and sufficient conditions for $(A ♮_{R} B, α \otimes β)$ to be a cobraided Hom-Hopf algebra are given.

Relating quantum and braided Lie algebras

X. Gomez, S. Majid (2003)

Banach Center Publications

Similarity:

We outline our recent results on bicovariant differential calculi on co-quasitriangular Hopf algebras, in particular that if $_{Γ}$ is a quantum tangent space (quantum Lie algebra) for a CQT Hopf algebra A, then the space $k \oplus_{Γ}$ is a braided Lie algebra in the category of A-comodules. An important consequence of this is that the universal enveloping algebra $U (_{Γ})$ is a bialgebra in the category of A-comodules.

$ℵ_{0}$ -categoricity of products of 1-unary algebras

Philip Olin (1975)

Colloquium Mathematicae

Similarity:

Separable functors for the category of Doi Hom-Hopf modules

Shuangjian Guo, Xiaohui Zhang (2016)

Colloquium Mathematicae

Similarity:

Let $̃ (_{k}) {(H)}_{A}^{C}$ be the category of Doi Hom-Hopf modules, $̃ {(_{k})}_{A}$ be the category of A-Hom-modules, and F be the forgetful functor from $̃ (_{k}) {(H)}_{A}^{C}$ to $̃ {(_{k})}_{A}$ . The aim of this paper is to give a necessary and suffcient condition for F to be separable. This leads to a generalized notion of integral. Finally, applications of our results are given. In particular, we prove a Maschke type theorem for Doi Hom-Hopf modules.

Two results of $n$ -exangulated categories

Jian He, Jing He, Panyue Zhou (2024)

Czechoslovak Mathematical Journal

Similarity:

M. Herschend, Y. Liu, H. Nakaoka introduced $n$ -exangulated categories, which are a simultaneous generalization of $n$ -exact categories and $(n + 2)$ -angulated categories. This paper consists of two results on $n$ -exangulated categories: (1) we give an equivalent characterization of axiom (EA2); (2) we provide a new way to construct a closed subfunctor of an $n$ -exangulated category.

The Group of Invertible Elements of the Algebra of Quaternions

Irina A. Kuzmina, Marie Chodorová (2016)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

We have, that all two-dimensional subspaces of the algebra of quaternions, containing a unit, are 2-dimensional subalgebras isomorphic to the algebra $ℂ$ of complex numbers. It was proved in the papers of N. E. Belova. In the present article we consider a 2-dimensional subalgebra $(i)$ of complex numbers with basis $1, i$ and we construct the principal locally trivial bundle which is isomorphic to the Hopf fibration.

Right coideal subalgebras of $U_{q}^{+} ({𝔰𝔬}_{2 n + 1})$

V. K. Kharchenko (2011)

Journal of the European Mathematical Society

Similarity:

We give a complete classification of right coideal subalgebras that contain all grouplike elements for the quantum group $U_{q}^{+} ({𝔰𝔬}_{2 n + 1})$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t > 4$ ; this classification remains valid for homogeneous right coideal subalgebras of the Frobenius–Lusztig kernel $u_{q}^{+} ({𝔰𝔬}_{2 n + 1})$ . In particular, the total number of right coideal subalgebras that contain the coradical equals $(2 n)!!$ ; the order of the Weyl group defined by the root system of type $B_{n}$ .

Explicit algebraic dependence formulae for infinite products related with Fibonacci and Lucas numbers

Hajime Kaneko, Takeshi Kurosawa, Yohei Tachiya, Taka-aki Tanaka (2015)

Acta Arithmetica

Similarity:

Let d ≥ 2 be an integer. In 2010, the second, third, and fourth authors gave necessary and sufficient conditions for the infinite products $\prod_{\binom{k = 1}{U_{d^{k}} \neq - a_{i}}}^{\infty} (1 + (a_{i}) / (U_{d^{k}}))$ (i=1,...,m) or $\prod_{\binom{k = 1}{V_{d^{k}} \neq - a_{i}}}^{\infty} (1 + (a_{i}) (V_{d^{k}})$ (i=1,...,m) to be algebraically dependent, where $a_{i}$ are non-zero integers and $U_{n}$ and $V_{n}$ are generalized Fibonacci numbers and Lucas numbers, respectively. The purpose of this paper is to relax the condition on the non-zero integers $a_{1}, . . ., a_{m}$ to non-zero real algebraic numbers, which gives new cases where the infinite products above are algebraically...

Bifurcation theorems for nonlinear problems with lack of compactness

Francesca Faraci, Roberto Livrea (2003)

Annales Polonici Mathematici

Similarity:

We deal with a bifurcation result for the Dirichlet problem ⎧ $- Δ_{p} u = μ / {| x |}^{p} {| u |}^{p - 2} u + λ f (x, u)$ a.e. in Ω, ⎨ ⎩ $u_{| \partial Ω} = 0$ . Starting from a weak lower semicontinuity result by E. Montefusco, which allows us to apply a general variational principle by B. Ricceri, we prove that, for μ close to zero, there exists a positive number $λ *_{μ}$ such that for every $λ \in] 0, λ *_{μ} [$ the above problem admits a nonzero weak solution $u_{λ}$ in $W ₀^{1, p} (Ω)$ satisfying $l i m_{λ \to 0 ⁺} | | u_{λ} | | = 0$ .

$n$ -angulated quotient categories induced by mutation pairs

Zengqiang Lin (2015)

Czechoslovak Mathematical Journal

Similarity:

Geiss, Keller and Oppermann (2013) introduced the notion of $n$ -angulated category, which is a “higher dimensional” analogue of triangulated category, and showed that certain $(n - 2)$ -cluster tilting subcategories of triangulated categories give rise to $n$ -angulated categories. We define mutation pairs in $n$ -angulated categories and prove that given such a mutation pair, the corresponding quotient category carries a natural $n$ -angulated structure. This result generalizes a theorem of Iyama-Yoshino...

Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras

Christian Kassel (2013)

Annales mathématiques Blaise Pascal

Similarity:

We define polynomial $H$ -identities for comodule algebras over a Hopf algebra $H$ and establish general properties for the corresponding $T$ -ideals. In the case $H$ is a Taft algebra or the Hopf algebra $E (n)$ , we exhibit a finite set of polynomial $H$ -identities which distinguish the Galois objects over $H$ up to isomorphism.

A geometric problem and the Hopf Lemma. I

Yan Yan Li, Louis Nirenberg (2006)

Journal of the European Mathematical Society

Similarity:

A classical result of A. D. Alexandrov states that a connected compact smooth $n$ -dimensional manifold without boundary, embedded in $ℝ^{n + 1}$ , and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of $M$ in a hyperplane $X_{n + 1} = const$ in case $M$ satisfies: for any two points $(X^{'}, X_{n + 1})$ , $(X^{'}, {\hat{X}}_{n + 1})$ on $M$ , with $X_{n + 1} > {\hat{X}}_{n + 1}$ , the mean curvature at the first is not greater than that at the second. Symmetry need not always hold, but in this paper, we establish it under some additional condition for $n = 1$ ....

Strong bifurcation loci of full Hausdorff dimension

Thomas Gauthier (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In the moduli space $ℳ_{d}$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1, 1)$ positive current $T_{bif}$ which is called the bifurcation current. This current gives rise to a measure $μ_{bif} : = {(T_{bif})}^{2 d - 2}$ whose support is the seat of strong bifurcations. Our main result says that $supp (μ_{bif})$ has maximal Hausdorff dimension $2 (2 d - 2)$ . As a consequence, the set of degree $d$ rational maps having $(2 d - 2)$ distinct neutral cycles is dense in a set of full Hausdorff dimension.

Limits and colimits in certain categories of spaces of continuous functions

Marvin W. Grossman

Similarity:

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

Isomorphisms of Cartesian Products of ℓ-Power Series Spaces

E. Karapınar, M. Yurdakul, V. Zahariuta (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let ℓ be a Banach sequence space with a monotone norm $∥ \cdot ∥_{ℓ}$ , in which the canonical system $(e_{i})$ is a normalized symmetric basis. We give a complete isomorphic classification of Cartesian products $E_{0}^{ℓ} (a) \times E_{\infty}^{ℓ} (b)$ where $E_{0}^{ℓ} (a) = K^{ℓ} (e x p (- p^{- 1} a_{i}))$ and $E_{\infty}^{ℓ} (b) = K^{ℓ} (e x p (p a_{i}))$ are finite and infinite ℓ-power series spaces, respectively. This classification is the generalization of the results by Chalov et al. [Studia Math. 137 (1999)] and Djakov et al. [Michigan Math. J. 43 (1996)] by using the method of compound linear topological invariants developed by...

The categories of presheaves containing any category of algebras

V. Trnková, J. Reiterman

Similarity:

ContentsIntroduction.................................................................................................................................................. 5I. Preliminaries........................................................................................................................................... 6II. Main theorem.......................................................................................................................................... 8III. The...

On bifurcation and uniqueness results for some semilinear elliptic equations involving a singular potential

Manuela Chaves, Jesús García-Azorero (2006)

Journal of the European Mathematical Society

Similarity:

We present some results concerning the problem $- Δ u = λ \frac{u}{{| x |}^{2}} + u^{q}$ , $u > 0$ in $Ω$ , ${u |}_{\partial Ω} = 0$ , where $0 < q < (N + 2) / (N - 2)$ , $q \neq 1$ , $λ \geq 0$ and $Ω$ is a smooth bounded domain containing the origin. In particular, bifurcation and uniqueness results are discussed.

Truncation and Duality Results for Hopf Image Algebras

Teodor Banica (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Associated to an Hadamard matrix $H \in M_{N} (ℂ)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G \subset S ⁺_{N}$ . We study a certain family of discrete measures $μ^{r} \in [0, N]$ , coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type $\int_{0}^{N} {(x / N)}^{p} d μ^{r} (x) = \int_{0}^{N} {(x / N)}^{r} d ν^{p} (x)$ , where $μ^{r}, ν^{r}$ are the truncations of the spectral measures μ,ν associated to $H, H^{t}$ . We also prove, using these truncations $μ^{r}, ν^{r}$ , that for any deformed Fourier matrix $H = F_{M} \otimes_{Q} F_{N}$ we have μ = ν.

Nonanalyticity of solutions to $\partial_{t} u = \partial ²_{x} u + u ²$

Grzegorz Łysik (2003)

Colloquium Mathematicae

Similarity:

It is proved that the solution to the initial value problem $\partial_{t} u = \partial ²_{x} u + u ²$ , u(0,x) = 1/(1+x²), does not belong to the Gevrey class $G^{s}$ in time for 0 ≤ s < 1. The proof is based on an estimation of a double sum of products of binomial coefficients.

Copies of $l_{p}^{n}$ ’s uniformly in the spaces $Π_{2} (C [0, 1], X)$ and $Π_{1} (C [0, 1], X)$

Dumitru Popa (2017)

Czechoslovak Mathematical Journal

Similarity:

We study the presence of copies of $l_{p}^{n}$ ’s uniformly in the spaces $Π_{2} (C [0, 1], X)$ and $Π_{1} (C [0, 1], X)$ . By using Dvoretzky’s theorem we deduce that if $X$ is an infinite-dimensional Banach space, then $Π_{2} (C [0, 1], X)$ contains $λ \sqrt{2}$ -uniformly copies of $l_{\infty}^{n}$ ’s and $Π_{1} (C [0, 1], X)$ contains $λ$ -uniformly copies of $l_{2}^{n}$ ’s for all $λ > 1$ . As an application, we show that if $X$ is an infinite-dimensional Banach space then the spaces $Π_{2} (C [0, 1], X)$ and $Π_{1} (C [0, 1], X)$ are distinct, extending the well-known result that the spaces $Π_{2} (C [0, 1], X)$ and $𝒩 (C [0, 1], X)$ are distinct.

Displaying similar documents to “Hopf π -crossed biproduct and related coquasitriangular structures”

Displaying similar documents to “Hopf $π$ -crossed biproduct and related coquasitriangular structures”