Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From a universal algebraic perspective, let's say we have two isomorphic groups. Then can I speak of their isomorphic nature by saying the binary operations of multiplication of the two groups are "isomorphic" in that they encode the same structure?

share|cite|improve this question
How do you intend to give rigorous meaning to "encode the same structure" if not by "isomorphism"? – Zhen Lin Dec 8 '12 at 14:53
If for example I had some algebraic objects that had more than one $n$-ary operation. It may be the case that we had two algebraic objects that agreed completely with respect to one of the $n$-ary operations but not to the others. Then I want a notion of "isomorphism" with respect to the $n$-ary operations. – jf9rj4 Dec 8 '12 at 14:56
That's easy enough: given a signature $\Sigma$ and a subset $\Sigma' \subseteq \Sigma$, any $\Sigma$-structure gives rise to a $\Sigma'$-structure in a natural way, called a reduct; so what you are talking about is isomorphisms of reducts. – Zhen Lin Dec 8 '12 at 14:59
Can I ask- in model theory, is there a definition for what a morphism is? – jf9rj4 Dec 8 '12 at 15:22
There are various possibilities. Since you say you are doing universal algebra, the most relevant one is the usual notion of "homomorphism", i.e. a map that preserves the interpretation of function symbols and relation symbols in the signature. – Zhen Lin Dec 8 '12 at 15:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.