Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 85967

A Hopf algebra is a vector space $H$ over a field $k$ endowed with an associative product $\times:H\otimes_k H\to H$ and a coassociative coproduct $\Delta:H\to H\otimes_k H$ which is a morphism of algebras. Unit $1:k\to H$, counit $\epsilon:H\to k$ and antipode $S:H\to H$ are also required. Such a structure exists on the group algebra $k G$ of a finite group $G$.

10 votes
Accepted

Name for the action of a bialgebra on an algebra

According to nLab, such an action is called a Hopf action and your data specify a left $B$-module algebra. Such a structure is also referred to in the literature as an algebra in the category (of left …
Konstantinos Kanakoglou's user avatar
10 votes

Up to date summary on semisimple Hopf algebra over $\mathbb{C}$

This is a question on an active area of research, with lots of work on it (for the general case of algebraically closed fields of char zero). It is historically and conceptually closely connected to K …
Konstantinos Kanakoglou's user avatar
10 votes
3 answers
1k views

About the classification of commutative and of cocommutative, fin. dim. Hopf algebras

I want to prove that the cocommutative finite dimensional Hopf algebras over an algebraically closed field of characteristic zero are group algebras (for some finite group) and that the commutative f. …
Konstantinos Kanakoglou's user avatar
9 votes
Accepted

Low dimensional noncommutative non-cocommutative Hopf algebras

By standard results (in fin dim, over an alg closed field of zero char), all cocommutative HAs are group algebras (for some finite group), all commutative HAs are duals of group HAs (for some finite …
Konstantinos Kanakoglou's user avatar
8 votes
Accepted

$\mathbb{Z}$-graded algebras and tensor products

No it cannot happen. And not only for strongly $\mathbb{Z}$-graded rings; this is always the case for any strongly $G$-graded ring, where $G$ is a group. $A_k \otimes_{A_0} A_l \simeq A_{k+l}$ is an i …
Konstantinos Kanakoglou's user avatar
8 votes
Accepted

Inner automorphisms of Hopf algebras

I am not sure if the following is the kind of answer you are expecting, but take the (left) adjoint action $(ad_l h)\triangleright k=\sum h_1 kS(h_2)$ of a hopf algebra $H$ on itself. (It is known tha …
Konstantinos Kanakoglou's user avatar
7 votes

Examples of representations of quantum groups

If i have correctly understood your question, there are various such examples, arising from mathematical physics contexts (where some of the original motivations for the study of quantum groups first …
Konstantinos Kanakoglou's user avatar
7 votes
Accepted

Classifying Hopf algebras that admit a single irreducible comodule

The HAs you are describing are again the connected (=irreducible) ones. I am using the terminology here as in my answer to your previous question: Name for a Hopf algebra whose only grouplike element …
Konstantinos Kanakoglou's user avatar
7 votes
1 answer
643 views

Classification of quasitriangular Hopf algebras

The classification of hopf algebras is a big and open problem, containing various subproblems (such as: the classification of groups, of Lie algebras, the study of special classes such as (co)commutat …
Konstantinos Kanakoglou's user avatar
6 votes

Cocommutativity, comultiplication and coalgebra maps

Given a (coassociative and counital) coalgebra $(C,\Delta,\varepsilon)$, over a field $k$, we can form the tensor product coalgebra $(C\otimes C,\Delta_{C\otimes C},\varepsilon_{C\otimes C})$ through: …
Konstantinos Kanakoglou's user avatar
6 votes

Cartier-Kostant-Milnor-Moore theorem

The case of irreducible, cocommutative Hopf algebras, over a field with $char(k)> 0$, is discussed in Sweedler's textbook on Hopf algebras, Ch.$XIII$, sect. $13.2$. (See prop. $13.2.2$, $13.2.3$). …
Konstantinos Kanakoglou's user avatar
6 votes
Accepted

Abelian category from the category of Hopf algebras

$\DeclareMathOperator\Hker{Hker}\DeclareMathOperator\Hcoker{Hcoker}\DeclareMathOperator\Im{Im}\DeclareMathOperator\coIm{coIm}\DeclareMathOperator\Id{Id}$The category $\mathcal{H}$ of finite dimension …
Konstantinos Kanakoglou's user avatar
6 votes
Accepted

When is this map of Hopf algebras Surjective?

Some thoughts, regarding question (a): In the case of a pointed, cocommutative hopf algebra $H$ over a field $k$ of characteristic $0$, by the Cartier-Konstant-Milnor-Moore theorem (see: Classifica …
Konstantinos Kanakoglou's user avatar
6 votes

Coalgebras(or quantum groups) which admit a linear operator satisfying certain functional eq...

About your first question: Since you are asking for an example, take any group hopf algebra $k\mathbb{G}$, pick some subset $S\subset \mathbb{G}$ and denote $kS$ the linear subspace of $k\mathbb{G}$ …
Konstantinos Kanakoglou's user avatar
6 votes
Accepted

Classification of $\operatorname{Rep} D(G)$

There are some classic results on the classification of the irreducible $D(G)$-modules: If the field is the complex numbers $\mathbb{C}$, it has been shown that a representation of the finite group $G …
Konstantinos Kanakoglou's user avatar

15 30 50 per page