Midterm Exam2.pdf

文档介绍：Math 557 – Midterm Exam #2
November 4, 2005
4 problems
1. Let M = (UM , fM , gM , IM ) where UM = {0, 1, 2, 3, 4}, IM is the identity
relation on UM , and fM , gM are the binary operations of addition and
multiplication modulo 5. Thus M is essentially just the ring of integers
modulo 5. Let L be the language consisting of f, g, I. Note that M is
a normal L-structure.
Write an L-sentence A such that for all normal L-structures M ′, M ′
satisfies A if and only if M ′ is isomorphic to M.
2. Let G be a group. For a ∈ G write an = a·· · ··a (n times). We say that
G is torsion-free if for all a ∈ G, if a =6 1 then an =6 1 for all positive
integers n.
(a) Exhibit an infinite set of sentences, S, such that for all groups G,
G is torsion-free if and only if G satisfies S.
(