On strong automorphisms of direct products of Witt rings (I)
Pełen tekst
(2) 124. M.R. Stępień, L. Stępień. morphisms of direct product of Witt rings to be a direct product of groups of strong automorphisms of Witt rings that are factors in the direct product, i.e. . ≅ ( ) ୀଵ. Finally, we present some examples of Witt rings which are direct products of Witt rings where the above formula is true.. 1. Preliminaries 1.1. Witt rings, quaternionic structures and their automorphisms. Following Marshall (cf. [5]) a Witt ring is said to be a pair = ,
(3) , where is a commutative ring with unity 1 and
(4) is a subgroup of the multiplicative group ∗ which has exponent 2 and contains distinguished element −1 (where, as usual in a ring, – denotes the additive inverse of ). Furthermore, the following axioms hold: W1:
(5) generates additively. W 2: The following Arason-Pfister property holds for = 1 and = 2: If = ଵ + ଶ + ⋯ + ∈ , where denotes the fundamental ideal of generated by elements = + , , ∈
(6) , < 2 , then = 0. W3: If ଵ + ଶ + ⋯ + = ଵ + ଶ + ⋯ + and ≥ 3, then there exist , , ଷ , … , ∈
(7) such that ଶ + ⋯ + = + ଷ + ⋯ + , ଵ + = ଵ + (and, hence, ଶ + ⋯ + = + ଷ + ⋯ + ). We will say that is a (strong) isomorphism of Witt rings ଵ = ( ଵ ,
(8) ଵ ) and ଶ = ( ଶ ,
(9) ଶ ) if : ଵ → ଶ is a ring isomorphism such that
(10) ଵ =
(11) ଶ . A strong automorphism of Witt ring is just isomorphism of onto itself. A useful tool for searching of automorphisms of Witt rings is a notion of quaternionic structure. Let G be a group of exponent 2, i.e. ଶ = 1 for all ∈
(12) with distinguished element −1 ∈
(13) and let us denote – = −1 ⋅ . Let be the set with distinguished element and let :
(14) ×
(15) → be a surjective map. The triplet (
(16) , , ) is called a quaternionic structure, if for every , , , ∈
(17) the map fulfills: Q1: , = (, ) Q2: , − = Q3: , = , ⇒ , = Q4: If , = (, ), then there exists such ∈
(18) that , = (, ) and , = (, ). Two quaternionic structures
(19) ଵ , ଵ , ଵ and
(20) ଶ , ଶ , ଶ are isomorphic if there exists a group isomorphism :
(21) ଵ →
(22) ଶ such that −1ଵ = −1ଶ and ଵ , = = ଵ ⇔ ଶ , = ଶ for all , ∈
(23) ଵ . By automorphism of a quaternionic structure (
(24) , , ) we understand any isomorphism :
(25) , , → (
(26) , , )..
(27) On strong automorphisms of direct products of Witt rings (I). 125. According to [5, Theorem 4.5] the category of Witt rings and the category of quaternionic structures are naturally equivalent. In particular for every Witt ring = ,
(28) there exists a quaternionic structure (
(29) , , ) associated to it and conversely for given quaternionic structure (
(30) , , ) one can construct related Witt ring = ,
(31) . This fact makes it possible to use quaternionic structures in order to study properties of Witt rings when it is convenient. It was shown in [6] that strong automorphisms of Witt ring = ,
(32) and automorphisms of quaternionic structure (
(33) , , ) associated to are in one-to-one correspondence and suitable groups of automorphisms are isomorphic, i.e. ≅ (
(34) , , ). Let
(35) , , be a quaternionic structure. A (quadratic) form of dimension ≥ 1 over
(36) is n-tuple = (ଵ , … , ), where ଵ , … , ∈
(37) . A form of dimension 2 is called binary form. Two forms of dimension are called equivalent (or isometric) if: ≅ ⟺ = (1) = 1, , ≅ , ⟺ = and , = (, ) (2) = 2, ଵ , … , ≅ ଵ , … , ⟺ ∃, , ଷ , … , ∈
(38) such that (3) > 2, ଶ , … , ≅ , ଷ , … , , ଵ , ≅ ଵ , and ଶ , … , ≅ ≅ , ଷ , … , . The form 1, ଵ ⊗ ⋯ ⊗ 1, , where ଵ , … , ∈
(39) , > 0 is called n-fold Pfister form. We say that form represents element ∈
(40) if there exist ଶ , … , ∈
(41) , such that ≅ (, ଶ , … ). We denote the set of all elements represented by form (value set of the form ) by . We have ≅ ⇒ = (). We shall often use the following formula proved by M. Marshall ([5, p. 74]) ∈ 1, − ⟺ , = . (1.1). The above formula gives us the new tool for searching automorphisms of quaternionic structures. We can convert the second condition of definition of automorphisms of quaternionic structures , = ⇔ (), () = by ((1, ) = (1, ) for all ∈
(42) and use it when it is convenient. Let = ,
(43) be a Witt ring and let (
(44) , , ) be the quaternionic structure associated to it. Then two forms ଵ , … , and ଵ , … , are equivalent if ଵ + ଶ + ⋯ + = ଵ + ଶ + ⋯ + in and = . In many situations it is more convenient to use forms instead of elements of ring . 1.2. Direct products and group rings. Let (
(45) , , ), 1 ≤ ≤ be quaternionic structures such that −1 ∈
(46) , ∈
(47) . Let us accept the following notation:
(48) ≔
(49) ଵ × ⋯ ×
(50) , ≔ ଵ × ⋯ × _, −1 ≔ −1ଵ × ⋯ × −1 , ≔ ଵ × ⋯ × and let :
(51) ×
(52) → be defined by !ଵ , … , ", !ଵ , … , " = [ଵ ଵ , ଵ , … , , ]. Then the triplet (
(53) , , ) is a quaternionic structure called the product of quaternionic structures.
(54) 126. M.R. Stępień, L. Stępień. (
(55) , , ), 1 ≤ ≤ (cf. [5], Chapter 5, §4) and denoted by ∏ୀଵ(
(56) , , ) or
(57) ଵ , ଵ , ଵ ⊓ ⋯ ⊓ (
(58) , , ). Moreover, using (1.1) we can write the value set of form (1, ) for any ∈
(59) by 1, = !1ଵ , … , 1 ", !ଵ , … , " = ଵ 1ଵ , ଵ × ⋯ × (1 , ). Let ଵ ,
(60) ଵ , … , ( ,
(61) ) be Witt rings. Let denote the subring of the ring ଵ × ⋯ × generated additively by
(62) =
(63) ଵ × ⋯ ×
(64) . The pair = ( ,
(65) ) is called a direct product of Witt rings ଵ ,
(66) ଵ … ,
(67) and denoted by ∏ୀଵ( ,
(68) ) or ଵ ,
(69) ଵ ⊓ ⋯ ⊓ ,
(70) . Of course the quaternionic structure (
(71) , , ) associated to the direct product ∏ୀଵ( ,
(72) ) is isomorphic to the product ∏ୀଵ(
(73) , , ) of quaternionic structures associated to Witt rings ,
(74) . Let ᇱ = ( ᇱ ,
(75) ᇱ ) be a Witt ring. Let denotes the group ring [Δ] of the group Δ with coefficients in the ring and let
(76) = {: ∈
(77) ᇱ , ∈ Δ}. Then = ,
(78) is a Witt ring called group Witt ring ([5, Proposition 5.16]). The group
(79) should be denoted by
(80) ᇱ Δ since it is a subset of ᇱ [Δ]. In order to make notation more clear we will use in the sequel notation
(81) ′ × Δ and an element we will denote by [, ]. According to [5], every element in the set $ ∈
(82) \(
(83) ᇱ × {1 }) fulfills 1, $ = = {1, $} ([5, Chapter 5, §8]). Therefore if $ = [, 1 ] ∈
(84) ′ × Δ, then 1, $ = = ᇱ 1ᇱ , × %1 & and if $ = !, " ∈
(85) ′ × Δ, ≠ 1 , then 1, $ = {1, $}. 1.3. Automorphisms of direct products of Witt rings and associated quaternionic structures In this section we shall describe some conditions that allow one to find out for which Witt rings the group of strong automorphisms of their direct product equals to the direct product of groups of strong automorphisms of Witt rings being the factors. Let us first recall a simple fact about automorphisms of quaternionic structures. Let '() denotes the set of all permutations of -element set, i.e. the set of all bijections of the set {1, … , } onto itself.. Lemma 1.1. Let
(86) , , ≔ ∏ୀଵ(
(87) ( , ( , )) be a product of copies of a quaternionic structure (
(88) ( , ( , )) (n-th power of (
(89) ( , ( , ))). For every system of automorphisms ଵ , … , ∈ (
(90) ( , ( , )) and for every permutation * ∈ '() a map :
(91) →
(92) defined by !ଵ , … , " ≔ [ଵ ఈሺଵሻ , … , ఈሺሻ ] is an automorphism of quaternionic structure
(93) , , . Proof. See [2, Proposition 2.1].∎. Let
(94) = ∏ୀଵ(
(95) , , ). Let us denote the subgroup %1& × ⋯ × %1& ×
(96) × × %1& × ⋯ × %1& of the group
(97) =
(98) ଵ × ⋯ ×
(99) by
(100) ᇱ , where 1 ≤ ≤ . We will.
(101) On strong automorphisms of direct products of Witt rings (I). 127. say that an automorphism of the group preserves the factors of the product ∏ୀଵ( , , ) if for all ∈ {1, … , } there exists ∈ {1, … , } such that (ᇱ ) = ᇱ.. Lemma 1.2. Let , , be -th power of (, , ). If any automorphism of the quaternionic structure , , preserves the factors of the product , , , then
(102) , , ≅
(103) , , ⋉ (). . Proof. Assume that ଵ , ଶ , … , ∈
(104) ( , , ) and ∈ (). Let ଵ , … , = [ଵ ఈషభ ሺଵሻ , … , ఈషభ ሺሻ ] for all ଵ , … , ∈ . By Lemma 1.1 is an automorphism of quaternionic structure , , . We define a map Φ:
(105) , , ⋉ →
(106) , , by Φ ଵ , … , , ≔ . In order to prove that Φ is a group homomorphism we compare Φ ଵ , … , , ∗ (ଵ , … , , β) and Φ ଵ , … , , ) ∘ Φ(ଵ , … , , β for all ଵ , … , ∈ . By definition of multiplication in semi-direct product of groups we get Φଵ ∘ ఈషభ ሺଵሻ , … , ∘ ఈషభ ሺሻ , ∘ ଵ , … , = = [ଵ ∘ ఈషభ ሺଵሻ (ఈ∘ఉ)షభ ሺଵሻ , … , ∘ ఈషభ ሺሻ (ఈ∘ఉ)షభ ሺሻ ]. On the other hand Φ ଵ , … , , ) ∘ Φ(ଵ , … , , β ଵ , … , = = Φ ଵ , … , , ଵ ఉషభ ሺଵሻ , … , ఉషభ ሺሻ = = ଵ ఈషభ ሺଵሻ ఉషభ ቀఈషభ ሺଵሻቁ , … , ఈషభ ሺሻ ఉషభ ቀఈషభ ሺሻቁ =. = ଵ ∘ ఈషభ ሺଵሻ (ఈ∘ఉ)షభ ሺଵሻ , … , ∘ ఈషభ ሺሻ (ఈ∘ఉ)షభ ሺሻ as in previous calculation. It proves that Φ is a group homomorphism. By hypothesis a permutation ∈ determines a map ఈሺሻ : → ఈሺሻ , = 1, … , . Let : → be the map such that ଵ , … = and let ! : → be the map such that ! = 1, … , , … ,1, where is on -th position. Then it is easy to show that ఈሺሻ ∘ ఈሺሻ ∘ ! : → is an automorphism of quaternionic structure , , . With above notation we have ଵ , … , = = [ଵ ఈషభ ሺଵሻ , … , ఈషభ ሺሻ ] for all ଵ , … , ∈ ଵ × ⋯ × , = 1, … . It follows that Φ is a surjection. Assume that ଵ , … , , ∈
(107) , , and that Φ ଵ , … , , is identity. Then for all ଵ , … , ∈ we have Φ ଵ , … , , ଵ , … , = ଵ , … , . (1.2). Suppose that is not identity permutation, hence there exists ∈ {1, … } such that ିଵ ≠ . Let ିଵ = . Let us consider a sequence ଵ , … , such that.
(108) 128. M.R. Stępień, L. Stępień. ≠ 1 and = 1 for all other indices ∈ {1, … }. By (1.2) we get ఈషభ ሺሻ = = for all 1 ≤ ≤ . Thus = = 1 since ≠ . That contradicts to the choice of element ଵ , … , . That means
(109) must be identity permutation. Thus = for all 1 ≤ ≤ , hence is the identity map and it follows that Φ is injection. That ends the proof that Φ is an isomorphism of the groups , , and , , ⋉ ().∎ Now we can study more generally a product of quaternionic structures fulfilling properties described in Lemma 1.2 and its group of automorphisms.. Theorem 1.3. Let = { ଵ , ଵ , ଵ , … , , } be a set of quaternionic structures such that every automorphism of the quaternionic structure ∏ୀଵ , , preserves the factors of the product. Let ଵ , … of cardinality ଵ , … , , respectively, be the classes of partition of the set with respect to isomorphism of quaternionic structures and assume (without loss of generality) that , , are representatives of classes for all = 1, … , . Then , , ≅ , , ⋉ . . . ሺீ,ொ,ሻ∈࣭. ୀଵ. Proof. If is an automorphism of the quaternionic structure ∏ሺீ,ொ,ሻ∈࣭ , , , then by hypothesis of Lemma 1.2 for every = 1, … , there exists ∈ {1, … , } such that ᇱ = ᇱ and , , ∈ . It follows that , , ≅ . ሺீ,ொ,ሻ∈࣭. ୀଵ. . ሺீ,ொ,ሻ∈ࣝ. , , . Now by the previous theorem we get . . ሺீ,ொ,ሻ∈ࣝ. , , ≅ , , ⋉ . which finishes the proof.∎ The following corollary is a direct consequence of theorem 1.3.. Theorem 1.4. Let (, , ) be a finite product of pairwise non-isomorphic quaternionic structures ଵ , ଵ , ଵ , … , , , such that every automorphism of the quaternionic structure ∏ୀଵ , , preserves the factors of the product. Then.
(110) On strong automorphisms of direct products of Witt rings (I).
(111) , , ≅ ∏ୀଵ
(112) , , .. 129. One can translate the expressions in Theorems 1.3 and 1.4 to the language of Witt rings.. 2. Strong automorphisms of direct products of group Witt rings 2.1. Witt rings of local types Our first application of the results of previous section concerns Witt rings of local type. Recall that a quaternionic structure (
(113) , , ) is said to be of local type if
(114) ଵ is finite and |1, | = |
(115) | for all −1 ≠ ∈
(116) (and, as always in quaternionic ଶ structures, 1, −1 =
(117) ). The Witt ring ( ,
(118) ) associated to
(119) , , of local type is called Witt ring of local type. By [2, Lemma 2.2], every automorphism of finite product of quaternionic structures of local type preserves factors of the product. Therefore if is a Witt ring of local type which is a direct product of Witt rings of local type ଵ , … , then by Theorem 1.4 we conclude . ≅ ୀଵ. if Witt rings ଵ , … , are pairwise non-isomorphic (compare [2, Corollary 2.6]) and by Theorem 1.3 we get . ≅ ⋉ '() ୀଵ. if Witt rings ଵ , … , can be divided into classes of Witt rings with respect to strong isomorphism (compare [2, Theorem 2.4]). In fact the results in [2] are special cases of our Theorems 1.3 and 1.4. 2.1. Group Witt rings Since our next example involves Witt rings which are group rings with coefficients in Witt rings of local type first we recall the structure of some Witt rings of local type, their associated quaternionic structures and value sets of binary Pfister forms (1, ), ∈
(120) . Example 2.1. 1) Let (ℚଷ ) be the Witt ring of local type realized by 3-adic field ℚଷ . The ring (ℚଷ ) is isomorphic to abstract Witt ring ℤ/4ℤ[>ଶ ] - the group ring of the two-element multiplicative cyclic group >ଶ = {1, } with coefficients in the ring ℤ.
(121) 130. M.R. Stępień, L. Stępień. of integers ([5]). The associated quaternionic structure
(122) ℚయ , ℚయ , ℚయ is based on the group
(123) ℚయ = {1, −1, ?, −?} where ? = 3 (compare [7, Theorem 2.2, p. 152] or [8, Corollary at p. 18]). Therefore the value sets of 1-fold Pfister forms are: (1,1) = {1, −1}, (1, −1) =
(124) ℚయ , (1, ?) = {1, ?}, (1, −?) = {1, −?}. It is easy to calculate that the quaternionic structure
(125) ℚయ , ℚయ , ℚయ (and consequently Witt ring (ℚଷ )) has two automorphisms: ଵ which is identity and ଶ such that ଶ ? = −?. One can describe the group @
(126) ℚయ , ℚయ , ℚయ A in another way with use of the results presented in [3] to the group Witt ring ℤ/4ℤ[>ଶ ] .. 2) Let (ℚହ ) be the Witt ring of local type realized by 5-adic field ℚହ . The ring (ℚହ ) is isomorphic to abstract Witt ring ℤ/2ℤ[>ସ ] - the group ring of the 4-element group %1, , B, B& of exponent 2 with coefficients in the ring ℤ [5]. The group
(127) ℚఱ in quaternionic structure
(128) ℚఱ , ℚఱ , ℚఱ associated to (ℚହ ) can be written as
(129) ℚఱ = {1, ?, , ?}, where @ A = −1 and ? = 5 (for example ௨. = 2) (compare [7, Theorem 2.2, p. 152] or [8, Corollary at p. 18]). Therefore, the value sets of 1-fold Pfister forms are: (1,1) =
(130) ℚఱ , 1, ? = {1, ?}, (1, ) = {1, }, (1, ?) = {1, ?}. One can calculate that in this case the group of strong automorphisms (ℚହ ) has 6 elements (Compare also [3, Theorem 2.2] and use it to the group Witt ring ℤ/2ℤ[>ସ ]).. Example 2.2. Consider Witt ring = ( ,
(131) ) which is a direct product of two group Witt rings, namely ≅ ଵ ⊓ ଶ = (ℚଷ ⊓ ℚଷ )[>ଶ ] ⊓ ((ℚଷ ))[>ଶ ]. Let us write out the quaternionic structure associated to the Witt ring . Using usual calculation in group Witt rings (see [5, Chapter 5, §4] and [3]) and our notation concerning group Witt rings we get
(132) ≅
(133) ଵ ×
(134) ଶ =
(135) ℚయ ×
(136) ℚయ × >ଶ × × (
(137) ℚయ × >ଶ ). Then |
(138) | = |
(139) ଵ | ⋅ |
(140) ଶ | = 4 ⋅ 4 ⋅ 2 ⋅ 4 ⋅ 2 = 256. Since we will use the cardinality of value sets of binary Pfister forms in ଵ and ଶ (and consequently in ), then we will describe it precisely. The ring ଵ is the group ring of the group >ଶ = {1, } with coefficients in direct product of Witt rings of local type ℚଷ ⊓ ℚଷ . Using information about value sets of Witt rings of local type and about the way of calculation of value sets in group Witt rings [compare [3]) we can calculate value sets in ଵ as follows: 1) |ଵ 1ଵ , −1ଵ | = 32. 2) There are 16 elements such that |ଵ 1ଵ , | = 2, where ±1ଵ ≠ ∈
(141) ଵ is of the form = [, ], ≠ 1, ∈
(142) ℚయ ×
(143) ℚయ , ∈ >ଶ (then ଵ 1ଵ , = %1ଵ , &). 3) There are 9 elements of the form −1ଵ ≠ ≠ !, 1" ∈ (
(144) ℚయ ×
(145) ℚయ ) × >ଶ , such that |ଵ 1ଵ , | = 4 (in particular |ଵ 1ଵ , 1ଵ | = 4)..
(146) On strong automorphisms of direct products of Witt rings (I). 131. 4) There are 6 elements of the form ±1ଵ ≠ = !, 1" ∈ (
(147) ℚయ ×
(148) ℚయ ) × >ଶ , such that |ଵ 1ଵ , | = 8.. The ring ଶ is the group ring of the group >ଶ with coefficients in Witt ring of local type ℚଷ . Therefore ଶ fulfills the following conditions: 1) ଶ 1ଶ , −1ଶ =
(149) ଶ , 2) ଶ 1ଶ , 1ଶ | = {1ଶ , −1ଶ }, 3) ଶ 1ଶ , | = {1ଶ , } for all ∈
(150) ଶ , ≠ ±1ଶ .. Since the group
(151) has cardinality 256 then the task of searching of all its automorphisms is very difficult. In order to calculate the number of all strong automorphisms of Witt ring we used a computer program, where the group
(152) is considered as a vector space over the two-element field Cଶ . The algorithm and full description of the program one can find in [9]. With use of this tool we got the following result: | | = 3072. Now we shall prove that any automorphism of the quaternionic structure (
(153) ଵ ×
(154) ଶ , ଵ × ଶ , ଵ × ଶ ) preserves the factors of the product. This fact allows us to apply our theorem 1.4 which implies that ≅ ଵ × (ଶ ) and consequently | | = |ଵ | ⋅ |ଶ | = 128 ⋅ 24 = 3072. Let
(155) , , = (
(156) ଵ ×
(157) ଶ , ଵ × ଶ , ଵ × ଶ ) be the quaternionic structure associated to above Witt ring ≅ ଵ ⊓ ଶ . We shall show that for any ∈ (
(158) , , ) the following conditions hold: 1)
(159) ଵ × %1ଶ & =
(160) ଵ × {1ଶ } and 2) %1ଵ & ×
(161) ଶ = %1ଵ & ×
(162) ଶ . The proof is based on knowledge about value sets of 1-fold Pfister forms in quaternionic structures
(163) ଵ , ଵ , ଵ and
(164) ଶ , ଶ , ଶ .. Let be fixed automorphism of
(165) , , . Step 1. Consider an element $ = !1ଵ , −1ଶ " ∈
(166) =
(167) ଵ ×
(168) ଶ . We know that |D, $ | = |(!1ଵ , 1ଶ ", !−1ଵ , −1ଶ ")| = |ଵ 1ଵ , 1ଵ × ଶ 1ଵ , −1ଶ | = 4 ⋅ 8 = 32. Assume that $ = !, B". Since preserves value sets of forms (as automorphism of quaternionic structure), hence in particular |!1ଵ , 1ଶ ", !, B" | = = 32. Suppose that B ≠ −1 in
(169) ଶ . Then |ଶ !1ଶ , B" | = 2. Therefore, if |!1ଵ , 1ଶ ", !, B" | = |ଵ 1ଵ , | ⋅ |ଶ !1ଶ , B" | = 32, it follows |ଵ 1ଵ , | = 16 in
(170) ଶ , contradiction, since it does not hold for any ∈
(171) ଵ . Thus B = −1ଶ and = !1ଵ , −1ଶ " = [, −1ଶ ] for some ∈
(172) ଵ such that |ଵ 1ଵ , | = 4. If we take the opposite element, then −$ = !−1ଵ , 1ଶ " = −$ = = !−, 1ଶ " for some ∈
(173) ଵ . We have |1ଵ , −$ | = |[1ଵ , 1ଶ ", !−1ଵ , 1ଶ ")| = = |ଵ 1ଵ , −1ଵ | ⋅ |ଶ 1ଶ , 1ଶ | = 32 ⋅ 2 = 64, hence also E1ଵ , −$ E = 64. Now we calculate 64 = |[1ଵ , 1ଶ ", [−, 1ଶ ])| = |ଵ 1ଵ , − × ଶ (1ଶ , 1ଶ )|. Since |ଶ 1ଶ , 1ଶ | = 2, then |ଵ 1ଵ , − | = 32 and it follows that − = −1ଵ and = 1ଵ . Finally, for any ∈
(174) , , we have shown that !1ଵ , −1ଶ " = [1ଵ , −1ଶ ] (and !−1ଵ , 1ଶ " = [−1ଵ , 1ଶ ])..
(175) 132. M.R. Stępień, L. Stępień. Step 2. Consider an element $ = !−1ଵ , B" ∈
(176) =
(177) ଵ ×
(178) ଶ and such that B ≠ ±1ଶ . We have |D, $ | = |(!1ଵ , 1ଶ ", !−1ଵ , B")| = |ଵ 1ଵ , −1ଵ × ଶ 1ଶ , B | = 32 ⋅ 2 = 64. Assume that $ = !−1ଵ , B" = ! ᇱ , B ᇱ " = $′ for some ᇱ ∈
(179) ଵ , B ᇱ ∈
(180) ଶ . Since preserves value sets of forms, then |!1ଵ , 1ଶ ", !′, B′" | = 64. In our Witt ring either of the two cases occur: ) |!1ଵ , 1ଶ ", ! ᇱ , B ᇱ " | = |ଵ 1ଵ , ᇱ | ⋅ |ଶ (1ଶ , B′)| = 32 ⋅ 2 or b) |!1ଵ , 1ଶ ", ! ᇱ , B ᇱ " | = |ଵ 1ଵ , ᇱ | ⋅ |ଶ (1ଶ , B′)| = 8 ⋅ 8. Suppose that the case b) holds. It is possible only if: () |ଵ 1ଵ , ᇱ | = 8, hence we get ᇱ ≠ ±1ଵ and (ii) |ଶ 1ଶ , B′ | = 8, thus B ᇱ = −1ଶ ∈
(181) ଶ .. Now we consider the opposite element. We have −$ = !1ଵ , −B" = = !− ᇱ , 1ଶ " = −$′. Since B ≠ ±1ଶ , it follows that |D, −$ | = |D!1ଵ , 1ଶ ", !1ଵ , −y" | = |Dଵ 1ଵ , 1ଵ × Dଶ 1ଶ , −y | = |Dଵ 1ଵ , 1ଵ | ⋅ |Dଶ 1ଶ , −y | = 4 ⋅ 2 = 8. Next, since is an isomorphism of quaternionic structures (and preserves value sets of forms), we get 8 = ED, −$ E = |!1ଵ , 1ଶ "., (!1ଵ , −B"))| = = |!1ଵ , 1ଶ ", !−′, 1ଶ " | = |ଵ 1ଵ , − ᇱ | ⋅ |ଶ 1ଶ , 1ଶ | = |ଵ 1ଵ , − ᇱ | ⋅ 2. Thus |ଵ 1ଵ , − ᇱ | = 4. It follows that ′ is an element of
(182) ଵ =
(183) ℚయ ×
(184) ℚయ × >ଶ such that ᇱ = [F, , 1] for some F, ∈
(185) ℚయ . Notice first that ᇱ ≠ !1, −1,1" and ᇱ ≠ ≠ [−1,1,1]. In fact, suppose that ᇱ = !1, −1,1". Then ᇱ |ଵ 1ଵ , | = |ଵ !1,1,1", !1, −1,1" | = 8, and consequently |ଵ 1ଵ , − ᇱ | = = |ଵ !1,1,1", !−1,1,1" | = 8, a contradiction (because we have assumed |ଵ 1ଵ , − ᇱ | = 4 ). Analogously, ′ = [−1,1,1] is not possible, because it implies |ଵ 1ଵ , − ᇱ | = |ଵ !1,1,1", !1, −1,1" | = 8 and we get the same contradiction. There are two cases possible: 1) |ℚయ 1, F | = 4, thus F = −1 ∈
(186) ℚయ and |ℚయ 1, | = 2, hence ≠ −1. By previous notation we have
(187) ℚయ = {1, −1, ?, −?} where ? ≠ ±1 and >ଶ = {1, }, so we can write ᇱ = [−1, ?, 1]. or. ᇱ = [−1, −?, 1]. (2.1). ᇱ = [?, −1,1]. or. ᇱ = [−?, −1,1]. (2.2). 2) |ℚయ 1, F | = 2, thus F ≠ −1 and |ℚయ 1, | = 4, hence = −1 and then. since we have excluded the cases ᇱ = [1, −1,1] and ᇱ = [−1, −1,1]. Now we use results from Step 1. We know that the element !−1ଵ , 1ଶ " is of the form !−1ଵ , B", hence by previous calculation !−1ଵ , 1ଶ " ∈ (!1ଵ , 1ଶ ", [−1ଵ , B]) and by Step 1 for any automorphism of quaternionic structure (
(188) , , ) we have !−1ଵ , 1ଶ " = [−1ଵ , 1ଶ ]. Therefore using, again the properties of we get !−1ଵ , 1ଶ " = !−1ଵ , 1ଶ " ∈ (!1ଵ , 1ଶ ", !−1ଵ , B" = !1ଵ , 1ଶ ", ! ᇱ , B ᇱ " = = ଵ 1ଵ , ᇱ × ଶ (1ଶ , B ᇱ ). It follows that −1ଵ ∈ ଵ (1ଵ , ᇱ ), therefore using twice.
(189) On strong automorphisms of direct products of Witt rings (I). 133. (1.1) we get −′ ∈ ଵ 1ଵ , 1ଵ = {−1, −1,1, 1,1,1, 1, −1,1, [−1,1,1]}, what is a contradiction to (2.1), (2.2) and |ଵ 1ଵ , − ᇱ | = 4. Therefore (ii) ᇱ = −1ଶ ∈ ଶ is false and consequently the case b) does not occur. It follows only the case a) is true, that means for any ∈
(190) ( , , ) we have −1ଵ , = [−1ଵ , ᇱ ] for some ᇱ ∈ ଶ , such that |ଶ 1ଶ , ᇱ | = 2. It follows that for any = 1, ∈ ∈ ଵ × ଶ holds − = 1ଵ , = [1ଵ , ᇱ ] for some ᇱ ∈ ଶ , what means that. 1ଵ × ଶ = 1ଵ × ଶ . Step 3. Notice that 1ଵ , 1ଶ , −1ଵ , 1ଶ ∩ 1ଵ , 1ଶ , −1ଵ , = = ଵ 1ଵ , −1ଵ × ଶ 1ଶ , 1ଶ ∩ ଵ 1ଵ , −1ଵ × ଶ 1ଶ , = = ଵ 1ଵ , −1ଵ ∩ ଵ 1ଵ , −1ଵ × ଶ 1ଶ , 1ଶ ∩ ଶ 1ଶ , = ଵ × {1ଶ }. Therefore for any ∈
(191) ( , , ) we get. ଵ × 1ଶ = = (1ଵ , 1ଶ , −1ଵ , 1ଶ ) ∩ (1ଵ , 1ଶ , −1ଵ , ) = = 1ଵ , 1ଶ , (−1ଵ , 1ଶ )) ∩ (1ଵ , 1ଶ , ([−1ଵ , ])) = = 1ଵ , 1ଶ , −1ଵ , 1ଶ ∩ 1ଵ , 1ଶ , −1ଵ , ᇱ = ଵ × {1ଶ } q.e.d.. References [1] Witt E., Teorie der quadratischen Formen in beliebigen Körpern, J. Reine Angew. Math. 1937, 176, 31-44. [2] Stępień M., Automorphisms of products of Witt rings of local type, Acta Mathematica et Informatica Universitatis Ostraviensis 2002, 10, 125-131. [3] Stępień M., Automorphisms of Witt rings of elementary type, Mathematica. Proceedings of the XIth Slovak-Polish-Czech Mathematical School, Pedagogical Faculty Catholic University in Ružomberok, June 2nd - 5th, 2004, 62-67. [4] Stępień M., Automorphisms of Witt Rings of Finite Fields, Scientific Issues. Mathematics, XVI, Jan Długosz University, Częstochowa 2011, 67-70. [5] Marshall M., Abstract Witt Rings, volume 57 of Queen's Papers in Pure and Applied Math., Queen's University, Ontario 1980. [6] Stępień M.R., Automorphisms of Witt rings and quaternionic structures, Scientific Research of the Institute of Mathematics and Computer Science 2011, 1(10), 231-237. [7] Lam T.Y., Introduction to Quadratic Forms over Fields, American Mathematics Society 2005, Graduate Studies in Mathematics 67. [8] Serre J.-P., A Course in Arithmetic, Springer-Verlag, New York-Heidelberg-Berlin 1973. [9] Stępień L., Stępień M.R., Automatic Search of Automorphisms of Witt Rings, Scientific Issues. Mathematics, XVI, Jan Długosz University, Częstochowa 2011, 141-146..
(192)
Powiązane dokumenty
A full description of specific rings is based on some, rather extensive, matrix descriptions given by Graham D.. We are interested only in
Every finitely generated Witt ring can be expressed in terms of ℤ/2ℤ and basic indecomposable Witt rings using the operations of group ring formation and direct product.. Groups
We shall construct certain exact and split sequences o f additive hom om orphism.. We count special the cases o f complex and real num ber
considered the structure of the basic part of typical fields with an infinite group of square classes including global fields, all purely transcendential extension fields
In this paper, specifically, we look at the preservation of the diameter and girth of the zero-divisor graph with respect to an ideal of a commutative ring when extending to a
Before starting to describe the diameter of a finite direct product of L-rings, we will develop some tools that will be used in examining L-commutative rings, not necessarily
M ichełisem, który był nie tylko proboszczem, szefem kancelarii, ale i ojcem duchowym diakonatu Tabita, do którego należała. Kierownictwo
[r]