我們展示了BSO(7)的上同調跟D與M的直和同構，其中D是一個平凡E模，且M會跟一個自由E模同構。

We show that (H^* ) ̃(BSO(7)) is isomorphic to D^*⊕M, where D^* is a trivial E-module and M is isomorphic to a free E-module.

[1] J. F. Adams, Stable homotopy and generalised homology, Chicago Lecture Notes in Math., University of Chicago Press, 1974.
[2] R. R. Bruner, Ossa's theorem and Adams covers, Proc. Amer. Math. Soc.,127(1999), no.8, 2443-2447
[3] R. R. Bruner and J. P. C. Greenlees, The connective K-theory of nite groups, Mem. Amer. Math. Soc., no. 785(2003), Chap. 2.
[4] D. C. Johnson and W. S. Wilson, On a theorem of Ossa, Proc. Amer. Math. Soc., 125(1997), no.12, 3753-3755.
[5] D. C. Johnson and W. S. Wilson, Projective dimension and Brown-peterson homology, Topology, 12(1973), 327-353.
[6] A. Liulevicius, The cohomology of Massey-Peterson algebras, Math. Z., 105(1968), 226-256.
[7] J. W. Milnor, The Steenrod algebra and its dual, Ann. Math., 67(1958), 150-171.
[8] E. Ossa, Connective K-theory of elementary abelian groups, Transformation Groups, Osaka 1987, K. Kawakubo (ed.), Springer Lecture Notes in Mathematics, 1375(1989), 269-275.
[9] W. Stephen Wilson and D. Y. Yan, Stable splitting of the complex the complex connective K-theory of BO(n), Topology and its Application. 159(2012), 1409-1414.
[10] W. S. Wilson, The Ω-spectrum for Brown-Peterson cohomology II, Amer. J. Math., 97(1975), no.1, 101-123.
[11] W. S. Wilson, The complex cobordism of BOn, J. London Math. Soc. (2), 29(1984), 352-366.
[12] T. H.Wu, Stable splittings of the complex connective K-theory of BSO(2n+1), preprint.
[13] W. T. Wu, Classes caracteristiques et i-carres ^dune variete, Comptes Rendus, 230(1950), 508-511.
[14] D. Y. Yan, The Brown-Peterson homology of the classifying spaces BO and BO(n), Journal of Pure and Applied Algebra 102(1995), 221-233.
[15] D. Y. Yan, Stable splitting of the quotient spaces BO(2n)=BO(2n 􀀀 2) and BU(np)=BU(np 􀀀 p), Forum Mathematicum 11(1999), 211-227.