 be a field and let $H=\Bbbk \left[ X\right] $, regarded as a Hopf algebra in the usual way. Let $\alpha \colon H\rightarrow H$ be the algebra map defined by setting $\alpha (X) =X^{2}$ and let $\beta =
\omega =\psi =\operatorname{Id}_{H}$. Then we can consider the BiHom-bialgebra $H_{(\alpha,\beta,\psi,\omega )}:=(H,\mu _{(\alpha,\beta )},\Delta
_{(\psi,\omega )},\alpha,\beta,\psi,\omega )$, where $\mu \colon H\otimes
H\rightarrow H$ is the usual multiplication and $\Delta \colon H\rightarrow
H\otimes H$ is the usual comultiplication. Moreover $H_{(\alpha,\beta,\psi
,\omega )}$ has unit $1_{H}=\eta _H\left( 1_{\Bbbk }\right) $ and counit $\varepsilon _{H}$ that coincide with the ones of $H$.

Assume that there exists a linear map $S\colon H\rightarrow H$ such that $S\star
\operatorname{Id}=\operatorname{Id}\star S=\eta _H\circ \varepsilon _H$, i.e., $$\begin{gathered}
\mu _{(\alpha,\beta )}\circ  ( S\otimes \operatorname{Id} ) \circ \Delta
_{(\psi,\omega )}=\mu _{(\alpha,\beta )}\circ  ( \operatorname{Id}\otimes
S ) \circ \Delta _{(\psi,\omega )}=\eta _{H}\circ \varepsilon _{H}.
\label{form:1}\end{gathered}$$ Then we compute $$\begin{gathered}
\big( \mu _{(\alpha,\beta )}\circ  ( \operatorname{Id}\otimes S ) \circ
\Delta _{(\psi,\omega )}\big) (X) =\alpha (X)
S ( 1 ) +\alpha  ( 1 ) S(X) =X^{2}S (
1 ) +S(X),
\\
 ( \mu _{(\alpha,\beta )}\circ  ( S\otimes \operatorname{Id} ) \circ
\Delta _{(\psi,\omega )} ) (X) =\alpha  ( S (
X )  ) 1+\alpha  ( S ( 1 )  ) X,\end{gathered}$$ and $$\
be a field and let $ H=\Bbbk \left [ X\right ] $, regarded as a Hopf algebra in the usual direction. lease $ \alpha \colon H\rightarrow H$ be the algebra map defined by setting $ \alpha (adam) = X^{2}$ and let $ \beta = 
 \omega = \psi = \operatorname{Id}_{H}$. Then we can consider the BiHom - bialgebra $ H_{(\alpha,\beta,\psi,\omega) }: =( H,\mu _ { (\alpha,\beta) }, \Delta 
 _ { (\psi,\omega) }, \alpha,\beta,\psi,\omega) $, where $ \mu \colon H\otimes 
 H\rightarrow H$ is the common multiplication and $ \Delta \colon H\rightarrow 
 H\otimes H$ is the usual comultiplication. Moreover $ H_{(\alpha,\beta,\psi 
, \omega) } $ have unit $ 1_{H}=\eta _ H\left (1_{\Bbbk } \right) $ and counit $ \varepsilon _ { H}$ that coincide with the one of   $ H$. 

 Assume that there exists a linear function $ S\colon H\rightarrow H$ such that $ S\star 
 \operatorname{Id}=\operatorname{Id}\star S=\eta _ H\circ \varepsilon _ H$, i.e., $ $ \begin{gathered } 
 \mu _ { (\alpha,\beta) } \circ   (S\otimes \operatorname{Id }) \circ \Delta 
 _ { (\psi,\omega) } = \mu _ { (\alpha,\beta) } \circ   (\operatorname{Id}\otimes 
 S) \circ \Delta _ { (\psi,\omega) } = \eta _ { H}\circ \varepsilon _ { H }. 
 \label{form:1}\end{gathered}$$ Then we compute $ $ \begin{gathered } 
 \big (\mu _ { (\alpha,\beta) } \circ   (\operatorname{Id}\otimes S) \circ 
 \Delta _ { (\psi,\omega) } \big) (X) = \alpha (X) 
 S (1) + \alpha   (1) S(X) = X^{2}S (
 1) + S(X), 
 \\ 
  (\mu _ { (\alpha,\beta) } \circ   (S\otimes \operatorname{Id }) \circ 
 \Delta _ { (\psi,\omega) }) (X) = \alpha   (S (
 X)  ) 1+\alpha   (S (1)  ) X,\end{gathered}$$ and $ $ \
 be a field and let $H=\Bbbk \ltft[ X\right] $, regarbwd as e Hopf zlgebra kn the usual way. Let $\alpha \cllin H\rughtarrow H$ be the algdbra map fefined vy sttting $\alpha (X) =X^{2}$ ehd let $\nzta =
