decompositions of a -algebra代数的分解.pdfVIP

DECOMPOSITIONS OF A C-ALGEBRA G. C. RAO AND P. SUNDARAYYA Received 12 April 2005; Revised 12 December 2005; Accepted 18 December 2005 We prove that if A is a C-algebra, then for each a ∈ A, Aa = {x ∈ A/x ≤ a} is itself a C-algebra and is isomorphic to the quotient algebra A/θa of A where θa = {(x,y ) ∈ A ×A/a ∧ x = a ∧ y }. If A is C-algebra with T, we prove that for every a ∈ B (A), the centre of A, A is isomorphic to A ×A and that if A is isomorphic A ×A , then there a a 1 2 exists a ∈ B (A) such that A 1 is isomorphic Aa and A2 is isomorphic to Aa . Using this de- composition theorem, we prove that if a, b ∈ B (A) with a ∧ b = F , then Aa is isomorphic to Ab if and only if there exists an isomorphism φ on A such that φ (a) = b. Copyright © 2006 Hindawi Publishing Corporation. All rights reserved. Introduction ´ In [1], Guzman and Squier introduced the variety of C-algebras as a class of algebras of type (2, 2, 1) satisfying certain identities and proved that this variety is generated by the 3-element algebra C = {T,F , U} which is the algebraic semantic of the three valued conditional logic. In [3] Swamy et al. introduced the concept of the centre B (A) = {x ∈ A/x ∨ x = T} of a C-algebra A with T and proved that B (A) is a Boolean algebra with induced operations and is equivalent to the Boolean Centre of A. In [2], Rao and Sun- darayya defined a partial ordering on a C-algebra A and the properties of A as a poset are studied. In this paper, we prove that if A is a C-algebra, then for each x ∈ A, Ax = {s ∈ A/s ≤ x } is itself a C-algebra and is isomorphic to the quotient algebra A/θ , where θ = {(s, t) ∈ x x A ×A/x ∧s = x ∧ t}. If A is a C-a