Basic subgroups in modular abelian group algebras

Peter Vassilev Danchev

Czechoslovak Mathematical Journal (2007)

  • Volume: 57, Issue: 1, page 173-182
  • ISSN: 0011-4642

Abstract

top
Suppose F is a perfect field of c h a r F = p 0 and G is an arbitrary abelian multiplicative group with a p -basic subgroup B and p -component G p . Let F G be the group algebra with normed group of all units V ( F G ) and its Sylow p -subgroup S ( F G ) , and let I p ( F G ; B ) be the nilradical of the relative augmentation ideal I ( F G ; B ) of F G with respect to B . The main results that motivate this article are that 1 + I p ( F G ; B ) is basic in S ( F G ) , and B ( 1 + I p ( F G ; B ) ) is p -basic in V ( F G ) provided G is p -mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when G is p -primary. Thus the problem of obtaining a ( p -)basic subgroup in F G is completely resolved provided that the field F is perfect. Moreover, it is shown that G p ( 1 + I p ( F G ; B ) ) / G p is basic in S ( F G ) / G p , and G ( 1 + I p ( F G ; B ) ) / G is basic in V ( F G ) / G provided G is p -mixed. As consequences, S ( F G ) and S ( F G ) / G p are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.

How to cite

top

Danchev, Peter Vassilev. "Basic subgroups in modular abelian group algebras." Czechoslovak Mathematical Journal 57.1 (2007): 173-182. <http://eudml.org/doc/31122>.

@article{Danchev2007,
abstract = {Suppose $\{F\}$ is a perfect field of $\{\mathop \{\mathrm \{c\}har\}F=p\ne 0\}$ and $\{G\}$ is an arbitrary abelian multiplicative group with a $\{p\}$-basic subgroup $\{B\}$ and $\{p\}$-component $\{G_p\}$. Let $\{FG\}$ be the group algebra with normed group of all units $\{V(FG)\}$ and its Sylow $\{p\}$-subgroup $\{S(FG)\}$, and let $\{I_p(FG;B)\}$ be the nilradical of the relative augmentation ideal $\{I(FG;B)\}$ of $\{FG\}$ with respect to $\{B\}$. The main results that motivate this article are that $\{1+I_p(FG;B)\}$ is basic in $\{S(FG)\}$, and $\{B(1+I_p(FG;B))\}$ is $\{p\}$-basic in $\{V(FG)\}$ provided $\{G\}$ is $\{p\}$-mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when $\{G\}$ is $p$-primary. Thus the problem of obtaining a ($p$-)basic subgroup in $\{FG\}$ is completely resolved provided that the field $F$ is perfect. Moreover, it is shown that $\{G_p(1+I_p(FG;B))/G_p\}$ is basic in $\{S(FG)/ G_p\}$, and $G(1+I_p(FG; B))/G$ is basic in $\{V(FG)/G\}$ provided $\{G\}$ is $\{p\}$-mixed. As consequences, $\{S(FG)\}$ and $\{S(FG)/G_p\}$ are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.},
author = {Danchev, Peter Vassilev},
journal = {Czechoslovak Mathematical Journal},
keywords = {$p$-basic subgroups; normalized units; group algebras; starred groups; -basic subgroups; normalized units; group algebras; starred groups; groups of units; augmentation ideals},
language = {eng},
number = {1},
pages = {173-182},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Basic subgroups in modular abelian group algebras},
url = {http://eudml.org/doc/31122},
volume = {57},
year = {2007},
}

