  We study group action on bimodules and bimodule categories and prove for them
analogues of the results known for representations of skew group algebras,
mainly in the case, when the action is separable.
