class_docstr: A class representing group homomorphisms. Instantiate using `homomorphism()`.
  
  References
  ==========
  
  .. [1] Holt, D., Eick, B. and O'Brien, E. (2005). Handbook of computational group theory.
docstr: Check is `self` is a trivial homomorphism, i.e. all elements
  are mapped to the identity.
docstr_tok: ["Check","is","`","self","`","is","a","trivial","homomorphism",",","i.e",".","all","elements","are","mapped","to","the","identity","."]
code: def is_trivial(self):
      """
      Check is `self` is a trivial homomorphism, i.e. all elements
      are mapped to the identity.
  
      """
      return self.image().order() == 1
  
imports: import itertools
  from sympy.combinatorics.fp_groups import FpGroup, FpSubgroup, simplify_presentation
  from sympy.combinatorics.free_groups import FreeGroup
  from sympy.combinatorics.perm_groups import PermutationGroup
  from sympy.core.intfunc import igcd
  from sympy.ntheory.factor_ import totient
  from sympy.core.singleton import S
label_desc: Use image node_id 12 for calling the GroupHomomorphism obj's underlying member method code with example usage: obj.is_trivial() and returns: unknown