گر x یک اف جبر ارشمیدسی باشد انگاه دوگان دوم مرتب x هم یک اف جبر ارشمیدسی است. در این پایان نامه یک شرط لازم و کافی برای عنصر واحد داشتن دوگان دوم x بیان میکنیم.سپس نشان میدهیم که ترانهاده سوم یک دو-مورفیسم متقارن مرتب و مثبت خود این چنین است.در ادامه یک اثبات جدید برای جابجایی بودن اف جبرهای تقریبی می اوریم.سپس به مطالعه خواص دی جبرها میپردازیم.