Tbilisi Mathematical Journal

The field $\mathbb F_8$ as a Boolean manifold

René Guitart

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


In a previous paper (“Hexagonal Logic of the Field $\mathbb F_8$ as a Boolean Logic with Three Involutive Modalities”, in The road to Universal Logic), we proved that elements of $\mathbb P(8)$, i.e. functions of all finite arities on the Galois field $\mathbb F_8$, are compositions of logical functions of a given Boolean structure, plus three geometrical cross product operations. Here we prove that $\mathbb P(8)$ admits a purely logical presentation, as a Boolean manifold, generated by a diagram of $4$ Boolean systems of logical operations on $\mathbb F_8$. In order to obtain this result we provide various systems of parameters of the set of unordered bases on $\mathbb F_2^3$, and consequently parametrical polynomial expressions for the corresponding conjunctions, which in fact are enough to characterize these unordered bases (and the corresponding Boolean structures).

Article information

Tbilisi Math. J., Volume 8, Issue 1 (2015), 31-62.

Received: 21 October 2014
Accepted: 21 October 2014
First available in Project Euclid: 12 June 2018

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03B50: Many-valued logic
Secondary: 03G05: Boolean algebras [See also 06Exx] 06Exx: Boolean algebras (Boolean rings) [See also 03G05] 06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.) [See also 03G25, 03F45] 06E30: Boolean functions [See also 94C10] 11Txx: Finite fields and commutative rings (number-theoretic aspects)

Boolean algebra many-valued logics finite fields


Guitart, René. The field $\mathbb F_8$ as a Boolean manifold. Tbilisi Math. J. 8 (2015), no. 1, 31--62. doi:10.1515/tmj-2015-0002. https://projecteuclid.org/euclid.tbilisi/1528768987

Export citation


  • M. Andreatta, A. Ehresmann, R. Guitart and G. Mazzola, Towards a categorical theory of creativity for music, discourse, and cognition, in J. Yust, J. Wild, and J.A. Burgoyne (Eds.): MCM 2013, LNAI 7937, pp. 19-37, 2013, Springer.
  • R. Guitart, Moving logic, from Boole to Galois, Colloque International “Charles Ehresmann : 100 ans”, 7-9 october 2005, Amiens, Cahiers Top Géo Diff Cat. vol. XLVI-3, 2005, 196-198.
  • R. Guitart, Klein's group as a borromean object, Cahiers Top. Géo. Diff. Cat. vol. L-2, 2009, 144-155.
  • R. Guitart, A Hexagonal framework of the field $\mathbb{F}_4$ and the associated Borromean logic, Log. Univers.,6 (1-2), 2012, 119-147.
  • R. Guitart, Hexagonal logic of the field $\F_8$ as a boolean logic with three involutive modalities, in A. Koslow, A. Buchsbaum (eds.), The Road to Universal Logic, Studies in Universal Logic, Birkhäuser, 2015. p. 191-220.
  • D. Lau, Function Algebras on finite sets, Springer, 2006.
  • H.W. Lenstra Jr. and R.J. Schoof, Primitive normal basis for finite fields, Math. Comp., 48, 1987, 217-231.
  • R. Lidl and H. Niederreiter, Introduction to finite fields and their applications, C.U.P., 1994.
  • A. I. Malcev, Iterative algebra and Post's varieties (Russian), Algebra i Logika (Sem.) 5, 1966, 5-24.