Let
be the Fomin-Kirillov algebra, and let
be the Nichols-Woronowicz algebra model for Schubert calculus on the symmetric group
which is a quotient of
, i.e. the Nichols algebra associated to a Yetter-Drinfeld
-module defined by the set of reflections of
and a specific one-dimensional
... [Show full abstract] representation of a subgroup of . It is a famous open problem to prove that is infinite dimensional for all . In this work, as a step towards a solution of this problem, we introduce a subalgebra of , and prove, under the assumption of finite dimensionality of , that this subalgebra admits unique integrals in a strong sense, and we relate these integrals to integrals in . The techniques we use rely on braided differential calculus as developed by Bazlov and Liu, and on the notion of integrals for Hopf algebras as introduced by Sweedler.