Elementarily equivalent groups

From Groupprops
Jump to: navigation, search

Definition

Two groups G and H are termed elementarily equivalent if the following equivalent conditions are satisfied:

  • Any first-order sentence in the theory of groups satisfied by G is also satisfied for H, and vice versa.
  • There is an elementary local isomorphism between G and H.