The bracket ring of a combinatorial geometry. II. Unimodular geometries

Author:
Neil L. White

Journal:
Trans. Amer. Math. Soc. **214** (1975), 233-248

MSC:
Primary 05B35

DOI:
https://doi.org/10.1090/S0002-9947-1975-0447023-4

MathSciNet review:
0447023

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The bracket ring of a combinatorial geometry *G* is a ring of generalized determinants which acts as a universal coordinatization object for *G*. Our main result is the characterization of a unimodular geometry as a binary geometry such that the radical of the bracket ring is a prime ideal. This implies that a unimodular geometry has a universal coordinatization over an integral domain, which domain we construct explicitly using multisets. An ideal closely related to the radical, the coordinatizing radical, is also defined and proved to be a prime ideal for every binary geometry. To prove these results, we use two major preliminary theorems, which are of interest in their own right. The first is a bracket-theoretic version of Tutte’s Homotopy Theorem for Matroids. We then prove that any two coordinatizations of a binary geometry over a given field are projectively equivalent.

- Tom Brylawski,
*A note on Tutte’s unimodular representation theorem*, Proc. Amer. Math. Soc.**52**(1975), 499–502. MR**419271**, DOI https://doi.org/10.1090/S0002-9939-1975-0419271-6
T. H. Brylawski and D. Lucas, - P. Camion,
*Modules unimodulaires*, J. Combinatorial Theory**4**(1968), 301–362 (French). MR**327576** - Henry H. Crapo and Gian-Carlo Rota,
*On the foundations of combinatorial theory: Combinatorial geometries*, Preliminary edition, The M.I.T. Press, Cambridge, Mass.-London, 1970. MR**0290980** - Dean Lucas,
*Properties of rank preserving weak maps*, Bull. Amer. Math. Soc.**80**(1974), 127–131. MR**337665**, DOI https://doi.org/10.1090/S0002-9904-1974-13386-0 - Dean Lucas,
*Weak maps of combinatorial geometries*, Trans. Amer. Math. Soc.**206**(1975), 247–279. MR**371693**, DOI https://doi.org/10.1090/S0002-9947-1975-0371693-2 - W. T. Tutte,
*A homotopy theorem for matroids. I, II*, Trans. Amer. Math. Soc.**88**(1958), 144–174. MR**101526**, DOI https://doi.org/10.1090/S0002-9947-1958-0101526-0 - P. Vámos,
*A necessary and sufficient condition for a matroid to be linear*, Möbius algebras (Proc. Conf., Univ. Waterloo, Waterloo, Ont., 1971), Univ. Waterloo, Waterloo, Ont., 1971, pp. 162–169. MR**0349447**
N. L. White, - Neil L. White,
*The bracket ring of a combinatorial geometry. I*, Trans. Amer. Math. Soc.**202**(1975), 79–95. MR**387095**, DOI https://doi.org/10.1090/S0002-9947-1975-0387095-9 - Oscar Zariski and Pierre Samuel,
*Commutative algebra. Vol. II*, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N. J.-Toronto-London-New York, 1960. MR**0120249**

*Uniquely representable combinatorial geometries*, Internat. Colloq. on Combinatorial Theory, Rome, September, 1973.

*The bracket ring and combinatorial geometry*, Thesis, Harvard University, 1971.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
05B35

Retrieve articles in all journals with MSC: 05B35

Additional Information

Keywords:
Combinatorial geometry,
matroid,
bracket ring,
syzygy,
coordinatization,
binary geometry,
unimodular geometry,
projective equivalence,
coordinatizing prime ideal,
coordinatizing radical,
radical,
rank-preserving-weak-map image

Article copyright:
© Copyright 1975
American Mathematical Society