TY - JOUR
AU - Danchev, Peter Vassilev
TI - Basic subgroups in modular abelian group algebras
JO - Czechoslovak Mathematical Journal
PY - 2007
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 57
IS - 1
SP - 173
EP - 182
AB - Suppose ${F}$ is a perfect field of ${\mathop {\mathrm {c}har}F=p\ne 0}$ and ${G}$ is an arbitrary abelian multiplicative group with a ${p}$-basic subgroup ${B}$ and ${p}$-component ${G_p}$. Let ${FG}$ be the group algebra with normed group of all units ${V(FG)}$ and its Sylow ${p}$-subgroup ${S(FG)}$, and let ${I_p(FG;B)}$ be the nilradical of the relative augmentation ideal ${I(FG;B)}$ of ${FG}$ with respect to ${B}$. The main results that motivate this article are that ${1+I_p(FG;B)}$ is basic in ${S(FG)}$, and ${B(1+I_p(FG;B))}$ is ${p}$-basic in ${V(FG)}$ provided ${G}$ is ${p}$-mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when ${G}$ is $p$-primary. Thus the problem of obtaining a ($p$-)basic subgroup in ${FG}$ is completely resolved provided that the field $F$ is perfect. Moreover, it is shown that ${G_p(1+I_p(FG;B))/G_p}$ is basic in ${S(FG)/ G_p}$, and $G(1+I_p(FG; B))/G$ is basic in ${V(FG)/G}$ provided ${G}$ is ${p}$-mixed. As consequences, ${S(FG)}$ and ${S(FG)/G_p}$ are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.
LA - eng
KW - $p$-basic subgroups; normalized units; group algebras; starred groups; -basic subgroups; normalized units; group algebras; starred groups; groups of units; augmentation ideals
UR - http://eudml.org/doc/31122
ER -

References

top
  1. Another summable C Ω -group, Proc. Amer. Math. Soc. 26 (1970), 43–44. (1970) MR0262355
  2. Topologically pure and basis subgroups in commutative group rings, Compt. Rend. Acad. Bulg. Sci. 48 (1995), 7–10. (1995) Zbl0853.16040MR1405499
  3. 10.1090/S0002-9939-97-04052-5, Proc. Amer. Math. Soc. 125 (1997), 2559–2564. (1997) Zbl0886.16024MR1415581DOI10.1090/S0002-9939-97-04052-5
  4. 10.14492/hokmj/1350911954, Hokkaido Math. J. 30 (2001), 283–296. (2001) Zbl0989.16019MR1844820DOI10.14492/hokmj/1350911954
  5. 10.1023/A:1021779506416, Czechoslovak Math. J. 52 (2002), 129–140. (2002) Zbl1003.16026MR1885462DOI10.1023/A:1021779506416
  6. Basic subgroups in commutative modular group rings, Math. Bohem. 129 (2004), 79–90. (2004) Zbl1057.16028MR2048788
  7. Subgroups of the basic subgroup in a modular group ring, Math. Slovaca 55 (2005), 431–441. (2005) Zbl1112.16030MR2181782
  8. Sylow p -subgroups of commutative modular and semisimple group rings, Compt. Rend. Acad. Bulg. Sci. 54 (2001), 5–6. (2001) Zbl0987.16023MR1845379
  9. Infinite abelian groups, I, Mir, Moscow, 1974. (Russian) (1974) MR0346073
  10. A summable C Ω -group, Proc. Amer. Math. Soc. 23 (1969), 428–430. (1969) MR0245674
  11. Unit groups of group rings, North-Holland, Amsterdam, 1989. (1989) Zbl0687.16010MR1042757
  12. On subgroups of the basic subgroup, Publ. Math. Debrecen 5 (1958), 261–264. (1958) MR0100628
  13. 10.1090/conm/093/1003359, Contemp. Math. 93 (1989), 303–308. (1989) Zbl0676.16010MR1003359DOI10.1090/conm/093/1003359
  14. 10.1090/S0002-9939-1988-0962805-2, Proc. Amer. Math. Soc. 104 (1988), 403–409. (1988) Zbl0691.20008MR0962805DOI10.1090/S0002-9939-1988-0962805-2
  15. Basic subgroups of the group of normalized units in modular group rings, Houston J. Math. 22 (1996), 225–232. (1996) MR1402745

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.