In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈B,F〉, such that the set B (called the carrier) has a subset whose elements are called generators.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈B,F〉, such that the set B (called the carrier) has a subset whose elements are called generators. The generators satisfy the following properties: Each element of B that is not a generator can be expressed as a finite combination of generators, using the elements of F, which are operations; The generators are as "independent" as possible, in that any equation holding for finite terms formed from the generators using the operations in F, also holds for all elements of all possible Boolean algebras.
  • 在数学分支抽象代数中，自由布尔代数是布尔代数 <B,F>，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。生成元满足下列性质: 不是生成元的每个 B 的元素都可被表达为生成元的使用 F 的元素的有限组合，F 是运算的集合； 生成元尽可能的独立，因为对从生成元使用 F 中运算形成的有限项成立的任何等式，也要对于所有可能的布尔代数的所有元素成立。
dbpprop:hasPhotoCollection
rdf:type
rdfs:comment
  • In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈B,F〉, such that the set B (called the carrier) has a subset whose elements are called generators.
  • 在数学分支抽象代数中，自由布尔代数是布尔代数 <B,F>，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。生成元满足下列性质: 不是生成元的每个 B 的元素都可被表达为生成元的使用 F 的元素的有限组合，F 是运算的集合； 生成元尽可能的独立，因为对从生成元使用 F 中运算形成的有限项成立的任何等式，也要对于所有可能的布尔代数的所有元素成立。
rdfs:label
  • Free Boolean algebra
  • 自由布尔代数
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpprop:redirect of
is owl:sameAs of