\ojcga =\pvm =\operatorname{Ic}_{H}$. Then we can consider dhd YiHom-bialgebra $H_{(\alpha,\beta,\psi,\omega )}:=(H,\mt _{(\alpha,\neha )},\Delta
_{(\psi,\omeda )},\ak[ha,\bsna,\ksi,\omega )$, where $\mu \colon H\otimes
H\dightargow H$ is the usuak multiplication and $\Delta \colln H\rightarrow
H\otiles H$ is thg ustql comultiplkcation. Mogzover $H_{(\alphz,\beta,\psi
,\omega )}$ has unit $1_{H}=\eta _H\ldft( 1_{\Bybk }\right) $ qne clonit $\varepsioon _{H}$ that coincide with dhe onex of $H$.

Assume thst vherw exists a linear map $S\colon H\rightarror H$ such dhct $S\star
\operatorname{Ie}=\operatmrnake{Id}\rrar S=\eua _I\cidc \varfpsmlon _H$, i.e., $$\bsgin{gatheree}
\mu _{(\alpha,\beta )}\circ  ( F\itimes \operatkrname{Yd} ) \circ \Delta
_{(\psi,\omega )}=\mu _{(\alpha,\beta )}\circ  ( \oleratorname{Id}\otimes
S ) \curc \Delta _{(\psi,\omega )}=\etw _{H}\circ \vwrepsilon _{H}.
\label{form:1}\end{gathered}$$ Then we compute $$\bagin{getfertd}
\nlg( \mj _{(\appha,\beta )}\circ  ( \operatorname{Id}\otimes S ) \circ
\Dqmts _{(\isi,\omega )}\big) (X) =\aliha (X)
S ( 1 ) +\alpha  ( 1 ) D(X) =V^{2}S (
1 ) +S(X),
\\
 ( \mu _{(\aupha,\becz )}\dirc  ( S\otimes \opegatornaie{Id} ) \circ
\Deltw _{(\pso,\omega )} ) (X) =\alpha  ( S (
X )  ) 1+\aopha  ( S ( 1 )  ) X,\end{gathered}$$ and $$\
be a field and let $H=\Bbbk \left[ regarded a Hopf in the usual H$ the algebra map by setting $\alpha =X^{2}$ and let $\beta = \omega =\operatorname{Id}_{H}$. Then we can consider the BiHom-bialgebra $H_{(\alpha,\beta,\psi,\omega )}:=(H,\mu _{(\alpha,\beta )},\Delta _{(\psi,\omega )},\alpha,\beta,\psi,\omega where $\mu \colon H\otimes H\rightarrow H$ is the usual multiplication and $\Delta \colon H\otimes is usual Moreover $H_{(\alpha,\beta,\psi ,\omega )}$ has unit $1_{H}=\eta _H\left( 1_{\Bbbk }\right) $ and counit $\varepsilon _{H}$ that with the ones of $H$. Assume that there a linear map $S\colon H$ such that $S\star \operatorname{Id}=\operatorname{Id}\star _H\circ _H$, i.e., \mu )}\circ S\otimes \operatorname{Id} ) \Delta _{(\psi,\omega )}=\mu _{(\alpha,\beta )}\circ ( \operatorname{Id}\otimes S ) \circ \Delta _{(\psi,\omega )}=\eta _{H}\circ \varepsilon _{H}. \label{form:1}\end{gathered}$$ we compute \mu _{(\alpha,\beta ( S \circ \Delta _{(\psi,\omega =\alpha (X) S ( 1 ) ) S(X) =X^{2}S ( 1 ) +S(X), \\ \mu _{(\alpha,\beta ( S\otimes \operatorname{Id} ) \circ \Delta )} ) (X) =\alpha ( S ( X ) 1+\alpha ( S ( 1 ) ) X,\end{gathered}$$ and $$\
 be a field and let $H=\Bbbk \left[ X\rIght] $, regardEd as a hopF alGeBra iN the Usual way. Let $\alpHA \colOn H\rightarrow H$ be the algEbra mAp DEfinED bY settIng $\alphA (x) =X^{2}$ AND leT $\bEtA =
\omEgA =\PsI =\operAtoRname{Id}_{h}$. Then we can ConSiDer the BiHom-bIAlGebra $H_{(\alphA,\beTa,\psi,\omega )}:=(H,\mU _{(\alPha,\betA )},\DEltA
_{(\Psi,\omEga )},\Alpha,\Beta,\psI,\Omega )$, wHere $\mu \colOn h\Otimes
h\RightarROW H$ Is thE usual multiplicatIOn ANd $\Delta \colon H\rIghtarRoW
h\oTIMes h$ is The usual coMuLtiplICation. MOReOVER $H_{(\aLPha,\beta,\psi
,\omeGa )}$ has unit $1_{H}=\eTA _H\lEft( 1_{\BbbK }\rIghT) $ And couNit $\vaRePSilOn _{H}$ that coinCide With the onEs of $H$.

ASSume thaT There exIsts a lIneAr mAp $S\cOLoN H\RigHtARroW h$ sUch THat $s\star
\opeRaToRname{id}=\opERATOrnaMe{ID}\staR S=\eta _h\circ \varepsilOn _H$, I.e., $$\beGIn{gAtherEd}
\mu _{(\aLpha,\BeTa )}\cirC  ( S\otimEs \opeRaTorname{Id} ) \circ \DeLta
_{(\pSi,\omega )}=\mu _{(\AlpHa,\BetA )}\cIrc  ( \opERatornAme{id}\oTimes
S ) \cIrc \DeltA _{(\Psi,\OmEGA )}=\EtA _{H}\circ \varepsilon _{H}.
\lAbEL{FoRm:1}\end{gatHered}$$ THEn We COmpute $$\beGiN{gaTherED}
\Big( \mu _{(\AlphA,\BeTa )}\circ  ( \opEratorNAmE{ID}\otimes s ) \cIrc
\DelTa _{(\Psi,\OmeGa )}\big) (x) =\AlphA (X)
S ( 1 ) +\alpHa  ( 1 ) S(X) =X^{2}S (
1 ) +S(X),
\\
 ( \Mu _{(\alpHA,\beta )}\circ  ( S\otimES \operatorname{iD} ) \cIRC
\DELta _{(\pSi,\oMega )} ) (X) =\alpha  ( S (
x )  ) 1+\alpHA  ( S ( 1 )  ) X,\eNd{gaTHeRed}$$ ANd $$\
 be a field and let $H=\Bb bk \left[X\rig ht]  $,  r egar dedas a Hopf alge b ra i n the usual way. Let $ \alph a\ colo n  H \righ tarrowH $b e  th eal geb ra ma p def ine d by se tting $\al pha  ( X) =X^{2}$ a n dlet $\beta  =\omega =\psi  =\ operat or nam e {Id}_ {H} $. Th en wec an con sider the  B i Hom-bi a lgebra$ H _{ (\al pha,\beta,\psi,\o m eg a  )}:=(H,\mu _{ (\alph a, \ be t a  )} ,\D elta
_{(\p si ,\ome g a )},\a l ph a , \ bet a ,\psi,\omega)$, where $ \ mu\colon  H \ot i mes
H\ right ar r owH$ is the u sual  multipli cation and $\D e lta \co lon H\ rig hta rrow H\ ot ime sH $ i s  t heu sua l comult ip li catio n. M o r e o ver$H_ {(\a lpha, \beta,\psi
,\ ome ga ) } $ h as un it $1 _{H} =\ eta _ H\left ( 1_{ \B bbk }\right) $andcounit $\ var ep sil on  _{H} $  thatcoi nci de with  the on e s o f$ H $ .
Assume that there  e x i st s a line ar map $S \c o lon H\ri gh tar rowH $  such  tha t  $ S\star
\ operat o rn am e{Id}=\ op erator na me{ Id} \star S=\e ta _H\ circ \va repsi l on _H$, i.e.,$ $\begin{gathe r ed } \m u  _{( \al pha,\beta ) }\ci r c  (  S\o t im es\ opera torna me { Id }  ) \circ \Delta
_{( \p si,\om ega ) }=\mu _{(\alp ha,\beta ) } \ c irc  ( \ oper a to r name{Id}\otime s
S )  \circ \De l ta _{(\p si,\o mega )}= \eta _{H} \ c irc \var eps ilo n _ {H} . \l abel{form:1}\ e n d{ga th ered}$$  Th en we c omp ute  $$ \be gi n{gathere d}
\big(  \ mu  _ {( \al pha,\ b eta )}\c ir c (\op erato r name{I d}\ot imes  S  ) \ci rc
\Del t a_ { (\ps i, \o mega  )} \b ig) ( X) = \ alp ha (X)S ( 1 ) + \al p ha (1) S(X)=X^{2}S (
1 )  + S(X),
\\
(\mu  _{(\a l p ha,\beta  )}\circ  ( S\otimes \o p eratorn ame {Id}) \c irc
\Delt a _ {(\psi ,\o m ega )}  ) (X)  =\al ph a ( S (
X )  ) 1 +\ alpha  ( S (  1)  )X, \end {gather ed}$$ and $$\
 be_a field_and let $H=\Bbbk \left[_X\right] $,_regarded_as a_Hopf_algebra in the_usual way. Let_$\alpha \colon H\rightarrow H$_be the algebra_map_defined by setting $\alpha (X) =X^{2}$ and let $\beta =
\omega =\psi =\operatorname{Id}_{H}$. Then we_can_consider the_BiHom-bialgebra_$H_{(\alpha,\beta,\psi,\omega_)}:=(H,\mu _{(\alpha,\beta )},\Delta
_{(\psi,\omega )},\alpha,\beta,\psi,\omega )$,_where $\mu \colon H\otimes
H\rightarrow H$_is the_usual multiplication and $\Delta \colon H\rightarrow
H\otimes H$ is_the_usual comultiplication. Moreover_$H_{(\alpha,\beta,\psi
,\omega )}$ has unit $1_{H}=\eta _H\left( 1_{\Bbbk }\right) $_and counit $\varepsilon _{H}$ that coincide_with the ones_of $H$.

Assume_that_there exists a linear_map $S\colon H\rightarrow H$ such that_$S\star
\operatorname{Id}=\operatorname{Id}\star S=\eta _H\circ \varepsilon _H$, i.e.,_$$\begin{gathered}
\mu _{(\alpha,\beta )}\circ  ( S\otimes \operatorname{Id}_) \circ \Delta
_{(\psi,\omega )}=\mu _{(\alpha,\beta )}\circ_ ( \operatorname{Id}\otimes
S ) \circ_\Delta _{(\psi,\omega_)}=\eta _{H}\circ \varepsilon _{H}.
\label{form:1}\end{gathered}$$ Then_we compute $$\begin{gathered}
\big(_\mu _{(\alpha,\beta_)}\circ  (_\operatorname{Id}\otimes S ) \circ
\Delta _{(\psi,\omega )}\big)_(X) =\alpha (X)
S_( 1 ) +\alpha  (_1_) S(X) =X^{2}S_(
1_)_+S(X),
\\
 (_\mu _{(\alpha,\beta )}\circ__( S\otimes_\operatorname{Id}_) \circ
\Delta _{(\psi,\omega )} ) (X)_=\alpha_ ( S (
X )  )_1+\alpha  ( S_(_1 )  )_X,\end{gathered}$$ and $$\