# What properties are shared by isomorphic universal algebras?

There is a consensus, that "isomorphy" (the "is isomorphic to"-relation) is the right kind of sameness between universal algebras (say groups, (single-sorted) vector spaces, lattices, ...), because isomorphic objects share all their "algebraic properties". I wonder though:

Is there a (meta)theorem, that tells us exactly which properties, I can possibly come up with in the language of said algebraic structure, are indeed shared by isomorphic algebras?

If not, is there at least a general (meta)theorem stating, that a big class of (which?) properties are shared by isomorphic algebras?

This question might be related to model theory, although I have to say I know nothing about that.

• There's an easy answer here: all properties. Any counterexample you might be thinking of will have to involve something not expressible in the language of the algebraic structure. – Zhen Lin Sep 27 '15 at 9:44
• @ZhenLin and the proof of your claim... is it so trivial, that nobody ever bothered to write it down or can I read up on that somewhere? --- No, I didn't think of any counterexamples, just want to know it for sure. – Stefan Perko Sep 27 '15 at 9:54
• @StefanPerko I think you should try writing down the proof yourself. Take a property $P$ that you can express in the language of the algebraic structure (e.g. for a group, it's a property that you can express using multiplication, inversion, the neutral element, and logical operations like quantifiers etc), and then try to show that if it's satisfied by some algebra, then it's satisfied by every isomorphic algebra. You'll see that everything just works. – Najib Idrissi Sep 27 '15 at 9:57
• @NajibIdrissi I'll try that then, thanks. – Stefan Perko Sep 27 '15 at 9:59
• @StefanPerko It is trivial because it is built into the very definition of isomorphism. – Zhen Lin Sep 27 '15 at 10:00