Some Constructions on Quantum Principal Bundles

This paper works as an appendix of the paper titled Geometry of Associated Quantum Vector Bundles and the Quantum Gauge Group. Here, we are going to prove four statements in the theory of quantum principal bundles:: 1) The universal differential envelope --calculus of a matrix (compact) Lie group, for the classical bicovariant --First Order Differential Calculus, is the algebra of differential forms. 2) An example of a quantum principal bundle in which the space of base forms is not generated by the base space. 3) The group isomorphism between convolution-invertible maps and covariant left module isomorphisms at the level of differential calculus 4) The way the maps ₖ \ from Remark 3.1 look in differential geometry.