In the framework of $Sp(2)$ extended Lagrangian field-antifield BV formalism we study systematically the role of finite field-dependent BRST-BV transformations. We have proved that the Jacobian of a finite BRST-BV transformation is capable of generat
ing arbitrary finite change of the gauge-fixing function in the path integral.
We study field models for which a quantum action (i.e. the action appearing in the generating functional of Green functions) is invariant under supersymmetric transformations. We derive the Ward identity which is direct consequence of this invariance
. We consider a change of variables in functional integral connected with supersymmetric transformations when its parameter is replaced by a nilpotent functional of fields. Exact form of the corresponding Jacobian is found. We find restrictions on generators of supersymmetric transformations when a consistent quantum description of given field theories exists.
We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity, we derive
a set of four identities (one of which is the Jacobi identity) represented in terms of double commutators and anticommutators. We establish that two of the four identities are independent and show that if the fundamental identity holds for an algebra, then the multiplication operation in that algebra is associative. We find a generalization of the obtained results to the super case and give a generalization of the fundamental identity in the case of arbitrary elements. For nondegenerate even symplectic (super)manifolds, we discuss analogues of the fundamental identity.
