1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
|
Brief history of the LAGUNA package
1.0 - 2.0
LAG package maintained by Richard Rossmanith.
2.1 * Obsolete operation `BasisByGeneratorsNC' replaced by `BasisNC'
(lib/lag.gi)
* Version changed (init.g)
- ideally init.g should read VERSION (so it need only be changed in
one place), but the commented out method to do this needs to be
verified that it works on Windows and Macintosh
* Split off ReadPkg of .gi file into read.g
* Tidied up README.lag
* Added VERSION, ChangeLog
* All other changes made were to improve the documentation
- (non-empty) doc/manual.bib added
- doc/Makefile now has targets for manual.ps, manual.pdf, htm
- Updated examples for GAP 4.3 (doc/lag.msk)
- Markup changes so that bibliography and HTML version now possible
(doc/{lag.msk,manual.tex},lib/lag.gd)
-- Greg Gamble - 21 April, 2002.
3.0 * New name: LAGUNA (Lie AlGebras and UNits of group Algebras)
* Documentation written in GAPDoc format
* added banner.g, functions moved from laguna.gi to laguna.g
* added TODO.laguna
* added PkgInfo.g for new package loading mechanism in GAP.dev
* new properties and attributes of group rings:
- IsGroupAlgebra
- IsFmodularGroupAlgebra
- IsPModularGroupAlgebra
- UnderlyingGroup
- UnderlyingRing
- UnderlyingField
* New attributes of group rings elements:
- Support
- CoefficientsBySupport
- TraceOfMagmaRingElement
- Length
- Augmentation
- IsUnit (improves existing in GAP 4.3)
- InverseOp (improves existing in GAP 4.3)
* Operation `Involution' for involutions of group ring elements
(both classical and induced by a mapping of order two)
* Attributes describing the structure of augmentation ideal of
modular group algebras of finite p-groups:
- WeightedBasis
- AugmentationIdealPowerSeries
- AugmentationIdealNilpotencyIndex
- AugmentationIdealOfDerivedSubgroupNilpotencyIndex
- RadicalOfAlgebra (improves existing in GAP 4.3)
* New properties for groups generated by units of a group ring
and their pc presentations:
- IsGroupOfUnitsOfMagmaRing
- IsUnitGroupOfGroupRing
- IsNormalizedUnitGroupOfGroupRing
* Calculation of the (normalized) unit group of the modular group
algebra of the finite p-group and its pc presentation:
- NormalizedUnitGroup
- PcNormalizedUnitGroup
- Units (improves existing in GAP 4.3)
- PcUnits
with one-to-one correspondence between the original group and
its pc presentation established via:
- NaturalBijectionToNormalizedUnitGroup
- NaturalBijectionToPcNormalizedUnitGroup
* An attribute UnderlyingGroupRing for the groups of units to
remember the initial group ring, setted while construction of the
(normalized) unit groups and their pc presentations.
* An attribute GroupBases, storing representatives of conjugacy classes
of group bases of the modular group algebra of a finite p-group
* Lie algebras section was taken from LAG 2.1 with small changes:
- NaturalMapping was renamed to Embedding (more standard in GAP name)
- for modular group algebras of finite p-groups new attributes
LieUpperNilpotencyIndex and LieLowerNilpotencyIndex were added
* Added some attributes of groups, immportant in group rings theory:
- DimensionBasis
- LieDimensionSubgroups
- DihedralDepth
* Defined new info class - LAGInfo with info levels 0, 1, 2 and 3
-- Victor Bovdi, Alexander Konovalov, Csaba Schneider, March 2003.
3.1 * Accepted version of the LAGUNA package (June 2003)
- improved documentation
- optimized Augmentation code
- added IsSymmetric and IsUnitary
3.2 * Fully compatibile with the new package loading mechanism of GAP 4.4
(July 2003)
3.2.1 * Interface improvements (July 2003):
- Added InfoLevel 4 and made InfoLevel 1 the default one
- Mentioned LAGUNA in method's descriptions for better tracing
3.2.2 * Minor updates for coming GAP 4.4 release (April 2004):
- making sure that Augmentation(x) is in the underlying ring
- checking whether x=0 in IsUnit(x)
3.3 (April 2005)
* Functions for fast construction of left/right/two-sided group ring
ideals generated by elements of the form h-1, where h in H\{1} and
H is a subgroup of the underlying group (contributed by A.Tsapok).
* Pseudo-Random method for getting random elements from Units(KG)
and NormalizedUnitGroup(KG), taking them randomly from KG until we
get a unit; in normalized case augmentation is adjusted to one.
* Method for the embedding of the subgroup of an underlying group
to the normalized unit group given by power-commutator presentation.
* Operation PartialAugmentations returning a list of partial
augmentations of an element of a group ring and corresponding
conjugacy classses (contributed by A.Tsapok).
* New attribute LieDerivedLength for Lie algebras
* Computation of bicyclic units and of the bicyclic unit group.
* Computation of the unitary subgroup of the normalized unit group
(immediate method for small groups).
* Computation of the Lie upper codimension series of a finite
p-group
* Fixed some bugs:
- Replaced 'GeneratorsOfGroup' --> 'MinimalGeneratingSet' in
DimensionBasis to fix a bug with SmallGroup(512,2).
- Adjusted LieDerivedSubalgebra for compatibility with the
Sophus package by Csaba Schneider.
- Fixed a bug with the nilpotency index of the augmentation
ideal when p>2 (thanks to Inger Christin Borge for reporting
this bug!).
- Fixed a bug with IsUnit and InverseOp for elements of order
q^n in characteristic p where (p,q)=1.
- Added SetIsPGroup(U,true) for normalized unit groups of
modular group algebras of finite p-groups for correct
method selection (for example, for the computation of
their automorphism groups).
3.3.1 (May 2005)
* The method for 'LieAlgebraByDomain' was restricted to group
algebras for better compatibility with the GAP system.
3.3.2 (March 2006)
* Another improvement of 'LieAlgebraByDomain' method
* Performance improvement in PcNormalizedUnitGroup in abelian case
3.3.3 (April 2006)
* Fixed a no-method-found error in InverseOp
* Added more implicit copyright notice about GPL
3.4 (February 2007)
* Fixed a bug in Left/RightIdealBySybgroup
* Added 3-argument version of BicyclicUnitOfType1, BicyclicUnitOfType2
3.5.0 (May 2009)
* Corrected handling of zero element in InverseOp
* Speeded up PcNormalizedUnit by unsing collectors
and constructing the resulting group by GroupByRwsNC
instead of PcGroupFpGroup
3.6.0 (April 2012)
* Updated the package for GAP 4.5 release
3.6.1 (May 2012), 3.6.2 (January 2013), 3.6.3 (February 2013)
* Improved testing facilities
3.6.4 (October 2013)
* Fixed a bug that might lead to a break loop in AugmentationIdeal
(reported by Mohamed Barakat)
* Updated the test example for GAP 4.7 release replacing WreathProduct
by StandardWreathProduct
3.6.5 (September 2014)
* Fixed a bug in Augmentation returning an integer zero for zero element
of a group ring, being calculated as the sum over an empty list.
Now it will properly return the zero element of the underlying ring
(reported by Danjoseph Quijada)
3.7.0 (November 2014)
* Fixed a bug in PcPresentationOfNormalizedUnit that may cause
NaturalBijectionToPcNormalizedUnitGroup returning wrong results
for p>2 (reported by Urban Jezernik)
3.8.0 (September 2017)
* Migration to GitHub
* Switch to modern two-argument variant of ReadPackage
* Some tweaks to p-groups related code:
- always call SetPrimePGroup right after SetIsPGroup
- do not rely on p-groups being finite; instead, explicitly
check finiteness
* Renamed some files for consistency
* Switch to TestDirectory
3.9.0 (April 2018)
* Fix the ordering of weighted basis elements:
- now after sorting elements of the weighted basis by their weights,
elements of the same weight will be sorted (w.r.t. `<`). This will
ensure that their order does not rely on the treatment of elements
of the same weight by the sorting algorithm.
3.9.1 (November 2018)
* Improved reproducibility of `AugmentationIdealPowerSeries` example.
3.9.2 (February 2019)
* Fix a bug in `Inverse` for non-normalized units.
3.9.3 (May 2019)
* Add several trivial implications. They make various "hidden"
implications created by DeclareProperty explicit, thus fixing
a bunch of warnings that show up if one starts the upcoming
GAP 4.11 with the `-N` command line option, and then loads the
package.
4.0 (in the development version)
The large new block related with the Modular Isomorphism Problem (MIP):
* Computation of MIP-related invariants of p-groups and their modular
group algebras:
- JenningsFactors( <G> )
- SandlingFactorGroup( <G> )
- QuillenSeries( <G> )
- ClassSumNumbers( <G> )
- NumberOfConjugacyClassesPPowers( <G> )
- RoggenkampParameter( <G> )
- RoggenkampParameterForNormalSubset( <G>, <S> )
- KernelSize ( <KG>, <[n,m,k]> )
* Tools for manipulations with MIP invariants:
- PrintMIPInvariants( <G> )
- PrintMIPInvariantsTable(<l>, <filename>)
- MIPInvariantsRecord( <G> )
- MIPInvariantsLibrary( <n> )
- MIPInvariantsLibraryClassification( <invlib>, <mode> )
- KernelSizeTest( <KG>, <KH>)
- MIPSplittingByKernelSize( <list>, <no>, <mode> )
- JenningsLieAlgebraTest ( <KG>, <KH> )
- MIPSplittingByJenningsLieAlgebra( <list>, <no>, <mode> )
- MIPSplittingReport( <list> )
* AugmentationIdealPowerFactorGroup(KG,n) for computation of the
pc presentation of the factorgroup of the normalized unit group
V(KG) over 1+I^n, where I is the augmentation ideal of KG, and
NormalizedUnitCFmod for reducing this calculations modulo I^n.
|
